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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
-- -*- coding: utf-8 -*-
------------------------------------------------------------------------------
-- Copyright 2021 Gregory G. Smith
--
-- This program is free software: you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the Free
-- Software Foundation, either version 3 of the License, or (at your option)
-- any later version.
--
-- This program is distributed in the hope that it will be useful, but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
-- more details.
--
-- You should have received a copy of the GNU General Public License along
-- with this program. If not, see <http://www.gnu.org/licenses/>.
------------------------------------------------------------------------------
newPackage(
"SimplicialComplexes",
Version => "2.0",
Date => "7 May 2022",
Authors => {
{Name => "Gregory G. Smith",
Email => "ggsmith@mast.queensu.ca",
HomePage => "http://www.mast.queensu.ca/~ggsmith"},
{Name => "Ben Hersey",
Email => "b.hersey@queensu.ca"},
{Name => "Alexandre Zotine",
Email => "18az45@queensu.ca"}
},
Headline => "exploring abstract simplicial complexes within commutative algebra",
Keywords => {"Combinatorial Commutative Algebra"},
PackageExports => { "Polyhedra" },
AuxiliaryFiles => true,
DebuggingMode => true
)
export {
-- types
"SimplicialComplex",
"SimplicialMap",
-- methods
"algebraicShifting",
"barycentricSubdivision",
"boundaryMap",
"buchbergerSimplicialComplex",
"buchbergerResolution",
"connectedComponents",
"elementaryCollapse",
"flagfVector",
"inducedSubcomplex",
"isProper",
"link",
"lyubeznikSimplicialComplex",
"lyubeznikResolution",
"scarfSimplicialComplex",
"scarfChainComplex",
"star",
"simplexComplex",
"simplicialComplex",
"taylorResolution",
"wedge",
-- special constructors
"bartnetteSphereComplex",
"bjornerComplex",
"dunceHatComplex",
"grunbaumBallComplex",
"kleinBottleComplex",
"nonPiecewiseLinearSphereComplex",
"poincareSphereComplex",
"realProjectiveSpaceComplex",
"rudinBallComplex",
"smallManifold",
"zieglerBallComplex",
-- symbol
"Multigrading",
"Labels"
}
importFrom("GenericInitialIdeal", {"gin", "Multigraded"})
------------------------------------------------------------------------------
-- CODE
------------------------------------------------------------------------------
load "SimplicialComplexes/Code.m2"
------------------------------------------------------------------------------
-- DOCUMENTATION
------------------------------------------------------------------------------
beginDocumentation()
load "SimplicialComplexes/Documentation.m2"
------------------------------------------------------------------------------
-- TESTS
------------------------------------------------------------------------------
load "SimplicialComplexes/Tests.m2"
end---------------------------------------------------------------------------
------------------------------------------------------------------------------
-- SCRATCH SPACE
------------------------------------------------------------------------------
-- XXX
uninstallPackage "SimplicialComplexes";
restart
installPackage "SimplicialComplexes"
check SimplicialComplexes
needsPackage "SimplicialComplexes";
|
