smoothCanonicalCurveGenus15 -- Computes the ideal of canonical curve of genus 15

Synopsis

Usage:

smoothCanonicalCurveGenus15(p)
Inputs:
- p, an integer, the characteristic
Optional inputs:
- Details => ..., default value false, keeps track of the precise step in the construction of canonical genus 14 and 15 curves. Default value is "false".
- Printing => ..., default value false, displays information about the current step in the constructions. Default value is "false".
Outputs:
- ICan, an ideal, the ideal of a (smooth) canonical curve of genus g over a field with characteristic p

Description

Computes a smooth canonical curve of genus g over a field of characteristc p. The construction uses matrixfactorizations and we catch the steps which do not work out for very small characteristic. The whole construction is based on the Macaulay2 package "MatFac15"

If the option Printing is set to true then printings about the current step in the construction are displayed.

Ways to use smoothCanonicalCurveGenus15 :

smoothCanonicalCurveGenus15(ZZ)

For the programmer

The object smoothCanonicalCurveGenus15 is a method function with options.

smoothCanonicalCurveGenus15 -- Computes the ideal of canonical curve of genus 15

Synopsis

Description

See also

Ways to use smoothCanonicalCurveGenus15 :

For the programmer