This function returns the list of prime divisors of a given divisor. The prime divisors are all of the class WeilDivisor. If you do not call cleanSupport, you may obtain divisors with zero coefficients.
i1 : R = QQ[x, y, z]; |
i2 : D = divisor({-8, 2, 0}, {ideal(x), ideal(y), ideal(x^2+z)}) o2 = 0*Div(x^2+z) + -8*Div(x) + 2*Div(y) o2 : WeilDivisor on R |
i3 : getPrimeDivisors( D ) o3 = {Div(x^2+z), Div(x), Div(y)} o3 : List |
i4 : getPrimeDivisors( cleanSupport D ) o4 = {Div(x), Div(y)} o4 : List |
The object getPrimeDivisors is a method function.