decomposition into pairwise disjoint regular chains - Maple Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ChainTools][SeparateSolutions] - decomposition into pairwise disjoint regular chains

Calling Sequence

SeparateSolutions(l_rc, R)

Parameters

l_rc

-

list of regular chains

R

-

polynomial ring

Description

• 

The command SeparateSolutions(l_rc, R) returns a list of square-free regular chains such that the ideals they generate are pairwise relatively prime.

• 

The input regular chains must be zero-dimensional.

• 

The algorithm is based on GCD computations.

• 

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

Examples

withRegularChains:

withChainTools:

Consider a polynomial ring with two variables

R:=PolynomialRingy,x

R:=polynomial_ring

(1)

Consider two regular chains in R

rc1:=Chainx,yy+1,EmptyR,R

rc1:=regular_chain

(2)

rc2:=Chainx,yy+2,EmptyR,R

rc2:=regular_chain

(3)

These two regular chains share a common solution. The union of their zero sets can be made disjoint. In other words we can replace these two regular chains by another set of regular chains such that the two sets describe the same solutions and the second one consists of pairwise disjoint zero sets of regular chains. This is done as follows

out:=SeparateSolutionsrc1,rc2,R

out:=regular_chain,regular_chain,regular_chain

(4)

mapEquations,out,R

y+1,x,y,x,y+2,x

(5)

See Also

Equations, NumberOfSolutions, 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