RDiv -- the class of divisors with real coefficients
Description
The class of divisors whose coefficients are real numbers. Should be constructed with the realDivisor method or with divisor(..., coeffType=>RR). For the underlying structure, see BasicDiv.
See also
divisor -- Define the Weil divisor as a formal sum of height one prime ideals
realDivisor -- Define the divisor as a formal sum of height one prime ideals whose coefficients are real numbers
BasicDiv -- the class of divisors with unspecified coefficients
WDiv -- the class of divisors with integer coefficients
QDiv -- the class of divisors with rational coefficients
Types of RDiv :
QDiv -- the class of divisors with rational coefficients
Methods that use an object of class RDiv :
ceilingDiv(RDiv), see ceilingDiv -- Get a divisor whose coefficients are floors of the given divisor
divisorToIdeal(RDiv), see divisorToIdeal -- Calculate the corresponding module of a given divisor and represent it as an ideal
divisorToModule(RDiv), see divisorToModule -- Calculate the corresponding module of a given divisor
divMinus(RDiv), see divMinus -- Get the positive part of a divisor
divPlus(RDiv), see divPlus -- Get the positive part of a given divisor
divPullBack(RingMap,RDiv), see divPullBack -- Compute the pullback of a divisor under a ring map
floorDiv(RDiv), see floorDiv -- Get a divisor whose coefficients are floors of the given divisor
isWDiv(RDiv), see isWDiv -- Check if a rational/real divisor is a Weil divisor
QQ * RDiv -- Multiply a real divisor by a rational number