- projective
- Projective Indecomposables
- projective-affine
- projective-automorphism-group
- projective-automorphisms
- projective-closure
- projective-closure-incorrect
- projective-covers
- projective-indecomposable-modules
- projective-plane
- projective-resolutions
- ProjectiveClasses
- ProjectiveClassicalClasses
- ProjectiveClosure
- ProjectiveClosureMap
- ProjectiveCover
- ProjectiveEmbedding
- ProjectiveFunction
- ProjectiveGammaLinearGroup
- ProjectiveGammaUnitaryGroup
- ProjectiveGeneralLinearGroup
- ProjectiveGeneralOrthogonalGroup
- ProjectiveGeneralOrthogonalGroupMinus
- ProjectiveGeneralOrthogonalGroupPlus
- ProjectiveGeneralUnitaryGroup
- ProjectiveIndecomposableDimensions
- ProjectiveIndecomposableModule
- ProjectiveIndecomposableModules
- Projectively
- ProjectiveMap
- ProjectiveModule
- ProjectiveOmega
- ProjectiveOmegaMinus
- ProjectiveOmegaPlus
- ProjectiveOrder
- ProjectivePlane
- ProjectiveRationalFunction
- ProjectiveResolution
- ProjectiveResolutionPGroup
- Projectives
- ProjectiveSigmaLinearGroup
- ProjectiveSigmaSymplecticGroup
- ProjectiveSigmaUnitaryGroup
- ProjectiveSpace
- ProjectiveSpaceAsToricVariety(k,n) : Fld,RngIntElt -> TorVar
- WeightedProjectiveSpace(k,n) : Fld,RngIntElt -> TorVar
- WPS(k,n) : Fld,RngIntElt -> TorVar
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
- ProjectiveSpace(k,n) : Rng,RngIntElt -> Prj
- ProjectiveSpace(R) : RngMPol -> Prj
- ProjectiveSpaceAsToricVariety
- ProjectiveSpaceAsToricVariety(k,n) : Fld,RngIntElt -> TorVar
- WeightedProjectiveSpace(k,n) : Fld,RngIntElt -> TorVar
- WPS(k,n) : Fld,RngIntElt -> TorVar
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- ProjectiveSpecialLinearGroup
- ProjectiveSpecialOrthogonalGroup
- ProjectiveSpecialOrthogonalGroupMinus
- ProjectiveSpecialOrthogonalGroupPlus
- ProjectiveSpecialUnitaryGroup
V2.28, 13 July 2023