QDiv -- the class of divisors with rational coefficients
Description
The class of divisors whose coefficients are rational numbers. Should be constructed with the rationalDivisor method or with divisor(..., coeffType=>QQ). For the underlying structure, see BasicDiv.
See also
divisor -- Define the Weil divisor as a formal sum of height one prime ideals
rationalDivisor -- Define the divisor as a formal sum of height one prime ideals whose coefficients are rational numbers
BasicDiv -- the class of divisors with unspecified coefficients
WDiv -- the class of divisors with integer coefficients
RDiv -- the class of divisors with real coefficients
Types of QDiv :
WDiv -- the class of divisors with integer coefficients
Methods that use an object of class QDiv :
divisorToIdeal(QDiv), see divisorToIdeal -- Calculate the corresponding module of a given divisor and represent it as an ideal
divisorToModule(QDiv), see divisorToModule -- Calculate the corresponding module of a given divisor
isQCartier(ZZ,QDiv), see isQCartier -- Check whether m times a divisor is Cartier for any m from 1 to a fixed positive integer n1.
isQLinearEquivalent(QDiv,QDiv), see isQLinearEquivalent -- Check if two rational divisors are linearly equivalent
RR * QDiv -- Multiply a rational divisor by a real number
toQDiv(QDiv), see toQDiv -- Turn a Weil divisor to a rational divisor
toRDiv(QDiv), see toRDiv -- Turn a integer/rational divisor to a real divisor