RegularChains[ChainTools] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ChainTools]

  

ListConstruct

  

constructs regular chains

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

ListConstruct(lp, rc, R)

ListConstruct(p, rc, R, 'normalized'='yes')

ListConstruct(p, rc, R, 'normalized'='strongly')

Parameters

lp

-

list of polynomials of R

rc

-

regular chain of R

R

-

polynomial ring

'normalized'='yes'

-

(optional) boolean flag

'normalized'='strongly'

-

(optional) boolean flag

Description

• 

The command ListConstruct(lp, rc, R) returns a list of regular chains rci which form a triangular decomposition of the regular chain obtained by extending rc with lp.

• 

It is assumed that lp is a list of non-constant polynomials sorted in increasing main variable, and that any main variable of a polynomial in lp is strictly greater than any algebraic variable of rc.

• 

It is also assumed that the polynomials of rc together with those of lp form a regular chain.

• 

Although rc with lp is assumed to form a regular chain, several regular chains may be returned; this is because the polynomials of lp may be factorized with respect to rc.

• 

To avoid these possible factorizations, use RegularChains[ChainTools][Chain]

• 

If 'normalized'='yes' is present, then rc must be normalized. In addition, every returned regular chain is normalized.

• 

If 'normalized'='strongly' is present, then rc must be strongly normalized. In addition, every returned regular chain is strongly normalized.

• 

This command is part of the RegularChains[ChainTools] package, so it can be used in the form ListConstruct(..) 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][ListConstruct](..).

Examples

withRegularChains:

withChainTools:

RPolynomialRingt,x,y,z

R:=polynomial_ring

(1)

pyy2+2y+1

py:=y2+2y+1

(2)

ptt2+y

pt:=t2+y

(3)

rcEmptyR

rc:=regular_chain

(4)

lrcListConstructpy,pt,rc,R

lrc:=regular_chain,regular_chain

(5)

mapEquations,lrc,R

t1,y+1,t+1,y+1

(6)

See Also

Chain

ChainTools

Construct

Empty

Equations

PolynomialRing

RegularChains

 


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