split a chain by a variable
Cut(v, rc, R)
variable of of R
regular chain of R
The command Cut(v, rc, R) returns alg_v,top,pv,sub_rc where alg_v is true if and only if v is an algebraic variable of rc, that is, if there exists a polynomial of rc with v as main variables.
Moreover, top is assigned to the list of polynomials of rc with main variable strictly greater than v, ordered by increasing main variable.
pv is assigned to the polynomial of rc with main variable v. If no such polynomial exists, pv is left unchanged.
sub_rc is the regular chain under the variable v, i.e. composed of the polynomials of rc with main variable strictly lower than v.
This command is part of the RegularChains[ChainTools] package, so it can be used in the form Cut(..) 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][Cut](..).
R ≔ PolynomialRing⁡x,y,z
rc ≔ Empty⁡R
rc ≔ Chain⁡z+1,y+2,x+3,rc,R
res ≔ Cut⁡x,rc,R;Equations⁡res4,R
res ≔ Cut⁡y,rc,R;Equations⁡res4,R
res ≔ Cut⁡z,rc,R;Equations⁡res4,R
Download Help Document