localize(..., PrintLevel => ...)

localize(..., PrintLevel => ...)

The PrintLevel option value should be one of the following.

0 -- default

1 -- Informs the user of the current operation

2 -- Prints the current operation and its result

i1 : R = ZZ/(101)[x,y];

i2 : I = ideal (x^2,x*y);



o2 : Ideal of R

i3 : P1 = ideal (x);



o3 : Ideal of R

i4 : localize(I,P1,PrintLevel => 1)

localize:  Using Strategy 1



                                   2

Finding the assasinator of ideal (x , x*y)

    ideal x



    ideal (x, y)





Finding a separator polynomial



Saturating with respect to the separator polynomial



o4 = ideal x



o4 : Ideal of R

i5 : P2 = ideal (x,y);



o5 : Ideal of R

i6 : localize(I,P2,PrintLevel => 2)

localize:  Using Strategy 1



                                   2

Finding the assasinator of ideal (x , x*y)



It equals {ideal x, ideal (y, x)}



             2

o6 = ideal (x , x*y)



o6 : Ideal of R

See also:

Default value: 0

Function: localize

Option name: PrintLevel