‣ IsToricSubvariety( M ) | ( category ) |
Returns: true or false
The GAP category of a toric subvariety. Every toric subvariety is a toric variety, so every method applicable to toric varieties is also applicable to toric subvarieties.
‣ IsClosed( vari ) | ( property ) |
Returns: true or false
Checks if the subvariety vari is a closed subset of its ambient variety.
‣ IsOpen( vari ) | ( property ) |
Returns: true or false
Checks if a subvariety is a closed subset.
‣ IsWholeVariety( vari ) | ( property ) |
Returns: true or false
Returns true if the subvariety vari is the whole variety.
‣ UnderlyingToricVariety( vari ) | ( attribute ) |
Returns: a variety
Returns the toric variety which is represented by vari. This method implements the forgetful functor subvarieties -> varieties.
‣ InclusionMorphism( vari ) | ( attribute ) |
Returns: a morphism
If the variety vari is an open subvariety, this method returns the inclusion morphism in its ambient variety. If not, it will fail.
‣ AmbientToricVariety( vari ) | ( attribute ) |
Returns: a variety
Returns the ambient toric variety of the subvariety vari
‣ ClosureOfTorusOrbitOfCone( vari, cone ) | ( operation ) |
Returns: a subvariety
The method returns the closure of the orbit of the torus contained in vari which corresponds to the cone cone as a closed subvariety of vari.
‣ ToricSubvariety( vari, ambvari ) | ( operation ) |
Returns: a subvariety
The method returns the closure of the orbit of the torus contained in vari which corresponds to the cone cone as a closed subvariety of vari.
generated by GAPDoc2HTML