MatFac15 : Table of Contents
- MatFac15 -- Constructions of curves of genus 15
- allCandidates -- compute the 39 integral points in the Boij-Soederberg
- attempts -- optional argument in randomCurvesOfGenus15
- BSCandidates -- compute Boij-Soederberg points in the cone of resolution which could lead to the given a matrix factorization
- certify -- optional argument in randomCurvesOfGenus15
- constructEx1 -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx2 -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx3 -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx4 -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx5 -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx6 -- randomly choose a module N with Betti table as indicated in o4 below
- curveFromMatrixFactorization -- compute the curve C associated to the matrix factorization
- Hom0 -- compute the degree 0 part of a Hom group
- homomorphism0 -- compute the homomorphism corresponding to an element in Hom0
- isSmoothCurve -- check whether the ideal defines a smooth curve
- matrixFactorizationFromModule -- compute a matrix factorization from a module
- MCMapproximation -- compute the MCM approximation
- printTimings (missing documentation)
- randomCurveOfGenus15 -- choose randomly a curve of genus 15
- randomKRationalPoint -- Pick a random K rational point on the scheme X defined by I
- tangentKernelDimension -- compute the dimension of the kernel of the tangent map
- verifyAllAssertionsOfThePaper -- print commands to verfy the assertions of the paper