The art of manipulating an algebraic expression into the desired form.

learn more… | top users | synonyms

4
votes
1answer
155 views

Generate expressions equivalent to rooted trees

I would like to know how to generate all rooted trees on $n$ vertices using Mathematica? More precisely, I am interested in generating algebraic expressions equivalent to rooted trees and constructed ...
4
votes
1answer
641 views

Move variable to one side of the equation

Say if I have a formula like so: a1*a2*a3^(a4 + 1)*(1 - E^(a5*a6/a3^a4/a2)) == 0 How do I move a3 to the right? I've tried to follow other examples here on stack ...
4
votes
1answer
2k views

What do the hashtags represent in the result of Solve, and how should I use them? [duplicate]

There is a function that I'm trying to get the inverse of. My function is a simple polynomial: Tn[T_] := 4/9 T^3/Tc^2 + 5/9 T Now I tried to find ...
4
votes
1answer
381 views

How to check if a given expression is an “explicit algebraic number”?

The documentation for PossibleZeroQ says: With the setting Method...
4
votes
1answer
153 views

Collect without grouping terms

The built-in function Collect, when applied to more than one variable, will group expressions by the first variable, as here: ...
4
votes
2answers
162 views

Find condition under which variables fall away

I have a somewhat lengthy expression, looking like expr = 1 + x + b + Pi + 2*a Is there some way of generating a relationship between ...
4
votes
1answer
181 views

Finding mappings between expressions

Suppose we have an expression of the form: $j=\frac{A\left(t\right)}{B\left(t\right)}=\frac{C\left(s\right)}{D\left(s\right)}$ That is, $j$ can be expressed either as a function of $t$, or as a ...
4
votes
1answer
140 views

How to collect terms with z-derivative?

my equations are very long (several pages). Here I will provide simple example: ...
3
votes
2answers
4k views

How to convert a system of parametric equations to a normal equation?

For example, I have a system of parametric equations (R is a constant number) : ...
3
votes
2answers
788 views

How do I make Mathematica understand roots of unity?

Try the following: z = Exp[2 \[Pi] I / 5] Z = { { z, 1 }, { 0, 1/z } } Simplify[MatrixPower[Z, 5]] //MatrixForm Of course, this should return a 2 x 2 identity ...
3
votes
3answers
836 views

Limiting form of a polynomial expression

When simplifying an expression by hand, a trick that is often used is to remove terms that are lower powers of the independent variable, for instance, as $x \rightarrow \infty$, $x^2 + x$ becomes ...
3
votes
3answers
243 views

Speed up Eliminate

I have a set of trig equations, c1,c2,c3 are constants, I excepted the result is c1 c2 c3 r^2 + (c1^2 + c2^2 + c3^2 - 1) r + c1 c2 c3 == 0 but following code ...
3
votes
2answers
106 views

How to make algebraic substitutions?

I would like to simplify complicated expressions by defining some variable that is a combination of other variables that appear in the expression, but without eliminating the original variables. As a ...
3
votes
2answers
98 views

Factor a specific sub-polynomial?

Consider the following example for a polynomial in several variables: ...
3
votes
3answers
269 views

How can I expand a inequality with Abs

I want Abs[x] + Abs[y] <= 1 to be convert to ...
3
votes
1answer
128 views

Pulling powers to the outside of expressions (inverting PowerExpand)

Is there something like an inverse of PowerExpand that pulls powers to the outside of expressions: $$ x^2 y^2 \leadsto (x y)^2 \\ x^2/y^2 \leadsto (x/y)^2 $$ I ...
3
votes
3answers
494 views

How to extract phase angle from sinusoid

I'm doing some electric circuit calcualtions and I'm trying to get the phasor representation of some arbitrary function of Sin or Cos. Could be complex like: ...
3
votes
1answer
80 views

Replace pattern for exponentials

Ultimately, I want to replace every Exp[(const) w[i,j]] to T[i,j] and Exp[-(const) w[i,j]] to 1/T[i,j] in the following expression ...
3
votes
1answer
281 views

Multivariate resultant in Mathematica?

Is there any command in Mathematica 7 which can compute the (McCaulay) resultant of a parametric system of multivariate polynomial equations? In fact, it would be great if there is also a way to ...
3
votes
1answer
197 views

Implementing new algebra for list-like objects [duplicate]

I would like to implement an algebra (addition, multiplication, etc.) for what is called "truncated power series" (TPSA) (Differential Algebraic description of beam dynamics). . These 'objects' (sets ...
3
votes
2answers
263 views

Eliminate several variables between five Conic_section equations

I want to eliminate x1, x2, y1, y2 between these 5 equations. I tried ...
3
votes
1answer
55 views

Collecting the Log Problem

I have been having tremendous success with my students due to the following idea: ...
3
votes
1answer
58 views

How to gather terms into Elementary Symmetric Polynomials?

I would like to gather the terms of this polynomial (and much higher order ones): $$q = 1-3 c+c^2+p[1]-2 c p[1]+p[2]-2 c p[2]+p[1] p[2]-c p[1] p[2]+p[3]-2 c p[3]+p[1] p[3]-c p[1] p[3]+p[2] p[3]-c p[2]...
3
votes
1answer
104 views

How to order lexicographically the monomers of a parametrized polynomial?

I want to order lexicographically the monomials in a "parametrized polynomial", i.e. polynomials whose "symbolic bits" may be either "variables" or "parameters". For example: ...
3
votes
1answer
1k views

How can I express an algebraic expression as a product?

I have a simply expression that I can see that I can express as a product. ...
3
votes
1answer
74 views

Replacing patterns (determinants) in a rational multivariate function and/or getting `replacementFunction` to work on a multi-linear expression

Given a rational multivariate function known to contain determinants, what is the best way to rewrite the function in terms of the determinants? A simple example: ...
3
votes
1answer
180 views

Separate variables in equation

I need to know is there a way to separate the desired variables in the equation at one side of the equality. For instance, the following equation ...
3
votes
1answer
70 views

How to pick out terms in a linear equation with a positive coefficient?

Basically I have a really large output which looks like a long linear equation $AAA-BAA-CAA+DAA+...-ZZZ$ And I only am concerned about those terms that have a positive coefficient (i.e. a plus in ...
3
votes
0answers
34 views
3
votes
0answers
89 views

How to force Series[] to compute expansions by considering non commutative multiplication?

I wish to compute the Taylor series expansion of the following iteration method $x_{k+1}=x_k-f'(x_k)^{-1}f(x_k)$ up to four terms of error ($e_k=x_k-\alpha$). When this is a scalar iteration, I very ...
3
votes
1answer
90 views

Factor a polynomial Root into Roots of smallest possible degree

Suppose I have a polynomial Root representing an algebraic number. I want to represent it (if possible) as a product of several polynomial ...
3
votes
0answers
199 views

Do a gauge transformation for a Chern-Simons theory?

Suppose we have the following Lagrangian density: $$ L=\epsilon^{\mu\nu\rho}\big(\sum_a A^a_{\mu}(x) \partial_\nu A^a_{\rho}(x)-\sum_{a,b,c}\frac{1}{3} f^{bca} A^a_{\mu}(x) A^b_{\nu}(x) A^c_{\rho}(x)...
3
votes
0answers
647 views

Solving recursion relations using Mathematica

I want to solve the recursion relation given in equation 2.7(a/b) on page $6$ of this paper. (..the initial seed is $F_1 = G_1 = 1$ and the functions $\alpha$ and $\beta$ are defined on page $5$ in ...
3
votes
0answers
176 views

Cyclic Noncommutative Multiplication

I work with traces of long matrix products and I want mathematica to employ the cyclicity when simplifying. I use this redefinition of the non-commutative multiplication: ...
2
votes
3answers
922 views

Partial fraction decomposition of $1/(e^x-1)$

This link has discussion on finding partial fraction decomposition of $1/(e^x-1)$, so I experimented with Mathematica to see if M can do it, but looks like not. Similar is the case with one more CAS I ...
2
votes
3answers
304 views

Is it possible to use Composition for polynomial composition?

I want to do this: $P = (x^3+x)$ $Q = (x^2+1)$ $P \circ Q = P \circ (x^2+1) = (x^2+1)^3+(x^2+1) = x^6+3x^4+4x^2+2$ I used Composition for testing if that could ...
2
votes
4answers
317 views

I need to move all the variables(x,y,z) to one side of an equality for the equation of a plane

I have 5(x-1)-(y+1)-(z+1)==0. If I use FullSimplify on it it returns 5x==7+x+y. This is not ...
2
votes
2answers
478 views

Eigensystem, Eigenvalue doesn't output nonreal eigenvalues

Basically I have a matrix and when I used either Eigenvalue or Eigensystem, it doesn't output nonreal eigenvalues, instead it ...
2
votes
3answers
100 views

expressing a rising factorial as a polynomial

I have an equation in $x$ as follows: $f(x)=\prod\limits_{j=0}^{k}(j+x)=x(1+x)(2+x)\cdots(k+x)$ I want to express this as a polynomial in $x$, i.e., as $a_0x^0+a_1x^1+\cdots+a_kx^k$ I tried doing ...
2
votes
3answers
387 views

How to obtain non-trivial solution of equal ratios

How can I obtain a non-trivial solution of the following: $$\frac{a}{b+c}=\frac{b}{c+a}=\frac{c}{a+b}$$ The answer is $a=b=c=1$.
2
votes
1answer
2k views

How to neglect higher power terms in a polynomial expression [closed]

I have a polynomial expression of order n (say n=20). F(x)=1+x+x^2+x^3++...x^20. I want to approximate the polynomial for order 3 only. So I need to make the ...
2
votes
1answer
187 views

Factoring terms out of a polynomial

I don't do much algebra in Mathematica and was surprised to discover, while attempting to answer this question, that I had no idea how to factor out an expression from a polynomial. The question was, ...
2
votes
2answers
182 views

Trigonometry expansion of a product

The following command does what I want: ...
2
votes
1answer
163 views

How to convert a rational parametric plane curve into implicit form?

This problem is generated from another Green's theorem related question of mine. And here is a forward of the same problem in math.stackexchange. The original equation of the plane curve is not in ...
2
votes
2answers
218 views

Choosing a branch of the square root when performing a series expansion

I have the following problem. Consider expression f=Sqrt[(x-2y)^2] There is an obvious ambiguity in the definition of f ...
2
votes
1answer
317 views

Is there any way to force Mathematica to collect a symbol in a polynomial?

Let's say that I have a polynomial like this: a + b + c Is there any way that I can get Mathematica to transform it to: ...
2
votes
1answer
86 views

How to distribute PermutationProduct over the sum

Assuming I have two elements of the permutation group algebra $a_1$, $a_2$ such that $a_i=\sum_{p\in S_n}\alpha_pp$, I want to define a linear product $\odot$ that distributes over the sum and pulls ...
2
votes
1answer
403 views

Efficient method for factor expressions with square roots

Inspired from this, I tried factor following expressions, Mathematica takes a long time, I couldn't even wait for it to finish. Maple calculating it takes about 5 sec. Can you recommend an efficient ...
2
votes
3answers
129 views

How to make $a1**a2** \cdots **an=0$ for a given $n$?

In order to optimize my computation and save memory, I'd like to modify NonCommutativeMultiply so that for a given $n$ one has $a1**a2** \cdots **an=0$ for any $a1, a2, \ldots, an$. To make it ...
2
votes
1answer
347 views

Expressing a matrix in terms of four basis matrices

I have five matrices and I want to represent one in the basis of other four. So how do I find the value of coefficients? For example, if the matrices are I1, ...