Category of multivariate polynomials
This functionality does not run in MATLAB.
Cat::Polynomial(R) represents the category of multivariate polynomials over R.
A Cat::Polynomial(R) is a multivariate polynomial ring over a commutative coefficient ring R.
A domain which must be from the category Cat::CommutativeRing.
The coefficient ring R.
The characteristic of this domain, which is the same as that of the ring R.
coeff(p, x, n)
Must return the coefficient of x^n of p, which is a polynomial in the remaining indeterminates.
Must return the coefficient of x^n of p, where x is the main variable of p.
Must return the degree of p with respect to the indeterminate x.
evalp(p, x = v, …)
More than one evaluation point may be given. The result must be a polynomial in the remaining indeterminates or an element of R.
mapcoeffs(p, f, <a, …>)
An implementation is provided if R has the axiom Ax::canonicalUnitNormal: In this case p is multiplied by an unit of R such that the leading coefficient has unit normal representation in R.
An implementation is provided if R has the axiom Ax::canonicalUnitNormal.
solve(p, x, <opt, …>)
solve(p, x = T, <opt, …>)
Solves the polynomial equation p = 0 with respect to x over the domain T. See the function solve for details about the optional arguments opt, ...
The polynomial p must be univariate. Solves the polynomial equation p = 0 with respect to the indeterminate of p over the domain R.