toWeilDivisor( E1 )
Given a divisor with rational or real coefficients, but whose coefficients are actually integers, we first check if all coefficients are integers. If so we make this Weil divisor. Otherwise, an error is thrown.
|
|
|
|
|
|
|
Notice in the final computation, D cannot be converted into a Weil divisor since $D$ has non-integer coefficients, but 2*D can be converted into a Weil divisor.
The object toWeilDivisor is a method function.