Divisor : Table of Contents
Divisor -- A package for divisors on normal rings (graded or not).
-
AmbRing -- An option used to tell divisor construction that a particular ambient ring is expected.
-
baseLocus -- Computes the locus where a graded module (or O(D) Weil divisor) is not globally generated.
BasicDiv -- the class of divisors with unspecified coefficients
-
-
-
ceilingDiv -- Get a divisor whose coefficients are ceilings of the given divisor
coeff -- Get the coefficient of a given ideal for a fixed divisor
CoeffType -- An option used to tell divisor construction that a particular type of coefficients are expected.
divisor -- Constructor for (Weil/Q/R)-divisors
divisorToIdeal -- Calculate the corresponding module of a given divisor and represent it as an ideal
-
divMinus -- Get the negative part of a divisor
divPlus -- Get the positive part of a given divisor
divPullBack -- Compute the pullback of a divisor under a ring map
-
-
floorDiv -- Get a divisor whose coefficients are floors of the given divisor
-
-
getGBList -- Get the list of Groebner bases corresponding to the height-one primes in the support of a divisor
-
getPrimeCount -- Get the number of height one primes in the support of the divisor
-
getPrimeList -- Get the list of height-one primes in the support of a divisor
idealPower -- Compute the ideal generated by the generators of the given ideal raised to a power
-
-
isCartier -- Check if a Weil divisor is Cartier
isDivAmbient -- Checks whether the ambient ring of a given divisor is the given ring
isDivGraded -- Checks to see if the divisor is graded (homogeneous)
-
-
-
isDomain -- Checks if a ring is a domain
-
IsGraded -- An option used by numerous functions which tells it to treat the divisors as if we were working on the Proj of the ambient ring.
-
isQCartier -- Check whether m times a divisor is Cartier for any m from 1 to a fixed positive integer n1.
-
isReflexive -- Checks whether an ideal or module is reflexive
isRegular -- Checks to see if R mod the given ideal is regular
isSNC -- Checks to see if the divisor is simple normal crossings
isWDiv -- Check if a rational/real divisor is a Weil divisor
isZeroDivisor -- Checks to see if the divisor is the zero divisor
KnownCartier -- An option used to specify to certain functions that we know that the divisor is Cartier.
KnownNormal -- An option used to specify to certain functions that we know that the ambient ring is normal.
mapToProjectiveSpace -- Compute the map to projective space associated with the global sections of a Cartier divisor
-
-
-
-
MTries -- An option used by moduleToIdeal how many times to try embedding the module as an ideal in a random way.
-
-
Primes -- A value for the option Strategy for the divPullBack method
QDiv -- the class of divisors with rational coefficients
QQ * RDiv -- Multiply a real divisor by a rational number
QQ * WDiv -- Multiply a Weil divisor by a rational number
ramificationDivisor -- Compute the ramification divisor of a finite inclusion of normal domains
-
RDiv -- the class of divisors with real coefficients
-
-
-
-
-
-
ReturnMap -- An option for moduleToIdeal and moduleWithSectionToIdeal
RR * QDiv -- Multiply a rational divisor by a real number
RR * RDiv -- Multiply a real divisor by a real number
sameDivAmbient -- Checks whether the ambient ring of the given divisors are equal
Sheaves -- A value for the option Strategy for the divPullBack method
-
toQDiv -- Turn a Weil divisor to a rational divisor
toRDiv -- Turn a integer/rational divisor to a real divisor
-
toWDiv -- Turn a rational/real divisor with integer coefficients into to a Weil Divisor
Unsafe -- An option used to tell divisor construction not to do various checks
-
WDiv -- the class of divisors with integer coefficients
zeroDivisor -- Constructs the zero Weil divisor for the given ring
-