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

learn more… | top users | synonyms

14
votes
0answers
137 views

Undocumented fourth parameter of Collect; how long has it been there?

While tinkering with How to get a list of monomials of a polynomial without coefficients? on a whim I tried a fourth argument in Collect and found: ...
8
votes
0answers
59 views

Finding simplifying substitutions for an integral involving limits and integrand

[The following is based on a William Lowell Putnam Mathematical Competition problem.] Consider the definite integral: $I = \int\limits_2^4 \frac{\sqrt{\log (9-x)}}{\sqrt{\log (9-x)}+\sqrt{\log ...
7
votes
0answers
129 views

Apart may use Padé method: what's that?

How does Apart work? The page tutorial/SomeNotesOnInternalImplementation#7441 says, "Apart ...
6
votes
0answers
204 views

Speed up MinimalPolynomial

My Mathematica code runs slowly MinimalPolynomial[Sqrt[2] + Sqrt[3]+ Sqrt[5]+ Sqrt[7]+ Sqrt[11]+ Sqrt[13], x] runs slowly, but the Maple version ...
3
votes
0answers
151 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) ...
3
votes
0answers
460 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
165 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: ...
1
vote
0answers
224 views

Solving Symbolically Equations with Vectors and Matrices

I want to solve equations with vector variables and vector/matrix parameters symbolically. As a basic example I would like to be able to solve something like $[I-aG]x=b$ where $a,b \in \mathbb{R}^l$ ...
1
vote
0answers
75 views

Use of Mathematica to put equation into vector form

Is there a way to put the following equation of a line into vector form using Mathematica (or a Mathematical package)? $\displaystyle ...
1
vote
0answers
107 views

Giving hints to Integrate

I working with the integral ...
1
vote
0answers
81 views

How to make noncommutative multiplication agree with commutative multiplication

I need a noncommutative multiplication that is Associative Distributive $A**0=0$, $A**1=A$ Agrees with the commutative multiplication ($A**(k B)=(k A)**B=k (A**B)$) I have found a code ...
1
vote
0answers
102 views

Define inverse for the custom operator

I want to define simple matrix algebra (inspired by the following posts: Block Matrix Algebra with Mathematica ; How to define custom operators ). I assume the funtion ...
1
vote
0answers
181 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 ...
0
votes
0answers
112 views

Rearranging 5 equations

I am trying to rearrange 5 equations in terms of 5 variables. I have the equations for y1, y2, ...
0
votes
0answers
91 views

Using one complicated equation to reduce another

(Relative noob here so don't assume much!) I need to use a vector equation (with $N-1$ entries) in the general form $y_j(x_{i,j},x_{i,j+1},x_{i,j-1})=0, i=1...3, j=1...N-1; x_{i,0}=x_{i,N}=0$, ...
0
votes
0answers
54 views

Ordering oscillators with negative powers: Infinite loops

I have been working with ordering of oscillators for example $[a,a^\dagger]=1$ and I have a fairly stable code. I have needed to use inverse oscillators for example expressions like $a^m ...
0
votes
0answers
96 views

Unexpected result from InverseFunction

Given the following two equivalent inverse functions, why does one simplify (using inverse functions that are acceptable to me) and the other doesn't? Is there an assumption or setting I can give ...