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.