decomposition into square-free regular chains
regular chain of R
(optional) boolean flag
The command Squarefree(rc, R) returns a triangular decomposition of rc into regular chains with square-free saturated ideals. This triangular decomposition is the sense of Kalkbrener, that is, the radical of the the saturated ideal of rc must equal the intersection of the radical ideals of the saturated ideals of the output regular chains.
If 'normalized'='yes' is provided, then the output regular chains are also normalized.
We define a ring of polynomials.
R ≔ PolynomialRing⁡x,y,z
R ≔ polynomial_ring
We define a regular chain, where one polynomial is a square modulo the other.
rc ≔ Empty⁡R
rc ≔ regular_chain
rc ≔ Chain⁡y2−z,x2−2⁢y⁢x+z,rc,R
We remove this square by calling RegularChains[Squarefree].
lrc ≔ Squarefree⁡rc,R
lrc ≔ regular_chain
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.