MatFacCurvesP4 : Index

• alexanderSurface -- construct an Alexander surface
• alexanderSurface(Ring) -- construct an Alexander surface
• arisingMatFac -- shape of the arising matrix factorization assuming all possible cancellations
• arisingMatFac(BettiTally,ZZ) -- shape of the arising matrix factorization assuming all possible cancellations
• auxiliarLineBundle -- restriction of Omega(1) to a curve
• auxiliarLineBundle(Ideal,Ideal) -- restriction of Omega(1) to a curve
• candidateTables -- Betti candidates for a given shape of a matrix factorization
• candidateTables(BettiTally,ZZ) -- Betti candidates for a given shape of a matrix factorization
• candidateTablesWithIrrelevantIdealAssociated -- Betti candidates with pd=5 for a given shape of a matrix factorization
• candidateTablesWithIrrelevantIdealAssociated(BettiTally,ZZ) -- Betti candidates with pd=5 for a given shape of a matrix factorization
• curveGenus12Degree14InP4 -- curve in P^4 of genus 12 and degree 14
• curveGenus12Degree14InP4(Ring) -- curve in P^4 of genus 12 and degree 14
• curveGenus13Degree15InP4 -- curve in P^4 of genus 13 and degree 15
• curveGenus13Degree15InP4(Ring) -- curve in P^4 of genus 13 and degree 15
• curveOnAlexanderSurface -- curves on the Alexander surface
• curveOnAlexanderSurface(Ring,ZZ,ZZ) -- curves on the Alexander surface
• h1NormalBundle -- computes h^1 of the normal sheaf
• h1NormalBundle(Ideal,Ideal) -- computes h^1 of the normal sheaf
• idealFromMatFac -- the ideal of a curve constructed from a matrix factorization
• idealFromMatFac(Matrix,BettiTally) -- the ideal of a curve constructed from a matrix factorization
• isInBoijSoederbergCone -- check whether a Betti table is in the Boij-Soederberg cone
• isInBoijSoederbergCone(BettiTally) -- check whether a Betti table is in the Boij-Soederberg cone
• isSmoothCurve -- check whether an ideal defines a smooth curve
• isSmoothCurve(Ideal) -- check whether an ideal defines a smooth curve
• linSysAlexander -- linear systems giving rise to curves of genus >= 16 on the Alexander surface
• linSysAlexander(ZZ,ZZ) -- linear systems giving rise to curves of genus >= 16 on the Alexander surface
• listOfPossibleMatFac -- different shapes of the same matrix factorization
• listOfPossibleMatFac(BettiTally,ZZ) -- different shapes of the same matrix factorization
• MatFacCurvesP4 -- Matrix factorizations and curves in P^4
• matrixFactorizationFromModule -- a matrix factorization induced by a quotient ring on a supporting hypersurface
• matrixFactorizationFromModule(Ideal) -- a matrix factorization induced by a quotient ring on a supporting hypersurface
• matrixFactorizationFromModule(Module) -- a matrix factorization induced by a quotient ring on a supporting hypersurface
• precompiledListOfCandidates -- list of Betti candidates for curve of genus g >= 16
• precompiledListOfCandidates(ZZ) -- list of Betti candidates for curve of genus g >= 16
• properTransformAlexander -- proper transform on the Alexander surface
• properTransformAlexander(Ring,List,List) -- proper transform on the Alexander surface
• randomCurveGenus10Degree13InP4 -- general curve in P^4 of genus 10 and degree 13
• randomCurveGenus10Degree13InP4(Ring) -- general curve in P^4 of genus 10 and degree 13
• randomCurveGenus12Degree14InP4 -- general curve in P^4 of genus 12 and degree 14
• randomCurveGenus12Degree14InP4(Ring) -- general curve in P^4 of genus 12 and degree 14
• randomGenus12Degree8CoverOfP1 -- general canonical curve of genus 12 with a g^1_8
• randomGenus12Degree8CoverOfP1(Ring) -- general canonical curve of genus 12 with a g^1_8
• singularCurveInP4 -- nodal curve in P^4 of genus g and degree d
• singularCurveInP4(Ring,ZZ,ZZ) -- nodal curve in P^4 of genus g and degree d
• verifyAssertionsOfThePaper -- print commands to verify the assertions of the paper
• verifyAssertionsOfThePaper(ZZ) -- print commands to verify the assertions of the paper