RegularChains[ChainTools][IsInSaturate] - test membership to the saturated ideal of a regular chain
|
Calling Sequence
|
|
IsInSaturate(p, rc, R)
|
|
Parameters
|
|
p
|
-
|
polynomial of R
|
rc
|
-
|
regular chain of R
|
R
|
-
|
polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command IsInSaturate(p,rc,R) returns true if and only if p belongs to the saturated ideal of rc.
|
•
|
This command is part of the RegularChains[ChainTools] package, so it can be used in the form IsInSaturate(..) 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][IsInSaturate](..).
|
|
|
Examples
|
|
>
|

|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
![[z^2*x+y^2+1, x^2+1, z^2*x+y^2+2+x^2, x^2*(z^2*x+y^2+1)-x^2-1, (x^2+1)^2, 3*x^2+3+x*y*(z^2*x+y^2+1)]](/support/helpjp/helpview.aspx?si=6442/file06448/math124.png)
| (5) |
>
|
|
| (6) |
>
|
|
|
|
Download Help Document
Was this information helpful?