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/IsIncluded

RegularChains[ChainTools]

  

IsIncluded

  

inclusion test for two regular chains

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

IsIncluded(rc1, rc2, R)

Parameters

rc1

-

regular chain

rc2

-

regular chain

R

-

polynomial ring

Description

• 

The command IsIncluded(rc1, rc2, R) returns true if the saturated ideal of rc1 is detected to be contained in that of rc2, false otherwise, where rc1 and rc2 are regular chains of R.

• 

The answer is true if the following conditions hold.

  

(1) all equations of rc1 are reduced to zero by rc2

  

(2) the initials of rc1 are regular modulo rc2

• 

The answer is also true if the following conditions hold.

  

(1) all equations of rc1 are reduced to zero by rc2

  

(2) the regular chain rc1 is primitive, that is, it generates its saturated ideal.

• 

Other criteria are implemented.  Some inclusions are not detected by any of those criteria. When they all fail, then false is returned.

• 

Even though there exists a general algorithm for deciding whether the saturated ideal rc1 is contained in that of rc2, this algorithm is not implemented since it too costly to execute in most cases. On the criteria the implemented criteria are in general much less costly to execute.

• 

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

Examples

withRegularChains:withChainTools:

RPolynomialRingx,y,z

R:=polynomial_ring

(1)

sysx2+y+z1,x+y2+z1,x+y+z21

sys:=x2+y+z1,y2+x+z1,z2+x+y1

(2)

decTriangularizesys,R,normalized=yes

dec:=regular_chain,regular_chain,regular_chain,regular_chain

(3)

epdecEquiprojectableDecompositiondec,R

epdec:=regular_chain,regular_chain

(4)

foritonopsdecdoforjtonopsepdecdoTdeci;Uepdecj;printEquationsT,R;printEquationsU,R;printIsIncludedT,U,R;printEquationsU,R;printEquationsT,R;printIsIncludedU,T,Rend doend do

xz,yz,z2+2z1

2x+z21,2y+z21,z3+z23z+1

true

2x+z21,2y+z21,z3+z23z+1

xz,yz,z2+2z1

false

xz,yz,z2+2z1

x+y1,y2y,z

false

x+y1,y2y,z

xz,yz,z2+2z1

false

x,y,z1

2x+z21,2y+z21,z3+z23z+1

true

2x+z21,2y+z21,z3+z23z+1

x,y,z1

false

x,y,z1

x+y1,y2y,z

false

x+y1,y2y,z

x,y,z1

false

x,y1,z

2x+z21,2y+z21,z3+z23z+1

false

2x+z21,2y+z21,z3+z23z+1

x,y1,z

false

x,y1,z

x+y1,y2y,z

true

x+y1,y2y,z

x,y1,z

false

x1,y,z

2x+z21,2y+z21,z3+z23z+1

false

2x+z21,2y+z21,z3+z23z+1

x1,y,z

false

x1,y,z

x+y1,y2y,z

true

x+y1,y2y,z

x1,y,z

false

(5)

References

  

Xie, Y. "Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically" PhD Thesis, University of Western Ontario, Canada, 2007.

See Also

EqualSaturatedIdeals

Equations

EquiprojectableDecomposition

IsInSaturate

PolynomialRing

RegularChains

RemoveRedundantComponents

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