Monomial tensor product polynomials |
These polynomials are represented as an array of coefficients in the tensor product monomial basis.
The corresponding type is Polynomial TensorMonomialsRing C, where C is the type of coefficients. Here we describe the main functionnalities available for these polynomials.
Mmx]
use "realroot"
1.Ring constructors
Mmx]
R := ZZ['x,'y]
Mmx]
type (R:> Generic)
Mmx]
RT := tensor R
Mmx]
type (RT:> Generic)
2.Polynomial constructors
Construction of polynomials from strings:
Mmx]
x := RT[0]; p:= 215*x^4+10*x-3232231
Mmx]
p := RT << "215*x^4+10*x-3232231"
Mmx]
q := polynomial(RT,"3*x^3*z-x^2*y+2")
Mmx]
type (q:> Generic)
3.Aritmetic operations
Arithmetic operations inherited from the coefficient ring are available:
Mmx]
p+33455552
Mmx]
q+=p
Mmx]
r:=q*p
4.Functions
Coefficients with respect to variable 
:
Mmx]
coefficients(r,0)
Coefficients of all the monomials:
Mmx]
coefficients(r)
Mmx]
diff(r,'x)
Mmx]
diff(r,0)
Mmx]
diff(r,0)
Mmx]
eval(r,[1,0,-1])
eval(r,[1,0,-1])
~~~~~~~~~~~~~~~~
::
, 
Mmx]
help eval
eval : (Polynomial (RingSparseMonomial (Floating)), Vector (Generic)) -> Generic(Native)
Mmx]