RegularChains[ChainTools]
Polynomial
polynomial of a regular chain with specified main variable
Calling Sequence
Parameters
Description
Examples
Polynomial(v, rc, R)
v
-
variable of R
rc
regular chain of R
R
polynomial ring
The command Polynomial(v, rc, R) returns the polynomial of rc with main variable v, otherwise an error is produced.
This command is part of the RegularChains[ChainTools] package, so it can be used in the form Polynomial(..) only after executing the command with(RegularChains[ChainTools]). However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][Polynomial](..).
withRegularChains:
R≔PolynomialRingx,y,z
R≔polynomial_ring
withChainTools:
T≔EmptyR:
T≔Chainz+1z+2,y2+z,x−zx−y,T,R
T≔regular_chain
EquationsT,R
x2+−y−zx+zy,y2+z,z2+3z+2
p1≔Polynomialx,T,R
p1≔x2−xy−zx+zy
p2≔Polynomialy,T,R
p2≔y2+z
p3≔Polynomialz,T,R
p3≔z2+3z+2
See Also
Chain
Cut
Empty
Equations
IsAlgebraic
PolynomialRing
RegularChains
Download Help Document