Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

polylib::Poly

Domain of polynomials

Syntax

Domain Creation

polylib::Poly([x1, …], <R>)

Description

polylib::Poly([x1,...,xn], R) creates the ring of polynomials in the unknowns x1 through xn over the coefficient ring R. If the argument R is missing, Expr is used.

polylib::Poly is a facade domain; it has no domain elements. It serves only as a coefficient ring for polynomials.

The attempt to create an element of polylib::Poly results in a DOM_POLY.

The arithmetical operations of the domain are realized by the corresponding kernel methods.

Examples

Example 1

polylib::Poly can be used for defining polynomials in x whose coefficients are polynomials in y. Such polynomials must not be confused with bivariate polynomials in x and y.

delete x,y: e:= x*(y^2*2 + y) + 3*y:
poly(e, [x, y]);  poly(e, [x], polylib::Poly([y]))

Parameters

x1

Unknown

R

Admissible coefficient ring for polynomials. See poly.

Entries

"zero"

the zero polynomial

"one"

the constant polynomial one

"indets"

list of unknowns

"coeffRing"

the coefficient ring R

See Also

MuPAD Domains

Was this topic helpful?