RegularChains[ChainTools] - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : ChainTools Subpackage : RegularChains/ChainTools/Squarefree

RegularChains[ChainTools]

  

Squarefree

  

decomposition into square-free regular chains

 

Calling Sequence

Parameters

Description

Examples

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

withRegularChains:withChainTools:

We define a ring of polynomials.

RPolynomialRingx,y,z

R:=polynomial_ring

(1)

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

rcEmptyR

rc:=regular_chain

(2)

rcChainy2z,x22yx+z,rc,R

rc:=regular_chain

(3)

Equationsrc,R

x22yx+z,y2z

(4)

We remove this square by calling RegularChains[Squarefree].

lrcSquarefreerc,R

lrc:=regular_chain

(5)

mapEquations,lrc,R

xy,y2z

(6)

See Also

Chain

ChainTools

Empty

Equations

PolynomialRing

RegularChains

Triangularize

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam