isSymbolicEqualOrdinary -- tests if symbolic power is equal to ordinary power

Synopsis

Usage:

isSymbolicEqualOrdinary(I,n)
Inputs:
- I, an ideal,
- n, an integer,
Outputs:
- a Boolean value, the truth value of $I^n==I^{(n)}$

Description

Given a radical ideal I and an integer $n$, this method returns true if and only if $I^n=I^{(n)}$. This method circumvents computing the symbolic powers in most cases, by first testing the bigHeight of $I^n$

i1 : B = QQ[x,y,z];

i2 : f = map(QQ[t],B,{t^3,t^4,t^5})

                      3   4   5
o2 = map (QQ[t], B, {t , t , t })

o2 : RingMap QQ[t] <-- B

i3 : I = ker f;

o3 : Ideal of B

i4 : isSymbolicEqualOrdinary(I,2)

o4 = false

Ways to use isSymbolicEqualOrdinary :

isSymbolicEqualOrdinary(Ideal,ZZ)

For the programmer

The object isSymbolicEqualOrdinary is a method function.

isSymbolicEqualOrdinary -- tests if symbolic power is equal to ordinary power

Synopsis

Description

See also

Ways to use isSymbolicEqualOrdinary :

For the programmer