RegularChains[ChainTools]
IsAlgebraic
test if a variable is algebraic with respect to a regular chain
Calling Sequence
Parameters
Description
Examples
IsAlgebraic(v, rc, R)
v
-
variable of of R
rc
regular chain of R
R
polynomial ring
The command IsAlgebraic(v, rc, R) returns true if v is algebraic with respect to rc, false otherwise.
This command is part of the RegularChains[ChainTools] package, so it can be used in the form IsAlgebraic(..) 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][IsAlgebraic](..).
withRegularChains:
R≔PolynomialRingx,y,z,t
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
IsAlgebraicx,T,R
true
IsAlgebraict,T,R
false
See Also
Chain
ChainTools
Cut
Empty
Equations
Polynomial
PolynomialRing
RegularChains
Download Help Document