|
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  of T.
|
|
•
|
For the definition of primivity 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
|
|
|
>
|
 
|
|
>
|
![R := PolynomialRing([x, y, u, v])](/support/helpjp/helpview.aspx?si=6434/file06450/math79.png)
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
![T := Chain([u*y+v, x*y-1], T, R)](/support/helpjp/helpview.aspx?si=6434/file06450/math93.png)
|
|
| (3) |
|
>
|
|
|
![[y*x-1, u*y+v]](/support/helpjp/helpview.aspx?si=6434/file06450/math103.png)
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
![U := Chain([u*y+v, v*x+u], U, R)](/support/helpjp/helpview.aspx?si=6434/file06450/math121.png)
|
|
| (7) |
|
>
|
|
|
![[v*x+u, u*y+v]](/support/helpjp/helpview.aspx?si=6434/file06450/math131.png)
| (8) |
|
>
|
|
|
| (9) |
|
|
|
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?
