SpaceCurves : Index
- allACMBetti -- lists all Betti tables of ACM curves with a given Hilbert function
- allACMBetti(List) -- lists all Betti tables of ACM curves with a given Hilbert function
- BlowUpPoints -- key for CubicSurface and QuarticSurfaceRational
- CanonicalClass -- key for QuadricSurface, CubicSurface and QuarticSurfaceRational
- Coordinate -- key of Divisor
- CubicSurface -- type of HashTable
- cubicSurface -- creates a cubicSurface
- cubicSurface(Ring) -- creates a cubicSurface
- Curve -- type of HashTable
- curve -- generates a random curve
- curve(Divisor) -- generates a random curve
- curve(ZZ,ZZ) -- generates a random curve
- curve(ZZ,ZZ,Ring) -- generates a random curve
- degree(Curve) -- computes the degree of a Curve
- degree(Divisor) -- computes the degree of a Divisor
- degreeMatrix -- computes the Hilbert-Burch degree matrix from a Betti table of ACM curves
- degreeMatrix(BettiTally) -- computes the Hilbert-Burch degree matrix from a Betti table of ACM curves
- dgTable -- prints the table of (degree,genus) pairs
- dgTable(List) -- prints the table of (degree,genus) pairs
- Divisor -- type of HashTable
- divisor -- creates a Divisor
- Divisor * Divisor -- intersection number of two Divisors
- Divisor + Divisor -- sum of two Divisors
- Divisor - Divisor -- difference of two Divisors
- divisor(Curve) -- extracts the Divisor of a Curve
- divisor(List,CubicSurface) -- creates a Divisor
- divisor(List,QuadricSurface) -- creates a Divisor
- divisor(List,QuarticSurfaceRational) -- creates a Divisor
- generalACMBetti -- the most general Betti table of an ACM curve with a given Hilbert function
- generalACMBetti(List) -- the most general Betti table of an ACM curve with a given Hilbert function
- genus(Curve) -- computes the genus of a Curve
- genus(Divisor) -- computes the genus of a Divisor
- HyperplaneClass -- key for QuadricSurface, CubicSurface and QuarticSurfaceRational
- ideal(CubicSurface) -- extracts the ideal of a surface
- ideal(Curve) -- extracts the ideal of a Curve
- ideal(QuadricSurface) -- extracts the ideal of a surface
- ideal(QuarticSurfaceRational) -- extracts the ideal of a surface
- IntersectionPairing -- key for QuadricSurface, CubicSurface and QuarticSurfaceRational
- isACMBetti -- checks whether a Betti table is that of an ACM curve
- isACMBetti(BettiTally) -- checks whether a Betti table is that of an ACM curve
- isPrime(Curve) -- checks if the ideal of a Curve is prime
- isSmooth -- checks smoothness of an ideal or of a Curve
- isSmooth(Curve) -- checks smoothness of an ideal or of a Curve
- isSmooth(Ideal) -- checks smoothness of an ideal or of a Curve
- isSmoothACMBetti -- checks whether a Betti table is that of a smooth ACM curve
- isSmoothACMBetti(BettiTally) -- checks whether a Betti table is that of a smooth ACM curve
- MapToP3 -- key for CubicSurface and QuarticSurfaceRational
- minimalCurve -- generates a minimal curve in the biliaison class
- minimalCurve(Curve) -- generates a minimal curve in the biliaison class
- minimalCurve(Ideal) -- generates a minimal curve in the biliaison class
- minimalCurve(Module) -- generates a minimal curve in the biliaison class
- minimalCurveBetti -- computes the Betti diagram of the minimal curve
- minimalCurveBetti(Curve) -- computes the Betti diagram of the minimal curve
- minimalCurveBetti(Ideal) -- computes the Betti diagram of the minimal curve
- minimalCurveBetti(Module) -- computes the Betti diagram of the minimal curve
- net(CubicSurface) -- displays the ideal of the CubicSurface
- net(Curve) -- displays the ideal of the curve
- net(Divisor) -- displays the coordinates of the Divisor
- net(QuadricSurface) -- displays the ideal of the QuadricSurface
- net(QuarticSurfaceRational) -- displays the ideal of the QuarticSurfaceRational
- positiveChars -- generates all positive characters of a given degree
- positiveChars(ZZ) -- generates all positive characters of a given degree
- positiveChars(ZZ,ZZ) -- generates all positive characters of a given degree
- QuadricSurface -- type of HashTable
- quadricSurface -- creates a QuadricSurface
- quadricSurface(Ring) -- creates a QuadricSurface
- QuarticSurfaceRational -- type of HashTable
- quarticSurfaceRational -- creates a QuarticSurfaceRational
- quarticSurfaceRational(Ring) -- creates a QuarticSurfaceRational
- randomDeterminantalIdeal -- produces a random determinantal ideal
- randomDeterminantalIdeal(Ring,Matrix) -- produces a random determinantal ideal
- raoModule -- computes the Rao module of a curve
- raoModule(Curve) -- computes the Rao module of a curve
- raoModule(Ideal) -- computes the Rao module of a curve
- smoothDivisors -- produces a list of smooth divisors of a given degree on a surface
- smoothDivisors(ZZ,CubicSurface) -- produces a list of smooth divisors of a given degree on a surface
- smoothDivisors(ZZ,QuadricSurface) -- produces a list of smooth divisors of a given degree on a surface
- smoothDivisors(ZZ,QuarticSurfaceRational) -- produces a list of smooth divisors of a given degree on a surface
- smoothDivisors(ZZ,ZZ) -- produces a list of smooth divisors of given degree and genus
- smoothDivisors(ZZ,ZZ,Ring) -- produces a list of smooth divisors of given degree and genus
- SpaceCurves -- generation of space curves
- specializeACMBetti -- lists all 1-specialization of a Betti table of an ACM curve
- specializeACMBetti(BettiTally) -- lists all 1-specialization of a Betti table of an ACM curve
- Surface -- key of Divisor
- surface -- the surface key of a Divisor or a Curve
- surface(Curve) -- the surface key of a Divisor or a Curve
- surface(Divisor) -- the surface key of a Divisor or a Curve
- ZZ * Divisor -- multiply a Divisor by an integer