Construct a divisor as a formal sum of height one prime ideals whose coefficients are real numbers
i1 : R = QQ[x,y,z]; |
i2 : D = divisor({},{}, AmbRing=>R) o2 = 0, the zero divisor o2 : WeilDivisor on R |
i3 : D = divisor({}, {}) o3 = 0, the zero divisor o3 : WeilDivisor on ZZ |