MatFac15 : Index
- allCandidates -- compute the 39 integral points in the Boij-Soederberg
- allCandidates(ZZ) -- 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
- BSCandidates(BettiTally,ZZ) -- 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
- constructEx1(PolynomialRing) -- 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
- constructEx2(PolynomialRing) -- 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
- constructEx3(PolynomialRing) -- 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
- constructEx4(PolynomialRing) -- 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
- constructEx5(PolynomialRing) -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx5(PolynomialRing,List) -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx5(PolynomialRing,ZZ) -- 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
- constructEx6(PolynomialRing) -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx6(PolynomialRing,List) -- randomly choose a module N with Betti table as indicated in o4 below
- constructEx6(PolynomialRing,ZZ) -- randomly choose a module N with Betti table as indicated in o4 below
- curveFromMatrixFactorization -- compute the curve C associated to the matrix factorization
- curveFromMatrixFactorization(Matrix,Matrix) -- compute the curve C associated to the matrix factorization
- Hom0 -- compute the degree 0 part of a Hom group
- Hom0(Module,Module) -- compute the degree 0 part of a Hom group
- homomorphism0 -- compute the homomorphism corresponding to an element in Hom0
- homomorphism0(Module,Module,Matrix) -- compute the homomorphism corresponding to an element in Hom0
- isSmoothCurve -- check whether the ideal defines a smooth curve
- isSmoothCurve(Ideal) -- check whether the ideal defines a smooth curve
- MatFac15 -- Constructions of curves of genus 15
- matrixFactorizationFromModule -- compute a matrix factorization from a module
- matrixFactorizationFromModule(Module) -- compute a matrix factorization from a module
- MCMapproximation -- compute the MCM approximation
- MCMapproximation(Module) -- compute the MCM approximation
- printTimings (missing documentation)
- randomCurveOfGenus15 -- choose randomly a curve of genus 15
- randomCurveOfGenus15(PolynomialRing) -- choose randomly a curve of genus 15
- randomKRationalPoint -- Pick a random K rational point on the scheme X defined by I
- randomKRationalPoint(Ideal) -- Pick a random K rational point on the scheme X defined by I
- tangentKernelDimension -- compute the dimension of the kernel of the tangent map
- tangentKernelDimension(Module,Matrix) -- compute the dimension of the kernel of the tangent map
- verifyAllAssertionsOfThePaper -- print commands to verfy the assertions of the paper