test if a regular chain is primitive - Maple Help

Online Help

All Products    Maple    MapleSim


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

RegularChains[ChainTools][IsPrimitive] - test if a regular chain is primitive

Calling Sequence

IsPrimitive(T, R)

Parameters

T

-

regular chain of R

R

-

polynomial ring

Description

• 

The command IsPrimitive(T, R) returns true if T is primitive; false otherwise.

• 

If the regular chain T is primitive then the ideal generated by T equals the saturated ideal satT of T.

• 

For the definition of primitivity and the algorithm, see the paper "When does T equal sat(T)?" by Francois Lemaire, Marc Moreno Maza, Wei Pan and Yuzhen Xie, 2008.

Examples

withRegularChains:withChainTools:

R:=PolynomialRingx,y,u,v

R:=polynomial_ring

(1)

T:=EmptyR

T:=regular_chain

(2)

T:=Chainuy+v,xy1,T,R

T:=regular_chain

(3)

EquationsT,R

yx1,uy+v

(4)

IsPrimitiveT,R

true

(5)

U:=EmptyR

U:=regular_chain

(6)

U:=Chainuy+v,vx+u,U,R

U:=regular_chain

(7)

EquationsU,R

vx+u,uy+v

(8)

IsPrimitiveU,R

false

(9)

See Also

IsIncluded, IsInSaturate , RegularChains

References

  

Lemaire, F.; Moreno Maza, M.; Pan, W.; and Xie, Y. "When does (T) equal Sat(T)?." Proc. ISSAC 2008. Linz, 2008.


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