https://github.com/gpfeiffer/zigzag
Raw File
Tip revision: a102645d75b0a3d056a3ee09c0d541982a0f480a authored by Götz Pfeiffer on 23 October 2019, 18:18:20 UTC
Version 0.82
Tip revision: a102645
init.g
#############################################################################
##
#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);

back to top