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.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Divisor.m2:1993:0.