[Next][Prev] [_____] [Left] [Up] [Index] [Root] 
LISTS OF GRADED RINGS




  
Acknowledgements
  
Introduction

  
Generating Hilbert series

  
Lists of K3 surfaces

      Making lists

      K3 surfaces and projections

      Searching the Database Graphs

  
Bibliography








DETAILS
  
Introduction

      K3WhoIs(G,X) : GrphDir, VSrfK3 -> GrphVert

      Example GrdRng_gr-k3surface (H99E1)

      K3Print(G) : GrphDir -> K3Print(X) : GrphVert -> K3Print(p) : GrphEdge ->

      K3Print(G,n) : GrphDir, RngIntElt ->

      K3PrintDatabase(G) : GrphDir ->


  
Generating Hilbert series

      Example GrdRng_gr-genus4curve (H99E2)

      HilbertFunction(p,V) : RngUPolElt, SeqEnum -> UserProgram

      HilbertSeries(p,V) : RngUPolElt, SeqEnum -> FldFunRatUElt

      HilbertSeriesMultipliedByMinimalDenominator(p,V) : RngUPolElt, SeqEnum -> RngUPolElt, SeqEnum

      HilbertNumerator(g, D) : FldFunRatUElt, SeqEnum -> FldFunRatUElt

      FindFirstGenerators(g) : FldFunRatUElt -> SeqEnum

      Example GrdRng_gr-grfirstgens (H99E3)


  
Lists of K3 surfaces


      Making lists

            Example GrdRng_gr-k3list (H99E4)

            K3BuildDatabaseGraph(g) : RngIntElt -> GrphDirK3BuildDatabaseGraph(g,r) : RngIntElt, RngIntElt -> GrphDirK3BuildDatabaseGraph(g,B) : RngIntElt, SeqEnum -> GrphDir

            K3Baskets(n) : RngIntElt -> SeqEnum

            K3BuildDatabaseGraph(V,E) : SeqEnum, SeqEnum -> GrphDir

            K3SaveData(F,G) : MonStgElt, GrphDir ->

            Example GrdRng_gr-saveload (H99E5)

            K3Subgraph(G,V) : GrphDir, SeqEnum -> GrphDir

            K3ProjectionSubgraph(X) : GrphVert -> GrphDir


      K3 surfaces and projections

            Example GrdRng_gr-k3view (H99E6)

            K3Surface(G,n) : GrphDir, RngIntElt -> GrphVert

            K3Surfaces(G) : GrphDir -> SeqEnum

            K3Projections(G) : GrphDir -> SeqEnum

            K3Genus(X) : GrphVert -> RngIntElt

            K3Basket(X) : GrphVert -> SeqEnum

            K3Index(Q) : SeqEnum -> RngIntElt

            K3Degree(X) : GrphVert -> RngIntElt

            K3SingularRank(X) : GrphVert -> RngIntElt

            K3Weights(X) : GrphVert -> RngIntElt

            K3Codimension(X) : GrphVert -> RngIntElt

            K3HilbertSeries(X) : GrphVert -> FldFunRatUElt

            K3HilbertNumerator(X) : GrphVert -> RngUPolElt

            K3AFRNumber(X) : GrphVert -> RngIntElt

            K3Number(X) : GrphVert -> RngIntElt

            K3Projections(X) : GrphVert -> SeqEnum

            K3Unprojections(X) : GrphVert -> SeqEnum

            K3ProjectionCodomains(X) : GrphVert -> SeqEnum

            K3UnprojectionDomains(X) : GrphVert -> SeqEnum

            K3Height(X) : GrphVert -> RngIntElt

            K3Coheight(X) : GrphVert -> RngIntElt

            K3ProjectionPaths(X) : GrphVert -> SeqEnum

            K3FibrationCentres(X) : GrphVert -> SeqEnum

            K3Domain(p) : GrphEdge -> GrphVert

            K3Codomain(p) : GrphEdge -> GrphVert

            K3Type(p) : GrphEdge -> RngIntElt

            K3Centre(p) : GrphEdge -> SeqEnum

            K3RelativeCodimension(p) : GrphEdge -> RngIntElt


      Searching the Database Graphs

            Example GrdRng_gr-grsearch (H99E7)

            K3SearchWeights(G,Q) : GrphDir, SeqEnum -> GrphVert

            K3SearchInWeights(G,Q) : GrphDir, SeqEnum -> SeqEnum

            K3SearchCodimension(G,n) : GrphDir, RngIntElt -> SeqEnum


  
Bibliography