RegularChains[ChainTools] - Maple Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ChainTools]

  

Chain

  

constructs regular chains

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Chain(lp, rc, R)

Parameters

lp

-

list of polynomials of R

rc

-

regular chain of R

R

-

polynomial ring

Description

• 

The command Chain(lp, rc, R) returns 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.

• 

The function Chain allows the user to build a regular chain without performing any expensive check and without splitting or simplifying. On the contrary, the functions Construct and ListConstruct check their input completely. In addition, they simplify the input polynomials and they may also factorize some of them, leading to a list of regular chains (that is, a split) rather than a single one.

• 

The function Chain is used by some algorithms where one tries to split the computations as little as possible. This is the case for the function EquiprojectableDecomposition.

• 

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

Examples

withRegularChains:

withChainTools:

RPolynomialRingt,x,y,z

R:=polynomial_ring

(1)

pzz2+2z+1

pz:=z2+2z+1

(2)

pyzy2+1

py:=y2z+1

(3)

pttx+y+y+z

pt:=tx+y+y+z

(4)

qyexpand3zpy

qy:=3y2z2+3z

(5)

qtexpandx+y2pt

qt:=tx3+3tx2y+3txy2+ty3+x2y+x2z+2xy2+2xyz+y3+y2z

(6)

rcEmptyR

rc:=regular_chain

(7)

rc1Chainpz,qy,qt,rc,R

rc1:=regular_chain

(8)

Equationsrc1,R

x3+3yx2+3y2x+y3t+y+zx2+2y2+2zyx+y3+zy2,3z2y2+3z,z2+2z+1

(9)

lrcListConstructpz,qy,qt,rc,R

lrc:=regular_chain,regular_chain

(10)

mapEquations,lrc,R

t,y1,z+1,x1t2,y+1,z+1

(11)

See Also

ChainTools

Construct

Empty

Equations

ListConstruct

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