- Supported
- Supporting
- SupportingCone
- Supremum
- Surface
- ClassicalCovariantsOfCubicSurface(f) : RngMPolElt -> SeqEnum
- ClassifyRationalSurface(S) : Srfc -> Srfc, List, MonStgElt
- ContravariantsOfCubicSurface(f) : RngMPolElt -> SeqEnum
- CubicSurfaceByHexahedralCoefficients(p) : RngUPolElt -> RngMPolElt
- CubicSurfaceFromClebschSalmon(inv) : SeqEnum -> RngMPolElt
- DegreeTwoK3Surface(f) : RngMPolElt -> Srfc
- DelPezzoSurface(P,L) : Prj,List -> SrfDelPezzo
- DelPezzoSurface(f) : RngMPolElt -> SrfDelPezzo
- DesingulariseSurfaceByBlowUp(S) : Srfc -> List
- FormallyResolveProjectiveHyperSurface(S): Srfc -> List, RngIntElt
- HirzebruchSurface(k,n) : Fld, RngIntElt -> TorVar
- IsGorensteinSurface(B) : GRBskt -> BoolElt
- IsGorensteinSurface(p) : GRPtS -> BoolElt
- IsIsomorphicCubicSurface(f,g) : MPolElt, MPolElt -> BoolElt, List
- IsSimpleSurfaceSingularity(p) : Pt -> BoolElt, MonStr, RngIntElt
- K3Surface(D,i) : DB,RngIntElt -> GRK3
- K3Surface(D,g,B) : DB,RngIntElt,GRBskt -> GRK3
- K3Surface(D,g,i) : DB,RngIntElt,RngIntElt -> GRK3
- K3Surface(D,g1,g2,i) : DB,RngIntElt,RngIntElt,RngIntElt -> GRK3
- K3Surface(D,W) : DB,SeqEnum -> GRK3
- K3Surface(D,Q,i) : DB,SeqEnum,RngIntElt -> GRK3
- K3Surface(x) : Rec -> GRK3
- K3Surface(g,B) : RngIntElt,GRBskt -> GRK3
- K3Surface(x) : Tup -> GRK3
- K3SurfaceRaw(D,i) : DB,RngIntElt -> Tup
- K3SurfaceToRecord(X) : GRK3 -> Rec
- KummerSurface(J) : JacHyp -> SrfKum
- KummerSurfaceScheme(C) : CrvHyp -> Srfc
- MinimalModelRationalSurface(S) : Srfc -> Map
- MinimalModelRuledSurface(S) : Srfc -> Map
- MinimizeCubicSurface(f, p) : RngMPolElt, RngIntElt -> RngMPolElt, Mtrx
- MinimizeReduceCubicSurface(f) : MPolElt -> RngMPolElt, Mtrx
- NumberOfPointsOnCubicSurface(f) : RngMPolElt -> RngIntElt, RngIntElt
- NumberOfPointsOnSurface(E, e) : CrvEll, RngIntElt -> RngIntElt
- NumbersOfPointsOnDegree2K3Surface(f6,p,d) : RngMPolElt, RngIntElt, RngIntElt -> SeqEnum
- NumbersOfPointsOnSurface(E, e) : CrvEll, RngIntElt -> [ RngIntElt ], [ RngIntElt ]
- ParametrizeProjectiveSurface(X, P2) : Srfc, Prj -> BoolElt, MapSch
- RandomAbelianSurface_d10g6(P) : Prj -> Srfc
- RandomEnriquesSurface_d9g6(P) : Prj -> Srfc
- RandomRationalSurface_d10g9(P) : Prj -> Srfc
- RationalRuledSurface(P,n) : Prj, RngIntElt -> Srfc, MapSch
- ReduceCubicSurface(f) : RngMPolElt -> RngMPolElt, Mtrx
- ResolveAffineMonicSurface(s) : RngUPolElt -> List, RngIntElt
- ResolveSingularSurface(S) : Srfc -> List, RngIntElt
- RichelotIsogenousSurface(J, kernel) : JacHyp, RngUPolElt[RngUPolRes] -> .
- RiemannSurface(D) : DivRieSrfElt -> RieSrf
- RiemannSurface(P) : RieSrfPt -> RieSrf
- RiemannSurface(f) : RngMPolElt -> RieSrf
- RiemannSurface(f,sigma) : RngMPolElt, PlcNumElt -> RieSrf
- RiemannSurface(p,m) : RngUPolElt, RngIntElt -> RieSrf
- RiemannSurface(L,m) : SeqEnum[FldComElt], RngIntElt -> RieSrf
- RuledSurface(k,n) : Fld, RngIntElt -> TorVar
- RuledSurface(k,a1,a2) : Fld, RngIntElt, RngIntElt -> TorVar
- RuledSurface(k,n) : Rng,RngIntElt -> PrjScrl
- RuledSurface(k,n) : Rng,RngIntElt -> PrjScrl
- RuledSurface(k,a,b) : Rng,RngIntElt,RngIntElt -> PrjScrl
- Surface(A,I) : Sch, ModMPol -> Srfc
- WeilPolynomialOfDegree2K3Surface(f6) : RngMPolElt -> RngUPolElt, RngUPolElt
- Surfaces
- surfaces
- SuRing
- Surjective
V2.28, 13 July 2023