Verbose -- print additional output

Description

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x-y, x-z)

o2 = ideal (x - y, x - z)

o2 : Ideal of R

i3 : isGVD I

o3 = true

i4 : isGVD(I, Verbose=>true)
ideal(x-y,x-z)
-- decomposing with respect to x
-- C = ideal(y-z,1)
-- N = ideal(y-z)
ideal(y-z,1)
-- unit ideal
ideal(y-z)
-- decomposing with respect to y
-- C = ideal 1
-- N = ideal()
ideal 1
-- unit ideal
ideal()
-- zero ideal

o4 = true

See also

• isGVD -- checks whether an ideal is geometrically vertex decomposable
• isLexCompatiblyGVD -- checks whether an ideal is <-compatibly geometrically vertex decomposable for a given order
• isWeaklyGVD -- checks whether an ideal is weakly geometrically vertex decomposable
• oneStepGVD -- computes a geometric vertex decomposition

Functions with optional argument named Verbose :

• "isGVD(...,Verbose=>...)"
• "isLexCompatiblyGVD(...,Verbose=>...)"
• "isWeaklyGVD(...,Verbose=>...)"
• "oneStepGVD(...,Verbose=>...)"