 Squarefree - Maple Help

RegularChains[ChainTools]

 Squarefree
 decomposition into square-free regular chains Calling Sequence Squarefree(rc, R,'normalized'='yes') Parameters

 rc - regular chain of R R - polynomial ring 'normalized'='yes' - (optional) boolean flag Description

 • 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. Examples

 > $\mathrm{with}\left(\mathrm{RegularChains}\right):$$\mathrm{with}\left(\mathrm{ChainTools}\right):$

We define a ring of polynomials.

 > $R≔\mathrm{PolynomialRing}\left(\left[x,y,z\right]\right)$
 ${R}{≔}{\mathrm{polynomial_ring}}$ (1)

We define a regular chain, where one polynomial is a square modulo the other.

 > $\mathrm{rc}≔\mathrm{Empty}\left(R\right)$
 ${\mathrm{rc}}{≔}{\mathrm{regular_chain}}$ (2)
 > $\mathrm{rc}≔\mathrm{Chain}\left(\left[{y}^{2}-z,{x}^{2}-2yx+z\right],\mathrm{rc},R\right)$
 ${\mathrm{rc}}{≔}{\mathrm{regular_chain}}$ (3)
 > $\mathrm{Equations}\left(\mathrm{rc},R\right)$
 $\left[{{x}}^{{2}}{-}{2}{}{y}{}{x}{+}{z}{,}{{y}}^{{2}}{-}{z}\right]$ (4)

We remove this square by calling RegularChains[Squarefree].

 > $\mathrm{lrc}≔\mathrm{Squarefree}\left(\mathrm{rc},R\right)$
 ${\mathrm{lrc}}{≔}\left[{\mathrm{regular_chain}}\right]$ (5)
 > $\mathrm{map}\left(\mathrm{Equations},\mathrm{lrc},R\right)$
 $\left[\left[{x}{-}{y}{,}{{y}}^{{2}}{-}{z}\right]\right]$ (6)