-
Notifications
You must be signed in to change notification settings - Fork 0
/
TropicalToric.m2
85 lines (73 loc) · 2.02 KB
/
TropicalToric.m2
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
newPackage(
"TropicalToric",
Version => "1.0",
Date => "May 2022",
Authors => {
{
Name => "Alessio Borzì",
Email => "Alessio.Borzi@warwick.ac.uk",
HomePage=>"https://alessioborzi.github.io"
}
},
Headline => "A package on tropical methods for toric intersection theory",
Configuration => {},
PackageExports => {
"NormalToricVarieties",
"Tropical",
"Package$gfanInterface"
},
PackageImports => {
"FourierMotzkin"
},
DebuggingMode => true,
AuxiliaryFiles => true,
CacheExampleOutput => true,
OptionalComponentsPresent => true,
UseCachedExampleOutput => true
)
export{
--types
"ToricCycle",
--functions / methods
"toricCycle",
"makeTransverse",
"isTransverse",
"degCycle",
"toricDivisorFromCycle",
"refineMultiplicity",
"pushforwardMultiplicity",
"poincareMatrix",
"poincareDuality",
"classFromTropical",
"classWonderfulCompactification",
"torusIntersection",
"classFromTropicalCox",
"polymakeConeContains",
--symbols
"PoincareMatrix"
}
protect maxRayList;
protect cycleSupport;
protect PicardBases;
protect RaysMatrix;
protect RaysMatrixRank;
------------------------------------------------------------------------------
-- CODE
------------------------------------------------------------------------------
load "TropicalToric/ToricCycle.m2";
load "TropicalToric/ToricPullback.m2";
load "TropicalToric/TropicalToricCode.m2";
load "TropicalToric/polymakeContains.m2";
------------------------------------------------------------------------------
-- DOCUMENTATION
------------------------------------------------------------------------------
beginDocumentation()
load "TropicalToric/ToricCycleDoc.m2";
load "TropicalToric/TropicalToricDoc.m2";
load "TropicalToric/polymakeContainsDoc.m2";
------------------------------------------------------------------------------
-- TESTS
------------------------------------------------------------------------------
load "TropicalToric/ToricCycleTest.m2";
load "TropicalToric/TropicalToricTest.m2";
end