CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
1
2
4 Toric subvarieties
3
4
5
4.1 Toric subvarieties: Category and Representations
6
7
4.1-1 IsToricSubvariety
8
9
IsToricSubvariety( M )  Category
10
Returns: true or false
11
12
The GAP category of a toric subvariety. Every toric subvariety is a toric
13
variety, so every method applicable to toric varieties is also applicable to
14
toric subvarieties.
15
16
17
4.2 Toric subvarieties: Properties
18
19
4.2-1 IsClosed
20
21
IsClosed( vari )  property
22
Returns: true or false
23
24
Checks if the subvariety vari is a closed subset of its ambient variety.
25
26
4.2-2 IsOpen
27
28
IsOpen( vari )  property
29
Returns: true or false
30
31
Checks if a subvariety is a closed subset.
32
33
4.2-3 IsWholeVariety
34
35
IsWholeVariety( vari )  property
36
Returns: true or false
37
38
Returns true if the subvariety vari is the whole variety.
39
40
41
4.3 Toric subvarieties: Attributes
42
43
4.3-1 UnderlyingToricVariety
44
45
UnderlyingToricVariety( vari )  attribute
46
Returns: a variety
47
48
Returns the toric variety which is represented by vari. This method
49
implements the forgetful functor subvarieties -> varieties.
50
51
4.3-2 InclusionMorphism
52
53
InclusionMorphism( vari )  attribute
54
Returns: a morphism
55
56
If the variety vari is an open subvariety, this method returns the inclusion
57
morphism in its ambient variety. If not, it will fail.
58
59
4.3-3 AmbientToricVariety
60
61
AmbientToricVariety( vari )  attribute
62
Returns: a variety
63
64
Returns the ambient toric variety of the subvariety vari
65
66
67
4.4 Toric subvarieties: Methods
68
69
4.4-1 ClosureOfTorusOrbitOfCone
70
71
ClosureOfTorusOrbitOfCone( vari, cone )  operation
72
Returns: a subvariety
73
74
The method returns the closure of the orbit of the torus contained in vari
75
which corresponds to the cone cone as a closed subvariety of vari.
76
77
78
4.5 Toric subvarieties: Constructors
79
80
4.5-1 ToricSubvariety
81
82
ToricSubvariety( vari, ambvari )  operation
83
Returns: a subvariety
84
85
The method returns the closure of the orbit of the torus contained in vari
86
which corresponds to the cone cone as a closed subvariety of vari.
87
88
89