-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathinit.g
176 lines (150 loc) · 8.34 KB
/
init.g
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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
#############################################################################
##
#A init.g
##
#A This file is part of ZigZag <http://schmidt.nuigalway.ie/zigzag>.
##
#Y Copyright (C) 2010-2017 Götz Pfeiffer
##
## This is the init file of the ZigZag package.
##
#############################################################################
ZIGZAG:= rec();
ZIGZAG.Version:= "0.82";
ZIGZAG.Date:= "23-10-2019";
ReadPkg("zigzag", "dat", "admin");
#############################################################################
##
#R RequirePackage . . . . . . . . . . . . . . . . . . . . . . . . . require.
##
## Here is the list of packages which this package needs as prerequisites.
##
RequirePackage("monoid");
RequirePackage("chevie");
#############################################################################
##
#F InfoZigzag? . . . . . . . . . . . . . . . . . . . . . . . info functions.
##
if not IsBound(InfoZigzag1) then InfoZigzag1:= Ignore; fi;
if not IsBound(InfoZigzag2) then InfoZigzag2:= Ignore; fi;
#############################################################################
##
## print welcome message.
##
if BANNER then
Print("ZigZag Version ", ZIGZAG.Version, " (", ZIGZAG.Date, ").\n");
fi;
#############################################################################
##
#A AUTO . . . . . . . . . . . . . . . . . . . . . . . . . . . . auto reads.
##
AUTO( ReadPkg( "zigzag", "lib", "shapes" ), ShapeOps, Shape, IsShape,
NormalizerComplement, NormalizerParabolic, IsBulkyParabolic, BulkyShapes,
ShapesRank, Shapes, SubsetsShapes, ComplementsShapes, IncidenceMatShapes,
XCharacters, ParabolicTom, YCharacters, ZCharacters, InvolutionShapes,
Involutions, SpecialInvolutions, OrlikSolomonCharacter, NamesShapes,
LabelsShapes, PathsShapes, IncMatShapes, QIncMatShapes, FusMatShapes,
QFusMatShapes);
AUTO( ReadPkg( "zigzag", "lib", "alleys" ), ProductAlleys, ProductAlleyList,
FactorsAlley, OnAlleys, StabilizerAlley, NrAlleys, LengthAlley, SourceAlley,
TargetAlley, SubsetsAlley, AlleySubsets, PrefixAlley, SuffixAlley,
ActionAlley, DeltaAlley, BigMatrixAlley, ReversedAlley, LittleDeltaBarAlley,
ReducedWordAlley, ColoursAlley, AlleyAlgebraOps, AlleyAlgebra,
IsAlleyAlgebra);
AUTO( ReadPkg( "zigzag", "lib", "characte" ), RegularCharacter,
TrivialCharacter, SignCharacter, MultiplicitiesCharacter,
GeneratorsAbelianGroup, LinearCharactersAbelianGroup, LinearCharacters,
ECharacters, AlphaCharacter, LambdaCharacter, ACharacter, ACharacters,
A1Character, A1Characters, Lambda2Character, BCharacter, DCharacter);
AUTO( ReadPkg( "zigzag", "lib", "subsets" ), SetComposition, IsLeftDescent,
IsRightDescent, LongestElement, ConnectedComponent, ConnectedComponents,
PrefixesOps, Prefixes, IsPrefixes, WeakIntervalOps, WeakInterval,
IsWeakInterval, ParabolicTransversalOps, ParabolicTransversal,
IsParabolicTransversal, ParabolicCoordinates, DescentClassOps, DescentClass,
IsDescentClass, DescentClasses, SizesDescentConjugacyClasses,
LeftParabolicTransversalOps, LeftParabolicTransversal,
IsLeftParabolicTransversal, DoubleParabolicTransversalOps,
DoubleParabolicTransversal, IsDoubleParabolicTransversal, XJKLOps, XJKL,
IsXJKL);
AUTO( ReadPkg( "zigzag", "lib", "forests" ), LeanTreeOps, LeanTree,
IsLeanTree, IsSlanted, LeanTrees, NrLeanTrees, SlantedLeanTrees,
NrSlantedLeanTrees, LeanForestOps, LeanForest, IsLeanForest, LeanForests,
SlantedLeanForests, SortedSlantedLeanForests,
CartanMatSortedSlantedLeanForests, TreeOps, Tree, IsTree, SimpleTree,
CompositionSubset, SubsetComposition, ForestOps, Forest, IsForest,
ForestAlley, StandardFactorizationLyndon, StandardBracketingLyndon1,
StandardBracketingLyndon, StandardBracketing, LyndonBasis, LyndonPaths,
IsCompletelyReducibleStreet, NiceRelationsSym, DrawNiceRelation,
IsCoreNiceRelation, LeanForestClassOps, LeanForestClass, IsLeanForestClass,
ForestClassOps, ForestClass, IsForestClass, LeanForestAlgebraEltOps,
LeanForestAlgebraElt, IsLeanForestAlgebraElt, ForestAlgebraEltOps,
ForestAlgebraElt, IsForestAlgebraElt, ForestClassPartition,
ForestAlgebraEltPartitionPath, ForestAlgebraEltPartitionQuiverElt);
AUTO( ReadPkg( "zigzag", "lib", "streets" ), StreetOps, Street, IsStreet,
Streets, NrStreets, ProductStreetMatrices, ProductStreetMatrixList,
SumStreetMatrices, ProductStreets, BasicStreets, BasicStreetsNonZero,
PathsStreets, PathsStreets1, CartanMatStreets, QuiverMatStreets,
CartanMatSlantedStreets0, SlantedStreets, CartanMatSlantedStreets,
QuiverMatSlantedStreets, StreetAlgebraEltOps, StreetAlgebraElt,
IsStreetAlgebraElt);
AUTO( ReadPkg( "zigzag", "lib", "groupoid" ), GroupoidOps, Groupoid,
IsGroupoid, GroupoidEltOps, GroupoidElt, IsGroupoidElt);
AUTO( ReadPkg( "zigzag", "lib", "walker" ), BreadthFirst,
IteratorBreadthFirst, PreOrderNC, PreOrder, NrPreOrderNC, NrPreOrder,
IteratorPreOrder, PreOrderPropertyNC, PreOrderProperty,
NrPreOrderPropertyNC, NrPreOrderProperty, PostOrderNC, PostOrder,
PostOrderPropertyNC, PostOrderProperty, NrPostOrderPropertyNC,
NrPostOrderProperty, BinomialTreeOps, BinomialTree, VisitMixedTuplesM,
ProductsMixedTuplesM, VisitMixedTuplesH, ProductsMixedTuplesH,
ExactPackings, FunCon, RestrictCon1, RestrictCon2);
AUTO( ReadPkg( "zigzag", "lib", "classes" ), CyclicShiftsOps, CyclicShifts,
IsCyclicShifts, MinimalLengthConjugate, MaximalLengthConjugate,
CentralizerComplementMinimal, CentralizerComplement, IsNonCompliant,
CuspidalClasses, CyclicShiftClasses);
AUTO( ReadPkg( "zigzag", "lib", "descent" ), DescentAlgebraOps,
DescentAlgebra, IsDescentAlgebra, DescentEltOps, DescentElt, IsDescentElt,
CharacterDescentElt, MaximalAJKL, MatCompressedAJKL, ProductCompressedAJKL,
RightRegularX, LeftRegularX, LeftRegularY, LeftRegularZ, LeftRegularE,
SymmetricMatrix, MatQuiverSym, LyndonFactorisation, CartanMatrixA,
QCartanMatrixA, CartanMatrixB, QuiverRelations0, QuiverRelations1,
QuiverRelations, SyzygiesQuiver, ProjectiveCover, ProjectiveResolutions,
DescentQuiver, BasisProjectiveQuiver, NextProjectiveCover,
ProjectiveResolution, RelationsDescentQuiver, DisplayQuiver0,
DisplayQuiver1, DisplayQuiver, DimensionsMatrix0, DimensionsMatrix1,
DimensionsMatrix, CartanMatQuiver0, CartanMatQuiver1, CartanMatQuiver,
QCartanMatQuiver0, QCartanMatQuiver1, QCartanMatQuiver, LaTeXMatNames,
KernelList, LaTeXQCartan, BlocksCartan, MatNrStreetsQuiver,
QMatNrStreetsQuiver, MatNrPathsQuiver, QMatNrPathsQuiver,
RedundantRelations);
AUTO( ReadPkg( "zigzag", "lib", "tableau" ), TableauOps, Tableau, IsTableau,
OnTableaus, StandardTableaus, ContentOps, Content, IsContent);
AUTO( ReadPkg( "zigzag", "lib", "methods" ), OPERATIONS, Ops, Object,
TypeCheck, Call, ApplyMethod, Map, Iverson, PartitionOps, Partition);
AUTO( ReadPkg( "zigzag", "lib", "faces" ), FaceOps, Face, IsFace, Faces,
ProductLSigns, ProductRSigns, Hyperplanes, OnFaces, KernelSupportMap,
FaceEltOps, FaceElt, IsFaceElt, ImageSupportMap,
IncidenceIntersectionLattice, onReflectionSubgroups,
PrimitiveIdempotentsFaceElts, NilpotentFaceElts, ProdMat);
AUTO( ReadPkg( "zigzag", "lib", "paracent" ), OrderedShapeOps, OrderedShape,
IsOrderedShape, OrthogonalComplement, CentralizerParabolic);
AUTO( ReadPkg( "zigzag", "lib", "nodes" ), NodeOps, Node, CompressTree,
ShowGraph, JsonGraph);
AUTO( ReadPkg( "zigzag", "lib", "blocks" ), VecBlVec, BlVecVec, MatBlMat,
BlMatMat);
AUTO( ReadPkg( "zigzag", "lib", "broken" ), InfoBroken, HyperplanesRoots,
EnlargedTree, NBCBasis, NBCCoeffsSet, NBCCoeffBasic, NBCDiagonalSet,
TraceNBC, OSCharacterValueCRG, OSCharacterCRG);
AUTO( ReadPkg( "zigzag", "lib", "skyline" ), FallingSequence, SkylineAOps,
SkylineA, IsSkylineA, SkylineAPerm, SkylineAWord, SkylineBOps, SkylineB,
IsSkylineB, SkylineBPerm, SkylineBWord, SkylineDOps, SkylineD, IsSkylineD,
SkylineDPerm, SkylineDWord, MajorIndex);
AUTO( ReadPkg( "zigzag", "lib", "category" ), CategoryOps, Category,
IsCategory, CategoryEltOps, CategoryElt, IsCategoryElt);
AUTO( ReadPkg( "zigzag", "lib", "iterator" ), IteratorList, IteratorEmpty,
Iterator, IteratorRange, MPartitionsOps, MPartitions, NrMPartitions,
PartitionsIntOps, PartitionsInt);
AUTO( ReadPkg( "zigzag", "lib", "quiver" ), QuiverOps, Quiver, IsQuiver,
EdgeOps, Edge, IsEdge, NextPartition, PartitionEdge, NextSubset,
TakeAwayEdge, PathOps, Path, IsPath, AddPartPartitionPath, QuiverEltOps,
QuiverElt, IsQuiverElt, AddPartPartitionQuiverElt, PathsPartitionQuiver,
SegmentsWord, TreeSegment);