Introduction and First Examples
Affine and Projective Spaces
AffineSpace(k,n) : Rng,RngIntElt -> Aff
ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
AffineSpace(R) : RngMPol -> Aff
ProjectiveSpace(R) : RngMPol -> Prj
AssignNames(~A,N) : Sch,[MonStgElt] ->
A . i : Sch,RngIntElt -> RngMPolElt
Example Scheme_affine-space-names (H92E1)
A eq B : Sch,Sch -> BoolElt
Scrolls and Products
DirectProduct(A,B) : Sch,Sch -> Sch,SeqEnum
RuledSurface(k,a,b) : Rng,RngIntElt,RngIntElt -> PrjScrl
RuledSurface(k,n) : Rng,RngIntElt -> PrjScrl
AbsoluteRationalScroll(k,N) : Rng,SeqEnum -> PrjScrl
ProductProjectiveSpace(k,N) : Rng,SeqEnum -> PrjScrl
Functions and Homogeneity on Ambient Spaces
CoordinateRing(A) : Sch -> Rng
FunctionField(A) : Sch -> FldFunG
IsAmbientFunction(A,f) : Sch,RngElt -> BoolElt, RngElt
IsAmbientRationalFunction(A,f) : Sch,RngElt -> BoolElt
Gradings(X) : Sch -> SeqEnum
NumberOfGradings(X) : Sch -> RngIntElt
NumberOfCoordinates(X) : Sch -> RngIntElt
Lengths(X) : Sch -> [RngIntElt]
IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt
Multidegree(X,f) : Sch,RngMPolElt -> SeqEnum
Prelude to Points
A ! [a,b,...] : Sch,[RngElt] -> Pt
Example Scheme_schemes-points-example1 (H92E2)
Origin(A) : Aff -> Pt
Simplex(A) : Prj -> SeqEnum
Coordinates(p) : Pt -> SeqEnum
p[i] : Pt, RngIntElt -> RngElt
Evaluate(f,p) : RngElt,Pt -> RngElt
Example Scheme_evaluate-funfld-example (H92E3)
Constructing Schemes
Scheme(X,f) : Sch,RngMPolElt -> Sch
Example Scheme_schemes-creation (H92E4)
Spec(R) : RngMPolRes -> Sch,Aff
Proj(R) : RngMPolRes -> Sch,Prj
EmptySubscheme(X) : Sch -> Sch, MapSch
X meet Y : Sch,Sch -> Sch
X join Y : Sch,Sch -> Sch
Difference(X, Y) : Sch, Sch -> Sch
Example Scheme_remove (H92E5)
AssignNames(~X,N) : Sch,SeqEnum ->
X . i : Sch,RngIntElt -> RngMPolElt
Different Types of Scheme
IsAffine(X) : Sch -> BoolElt
IsProjective(X) : Sch -> BoolElt
IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
IsAmbient(X) : Sch -> BoolElt
IsCluster(X) : Sch -> BoolElt,Clstr
IsCurve(X) : Sch -> BoolElt,Crv
IsConic(X) : Sch -> BoolElt,CrvCon
IsRationalCurve(X) : Sch -> BoolElt,CrvRat
Functions of the Ambient Space
AmbientSpace(X) : Sch -> Sch
SuperScheme(X) : Sch -> Sch
BaseRing(X) : Sch -> Rng
CoefficientRing(X) : Sch -> Fld
IsAffine(X) : Sch -> BoolElt
IsProjective(X) : Sch -> BoolElt
IsOrdinaryProjective(X) : Sch -> BoolElt
Functions of the Equations
DefiningPolynomials(X) : Sch -> SeqEnum
DefiningPolynomial(X) : Sch -> RngMPolElt
DefiningIdeal(X) : Sch -> RngMPol
CoordinateRing(X) : Sch -> RngMPol
Curve(X) : Sch -> Crv
GroebnerBasis(X) : Sch -> SeqEnum
MinimalBasis(X) : Sch -> [ RngMPolElt ]
IsHypersurface(X) : Sch -> BoolElt, RngMPolElt
JacobianIdeal(X) : Sch -> RngMPol
JacobianMatrix(X) : Sch -> ModMatRngElt
HessianMatrix(X) : Sch -> ModMatRngElt
X eq Y : Sch,Sch -> BoolElt
X subset Y : Sch,Sch -> BoolElt
Example Scheme_scheme-equality (H92E6)
Elements of Coordinate Rings and Function Fields
IntegralSplit(f, X) : FldFunGElt, Sch -> MPolElt, MPolElt
Numerator(f, X) : FldFunGElt, Sch -> MPolElt
Denominator(f, X) : FldFunGElt, Sch -> MPolElt
Example Scheme_scheme_fld_fun_elt (H92E7)
AlgebraicFunction(X, num, den) : Sch, MPolElt, MPolElt -> FldElt
Restriction(f, X, Y) : FldFunGElt, Sch, Sch -> FldFunGElt
GenericPoint(X) : Sch -> Pt
Rational Points and Point Sets
X(L) : Sch,Rng -> SetPt
P eq Q : SetPt,SetPt -> BoolElt
Scheme(P) : SetPt -> Sch
Curve(P) : SetPt -> Crv
Ring(P) : SetPt -> Rng
RingMap(P) : SetPt -> Map
X ! Q : Sch,SeqEnum -> Pt
p eq q : Pt,Pt -> BoolElt
p in X : Pt,Sch -> BoolElt
Scheme(p) : Pt -> Sch
Curve(p) : Pt -> Crv
Q in X : SeqEnum,Sch -> BoolElt
S subset X : Setq,Sch -> BoolElt
IsCoercible(X,Q) : Sch,SeqEnum -> BoolElt,Pt
RationalPoints(X) : Sch -> SetIndx
RationalPoints(X) : Sch -> SetIndx
HasNonsingularPoint(X) : Sch -> BoolElt,Pt
Example Scheme_scheme-points (H92E8)
Zero-dimensional Schemes
Scheme(p) : Pt -> Sch
RationalPoints(Z) : Sch -> SetEnum
PointsOverSplittingField(Z) : Clstr -> SetEnum
HasPointsOverExtension(X) : Sch -> BoolElt
Degree(Z) : Clstr -> RngIntElt
Example Scheme_cluster-degree5 (H92E9)
Point conditions
IsSingular(p) : Sch,Pt -> BoolElt
IsNonsingular(p) : Sch,Pt -> BoolElt
IsOrdinarySingularity(p) : Sch,Pt -> BoolElt
Point computations
Multiplicity(p) : Sch,Pt -> RngIntElt
TangentSpace(p) : Sch,Pt -> Sch
TangentCone(p) : Sch,Pt -> Sch
Global Geometry of Schemes
Dimension(X) : Sch -> RngIntElt
Codimension(X) : Sch -> RngIntElt
Degree(X) : Sch -> RngIntElt
ArithmeticGenus(X) : Sch -> RngIntElt
IsEmpty(X) : Sch -> BoolElt
IsNonsingular(X) : Sch -> BoolElt
IsSingular(X) : Sch -> BoolElt
SingularSubscheme(X) : Sch -> Sch
PrimeComponents(X) : Sch -> SeqEnum
PrimaryComponents(X) : Sch -> SeqEnum
ReducedSubscheme(X) : Sch -> Sch, MapSch
IsIrreducible(X) : Sch -> BoolElt
IsReduced(X) : Sch -> BoolElt
Example Scheme_schemes-prime-components (H92E10)
Base Change for Schemes
BaseChange(A,K) : Sch,Rng -> Sch
BaseChange(A,m) : Sch, Map -> Sch
BaseChange(F,K) : SeqEnum,Rng -> SeqEnum
BaseChange(X,A) : Sch,Sch -> Sch
BaseChange(X, n) : Sch, RngIntElt -> Sch
Example Scheme_base-change-schemes (H92E11)
Affine Patches and Projective Closure
ProjectiveClosure(X) : Sch -> Sch
AffinePatch(X,i) : Sch,RngIntElt -> Sch
AffinePatch(X,p) : Sch,Pt -> Sch,Pt
IsStandardAffinePatch(A) : Aff -> BoolElt, RngIntElt
Example Scheme_projective-closure (H92E12)
Example Scheme_projective-closure-incorrect (H92E13)
HyperplaneAtInfinity(X) : Sch -> Sch
ProjectiveClosureMap(A) : Aff -> MapSch
AffineDecomposition(P) : Prj -> [MapSch],Pt
CentredAffinePatch(S, p) : Sch, Pt -> Sch, MapSch
Schemes over Number Fields
IsEmpty(Xm) : SetPt -> BoolElt, Pt
Example Scheme_anf1 (H92E14)
Example Scheme_anf2 (H92E15)
IsLocallySolvable(X, p) : Sch, RngOrdIdl -> BoolElt, Pt
Example Scheme_anf-local-solv (H92E16)
LiftPoint(P, n) : Pt, RngIntElt -> Pt
Example Scheme_anf_lift (H92E17)
Creation of Maps
map< X -> Y | F > : Sch,Sch,SeqEnum -> MapSch
iso< X -> Y | F, G > : Sch,Sch,SeqEnum,SeqEnum -> MapAutSch
Example Scheme_map-creation (H92E18)
Example Scheme_map-frobenius (H92E19)
IdentityMap(X) : Sch -> MapSch
ConstantMap(X,Y,p) : Sch,Sch,Pt -> MapSch
Projection(X,Y) : Prj,Prj -> MapSch
Projection(X, Q) : Sch, Prj -> Sch, MapSch
ProjectionFromNonsingularPoint(X,p) : Sch,Pt -> Sch,MapSch,Sch
ProjectiveMap(L, X, Y) : [FldFunGElt], Sch, Sch -> MapSch
ProjectiveMap(f, X, Y) : FldFunGElt, Sch, Sch -> MapSch
Example Scheme_map-creation-prj (H92E20)
Elimination(X,V) : Sch,SeqEnum -> Sch
Inverse(f) : MapSch -> MapSch
IsInvertible(f) : MapSch -> Bool, MapSch
Example Scheme_map_creation_inv (H92E21)
g * f : MapSch,MapSch -> MapSch
Components(f) : Map -> [Map]
Example Scheme_map-error (H92E22)
Example Scheme_hom-spaces (H92E23)
Restriction(f,X,Y) : MapSch,Sch,Sch -> MapSch
Expand(phi) : MapSch -> MapSch
Extend(phi) : MapSch -> MapSch
Prune(phi) : MapSch -> MapSch
Example Scheme_map_creation-comp_alt (H92E24)
Trivial Attributes
Domain(f) : MapSch -> Sch
Codomain(f) : MapSch -> Sch
DefiningPolynomials(f) : MapSch -> SeqEnum
FactoredDefiningPolynomials(f) : MapSch -> SeqEnum
InverseDefiningPolynomials(f) : MapSch -> SeqEnum
FactoredInverseDefiningPolynomials(f) : MapSch -> SeqEnum
AllDefiningPolynomials(f) : MapSch -> SeqEnum
AllInverseDefiningPolynomials(f) : MapSch -> SeqEnum
AlgebraMap(f) : MapSch -> Map
FunctionDegree(f) : MapSch -> RngIntElt
Basic Tests
f eq g : MapSch, MapSch -> BoolElt
IsRegular(f) : MapSch -> BoolElt
IsIsomorphism(f) : MapSch -> BoolElt, IsoSch
IsDominant(f) : AmbMap -> BoolElt
IsLinear(f) : MapSch -> BoolElt
IsAffineLinear(f) : MapSch -> BoolElt
Maps and Points
f(p) : MapSch,Pt -> Pt
p @@ f : Pt,MapSch -> Pt
f(K) : MapSch,Rng -> Map
Example Scheme_maps-point-image (H92E25)
Maps and Schemes
X @@ f : Sch, MapSch -> Sch
Image(f) : MapSch -> Sch
Image(f,X,d) : AmbProjMap,SchProj,RngIntElt -> []
Example Scheme_map-image1 (H92E26)
Example Scheme_map-image2 (H92E27)
BaseScheme(f) : MapSch -> Sch
BasePoints(f) : MapSch -> SetEnum
Example Scheme_map-base-points (H92E28)
Example Scheme_scroll-map-base-points (H92E29)
Maps and Closure
ProjectiveClosure(f) : MapSch -> MapSch
MakeProjectiveClosureMap(A, P, S) : Aff,Prj,SeqEnum ->
RestrictionToPatch(f,j) : MapSch,RngIntElt -> MapSch
RestrictionToPatch(f,i,j) : MapSch,RngIntElt,RngIntElt -> MapSch
Example Scheme_map-patches (H92E30)
Automorphisms
Automorphism(X,F) : Sch,SeqEnum -> MapAutSch
IdentityAutomorphism(X) : Sch -> MapAutSch
IsEndomorphism(f) : MapSch -> BoolElt
IsAutomorphism(f) : MapSch -> BoolElt,AutSch
Example Scheme_automorphism-construction (H92E31)
Example Scheme_aut-aff-jac (H92E32)
Affine Automorphisms
Automorphism(A,F) : Sch,SeqEnum -> MapSch
Automorphism(A,M) : Aff,Mtrx -> IsoSch
Translation(A,p) : Sch, Pt -> MapSch
PermutationAutomorphism(A,g) : Sch,GrpPermElt -> IsoSch
Example Scheme_aut-aff-perm (H92E33)
Automorphism(A,p) : Sch, RngMPolElt -> IsoSch
AffineDecomposition(f) : MapSch -> MapSch,MapSch
Example Scheme_decompose-automorphism (H92E34)
NagataAutomorphism(A) : Aff -> MapSch
Projectivity(A,M) : Aff,Mtrx -> MapAutSch
Example Scheme_projectivity (H92E35)
Projective Automorphisms
Automorphism(P,F) : Prj, SeqEnum -> MapSch
Matrix(f) : MapSch -> Mtrx
Automorphism(P,M) : Sch,Mtrx -> MapSch
Aut(P) : Prj -> PowAutSch
AutomorphismGroup(P) : P -> GrpMat,Map
Example Scheme_projective-automorphism-group (H92E36)
TranslationOfSimplex(P,Q) : Prj, [Pt] -> MapSch
Translation(P,Q) : Prj, [Pt] -> MapSch
Translation(P,p,q) : Prj, Pt, Pt -> MapSch
Translation(X,p) : Sch, Pt -> MapSch
Example Scheme_translation (H92E37)
QuadraticTransformation(P) : Prj -> MapSch
QuadraticTransformation(X) : Sch -> Sch, MapIsoSch
Example Scheme_cremona-factorisation (H92E38)
Tangent and Secant Varieties and Isomorphic Projections
Tangent Varieties
TangentVariety(X) : Sch -> Sch
IsInTangentVariety(X,P) : Sch,Pt -> BoolElt
Example Scheme_TangentVariety (H92E39)
Secant Varieties
SecantVariety(X) : Sch -> Sch
IsInSecantVariety(X,P) : Sch,Pt -> BoolElt
Example Scheme_SecantVariety (H92E40)
Isomorphic Projection To Subspaces
IsomorphicProjectionToSubspace(X) : Sch -> Sch, MapSch
EmbedPlaneCurveInP3(C) : Crv -> Sch, MapSch
Example Scheme_EmbeddingACurve (H92E41)
Explicit Creation
LinearSystem(P,d) : Prj,RngIntElt -> LinSys
LinearSystem(P,F) : Prj,SeqEnum -> LinSys
Example Scheme_linsys-construction (H92E42)
ImageSystem(f,S,d) : AmbProjMap,SchProj,RngIntElt -> LinSys
Example Scheme_image-finder (H92E43)
Geometrical Restrictions
LinearSystem(L,p) : LinSys,Pt -> LinSys
LinearSystem(L,p,m) : LinSys,Pt,RngIntElt -> LinSys
Example Scheme_subsystems (H92E44)
LinearSystem(L,X) : LinSys,Sch -> LinSys
LinearSystemTrace(L,X) : LinearSys,Sch -> LinearSys
Example Scheme_trace (H92E45)
Explicit Restrictions
LinearSystem(L,F) : LinSys,SeqEnum -> LinSys
LinearSystem(L,V) : LinSys,ModTupFld -> LinSys
Basic Algebra of Linear Systems
Tests for Linear Systems
Ambient(L) : LinSys -> Prj
L eq K : LinSys,LinSys -> BoolElt
IsComplete(L) : LinSys -> BoolElt
IsBasePointFree(L) : LinSys -> BoolElt
Geometrical Properties
Sections(L) : LinSys -> SeqEnum
Random(LS) : LinSys -> RngMPolElt
Degree(L) : LinSys -> RngIntElt
Dimension(L) : LinSys -> RngIntElt
BaseScheme(L) : LinSys -> SchProj
BaseComponent(L) : LinSys -> SchProj
Reduction(L) : LinSys -> LinSys
Example Scheme_ls-reduction (H92E46)
BasePoints(L) : LinSys -> SeqEnum
Multiplicity(L,p) : LinSys,Pt -> RngIntElt
Linear Algebra
CoefficientSpace(L) : LinSys -> ModTupFld
CoefficientMap(L) : LinSys -> ModTupFldElt
PolynomialMap(L) : LinSys -> RngMPolElt
Complement(L,K) : LinSys,LinSys -> LinSys
Complement(L,X) : LinSys,Sch -> LinSys
Example Scheme_creation-by-subspace (H92E47)
L meet K : LinSys,LinSys -> LinSys
X in L : Sch,LinSys -> BoolElt
f in L : RngMPolElt,LinSys -> BoolElt
K subset L : LinSys,LinSys -> BoolElt
Linear Systems and Maps
Pullback(f,L) : AmbProjMap,LinSys -> LinSys
A Pair of Twisted Cubics
Example Scheme_twisted-cubics (H92E48)