| ‣ 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