Questions on the functionality operating on polynomials

learn more… | top users | synonyms (1)

3
votes
1answer
203 views

How to enforce mathematica to analytically evaluate roots?

I am interested in simplifying expressions involving HeavisideTheta. A simple example could be: HeavisideTheta[1 + x - x^2 + x^3] The best I can achieve is with ...
7
votes
0answers
125 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 ...
6
votes
0answers
284 views

Computing Ehrhart's polynomial for a convex polytope

Is there a Mathematica implementation for computing the Ehrhart polynomial of a convex polytope which is specified either by its vertices or by a set of inequalities? I am interested in knowing this ...
4
votes
0answers
195 views

Discriminant of Characteristic Polynomial

I'm doing a calculation which finds the characteristic polynomial of a matrix with rather complex entries and then determines the discriminant of that polynomial. For smaller matrices up to around 7x7 ...
3
votes
0answers
102 views

Extracting an equation from an interpolated function

Im trying to use LibraryLink to do some calculations in C but part of the expression i want to calculate is an Interpolating Function. C cant use that obviously so I'm trying to shift it to a data ...
2
votes
0answers
40 views

Puiseux series for algebraic curves

Has anyone implemented a function in Mathematica that computes Puiseux expansions of algebraic curves? Using something like ...
2
votes
0answers
238 views

Negative power instead of fraction

Solve returns a solution in the form {{x->y/a^2 + y^2/a^7}}. Since I want to process the input (with another program) in terms of Laurent polynomials, I would ...
1
vote
0answers
36 views

Working with rational polynomials

I work a lot with transfer functions (Laplace transform) and I often need to convert them into different forms: rational transfer functions pole/zero representation pole/zero/gain representation ...
1
vote
0answers
32 views

Error in NullSpace, with AlgebraicNumber entries

Consider the following 14x14 matrix, with typical entry ...
1
vote
0answers
52 views

Finding related roots to a polynomial

I posted this in math.stackexchange, but this might be a better place. Assume that $f(X,Y,Z,V,W)\in \mathbb{Z}[X,Y,Z,V,W]$ is some polynomial and assume that $f(x,y,z,v,w)=0$. I would like to know if ...
1
vote
0answers
126 views

Best way to determine polynomial coefficients in series expansion

I would like to solve the equation $$h'(\boldsymbol{x}_1)\left[B_1\boldsymbol{x}_1+g_1(\boldsymbol{x_1},h(\boldsymbol{x}_1))\right]=B_2h(\boldsymbol{x}_1)+g_2(\boldsymbol{x}_1,h(\boldsymbol{x}_1))$$ ...
1
vote
0answers
171 views

Issue with Coefficient command

I'm trying to used the Coefficient command to extract the numerical values in front of a Chebyshev polynomial. I know that there is a numerical way to do this, presented in numerical recipes, which I ...
1
vote
0answers
182 views

Is there a way to speed up Simplify and/or PolynomialReduce Modulus-> 2?

I'm trying to simplify a series of equations with at most 64 input terms. As the number of terms involved in the equations increase, the runtime seems to grow exponentially. Does anyone know of ways ...
1
vote
0answers
322 views

Polynomial factorization over finite fields with non-prime order

One can easily factor a polynomial over finite fields of prime order, using Factor command: ...
1
vote
0answers
109 views

Know the degree of the equation with the radicals expanded

I have an equation with radicals. I would like to know what would be the degree of the polynomials if I'd move the terms and square the equation a number of times sufficient to remove all the ...
0
votes
0answers
40 views

Recurrence relation for multivariate polynomials

I am trying to define a function which recursively computes a polynomial associated to every binary string: ComputePoly[s_]:=(** Recurse on the string s**) For ...
0
votes
0answers
25 views

Extracting coefficients of very large polynomials (perhaps by improving Expand or ExpandAll)

Is there a way to improve or bypass Expand (or ExpandAll) for extremely large polynomials? I have a polynomial system of the form $$ 0 = \sum_n a_n d_{i_1,i_2} \cdots d_{i_{p-1},i_p},$$ in which ...
0
votes
0answers
65 views

NIntegrate Polynomial of high degree

I want to integrate a polynomial of degree 100 and higher over a domain that is the intersection of two balls like ...
0
votes
0answers
56 views

Inconsistent Outputs Produced By Eliminate

I have tried the solver "Eliminate" in Mathematica to find the elimination ideal of a polynomial system, and compared the results to examine effectiveness, by simply switching the order of "set the ...
0
votes
0answers
27 views

PolynomialMod: Unexpected results

Executing PolynomialMod[(X - 1) (X^3 + 2) (X^2 + 1), 2 - 2 X] 0 But ...
0
votes
0answers
84 views

Computing Poincaré symbolic solution for an arbitrary integer order polynomial

In the 1880s, Poincaré created functions which give the solution to the nth order polynomial equation in finite form. These functions turned out to be "natural" generalizations of the elliptic ...
0
votes
0answers
55 views

Does Mathematica support Laguerre Polynomials of Matrix Argument?

I am wondering whether Mathematica can also compute the Laguerre polynomials of matrix argument as the appear in multivariate statistics? For example, they appear in this paper here: ...
0
votes
0answers
67 views

Applying the square root of operator on polynomial functions

I am trying to apply an "operation" on polynomial functions: apply the operator $(\frac{\partial f}{\partial x}-y\frac{\partial f}{\partial z})^2+(\frac{\partial f}{\partial y}+x\frac{\partial ...
0
votes
0answers
52 views

Finding an instance of parameters, for which a polynomial has no zeros

I have a polynomial in $p(x,y) \in\mathbb{R}[x,y]_{\leq 4}$, of degree 4. The coefficients are simple functions of 12 real parameters. In particular, the coefficients are in ...
0
votes
0answers
52 views

Change of basis from monomial basis to Chebyshev basis of polynomials

I have a certain multivariate polynomial (in 4 variables) written in terms of monomials, and I would like to change the basis into Chebyshev orthogonal basis. Is there any function to do that?
0
votes
0answers
125 views

Finding Roots of Non-linear Systems: Rescaling polynomials

I'm trying to get all isolated finite equilibria of a moderate multi-dimensional non-linear system of equations. Particularly I have 9 independent variables and third order at most. It turns out that, ...
0
votes
0answers
71 views

How to solve equations over polynomial rings

sorry if my question is very basic but I don't know what to even search to look it up and the only "obvious" places I thought of had nothing. Some background, for whatever context it might provide. ...
0
votes
0answers
57 views

PolynomialReduce not working

I have a polynomial $f(x_1, x_2, \ldots , x_n)$ with coefficients in $Z[q,t]$, and I have a list of polynomials $g = g_1, g_2, \ldots , g_k$ where they are also polynomials in $(x_1, x_2, \ldots, ...
0
votes
0answers
121 views

How can I calculate all irreducible polynomials of 31 degree in $\mathbb Z_2[x]$?

How can I calculate all binary irreducible polynomials of degree 31? or how i calculate all irreducible $f$ in $\mathbb Z_2[x]$? (The irreducible polynomial in $\mathbb Z_2[x]$ and $\mathbb R$ are ...
0
votes
0answers
193 views

symbolic solution for a system of nonlinear equations in mathematica

Would appreciate any help on the following in mathematica I cant figure it out. I have a system of equations that I am trying to solve symbolically. I have 9 equations and 8 unknowns (I have also ...