CoefficientType -- an option used to tell divisor construction that a particular type of coefficients are expected.

Description

Can be set to ZZ, QQ or RR (or any other Thing) when divisor is called, it checks whether the coefficient list is a list of instances of this type. If it is set to ZZ, QQ or RR then a WeilDivisor, QWeilDivisor or RWeilDivisor are created. Default value is ZZ.

Functions with optional argument named CoefficientType :

applyToCoefficients(...,CoefficientType=>...) -- see applyToCoefficients -- apply a function to the coefficients of a divisor
divisor(...,CoefficientType=>...) -- see divisor -- constructor for (Weil/Q/R)-divisors

For the programmer

The object CoefficientType is a symbol.