trim(BasicDivisor) -- trims the ideals displayed to the user and removes primes with coefficient zero

• Function: trim

• Usage:

  trim( D1 )

• Inputs:
  • D1, an instance of the type BasicDivisor,
• Optional inputs:
  • Strategy => ..., default value null,
• Outputs:
  • an instance of the type BasicDivisor,

i1 : R = QQ[x,y,z]/ideal(x*y-z^2);

i2 : D = divisor({1,0,-2}, {ideal(x, z), ideal(x-z,y-z), ideal(y+z, z)});

o2 : WeilDivisor on R

i3 : cleanSupport(D)

o3 = Div(x, z) + -2*Div(y+z, z)

o3 : WeilDivisor on R

i4 : trim(D)

o4 = Div(z, x) + -2*Div(z, y)

o4 : WeilDivisor on R

i5 : D == trim(D)

o5 = true