The BasicDivisor is the class of divisors whose coefficients are unspecified, a base class. Not typically for use. All subtypes have the same essential structure.
RWeilDivisor is a subclass which has real coefficients.
QWeilDivisor is a further subclass with rational coefficients.
WeilDivisor is a subclass with integer coefficients.
The basic structure is a HashTable. There is one key which has a value which specifies the ambient ring. Another key is cache which points to a CacheTable. The remaining keys are a Groebner basis $L$ for each prime ideal $P$ in the support with corresponding value a list with one entry {$n$} where $n$ is the coefficient of the height one prime.





The object BasicDivisor is a type, with ancestor classes HashTable < Thing.