MQ!      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrst u v w x y z { | } ~  C     4 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd   !"#$%&   !"#$%& %&#$"!     !"#$$%&&'()*+,-.'()*+,e-fghijk.+,*)('-.'()*+,,-. /0123456789:;<=>?@ABCDEFGHIJKLMN?/0123456789:;<=>?@ABCDEFGHIJKLMNlmnopqrstuvwxyz{|}~ MNKLHIJGFEDCBA@?>=<;:9876543210/ /0123456789:;<=>?@ABCDEFGHIJIJKLLMNNOPQRST1OPQRSTOPQRSTOPPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrsAUVWXYZ[\]^_`abcdefghijklmnopqrsqrsopmnlkjihgfedcba`_]^\[ZYXWVUUVWXYZ[\]^^_`abcdefghijklmnnoppqrrs tuvwxyz{|}tuvwxyz{|} |}z{vyxwtu tuuvyxwwxyz{{|}}  ~"~      !"#$~~ %&'()*+,-./0123456789:  ;<=>?@ABCD EFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~4("   %    !"#$%& '()*+,-./0123456%789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ !"#$%&'()*+,-./0123456789:;<=>>?@ABCDEEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcddeefghijklmnopqrsttuvwxyz{|}~        E >                     !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~(                                                                                            ,- !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_$`abcdefg3hijklmnopqrstuvwxyz{|}~7p$%i()HaskellForMaths-0.1.3"Math.Algebra.Group.StringRewriting#Math.Algebra.Group.PermutationGroupMath.Combinatorics.GraphMath.Common.IntegerAsType!Math.Algebra.Commutative.MonomialMath.Algebra.Field.BaseMath.Algebra.Commutative.MPolyMath.Algebra.Field.Extension"Math.Algebra.NonCommutative.NCPoly)Math.Algebra.NonCommutative.TensorAlgebra%Math.Projects.KnotTheory.LaurentMPolyMath.Projects.KnotTheory.Braid&Math.Projects.KnotTheory.TemperleyLieb%Math.Projects.KnotTheory.IwahoriHecke!Math.Combinatorics.FiniteGeometryMath.Combinatorics.Design'Math.Combinatorics.StronglyRegularGraphMath.Combinatorics.HypergraphMath.Projects.RootSystem(Math.Projects.ChevalleyGroup.ExceptionalMath.Common.ListSetMath.Algebra.Group.SchreierSimsMath.Combinatorics.GraphAutsMath.Algebra.Commutative.GBasis#Math.Algebra.NonCommutative.GSBasisMath.Algebra.LinearAlgebra&Math.Projects.ChevalleyGroup.ClassicalS PermutationPGraphG nullGraphT97T89T83T79T73T71T67T61T59T53T47T43T41T37T31T29T23T19T17T13T11T7T5T3T2TOneTZeroTMinus1M IntegerAsTypevalueElimGrevlexGlexLexMonomialconvertMsupportMF97F89F83F79F73F71F67F61F59F53F47F43F41F37F31F29F23F19F17F13F11F7F5F3F2 FiniteFieldeltsFqbasisFqFpQMPolyMPtoLextoGlex toGrevlextoElim QSqrtMinus5 QSqrtMinus3 QSqrtMinus2 QSqrtMinus1QSqrt7QSqrt5QSqrt3QSqrt2SqrtF32 ConwayF32F27 ConwayF27F25 ConwayF25F16 ConwayF16F9ConwayF9F8ConwayF8F4ConwayF4ExtensionFieldExtPolynomialAsTypepvalueUPolyUP quotRemUP InvertibleinvVarZYXNPolyNPWeylGensDBasisE LaurentMPolyLPLaurentMonomialLM BraidGensLPQTemperleyLiebGensIwahoriHeckeGensT ZeroOneStarStarOneZeroDesign DesignVertexBC Incidence HypergraphHTypeFAbasisEltOctonionOrewrite rewrite''splitSubstring findOverlap knuthBendix1ordpairshortlex knuthBendix2merge knuthBendix3 knuthBendixnfseltss_s1s2s3_Stri_D toListSet isListSetunion intersect\\symDiffdisjointisSubsetrotateL fromPairs fromPairs'toPairsfromListsupp.^ fromCyclesptoCyclescycleOfparitysignorderEltinverse^-~^comm-^orbitorbitS.^^orbitP-^^orbitB inducedActioninducedinducedBorbits_C_D2_AcpwrtoSneltsSorderisMembergens~^^ conjClass conjClasses centralizercentre normalizer stabilizerptStabsetStab reduceGens normalClosure commutatorGp derivedSubgpisSubgpisNormal**^cosets cosetAction quotientGp//~~^conjugateSubgps subgpAction cosetRepsGxschreierGeneratorsGxsiftfindBasebsgsbsgs'newLevel newLevel'ssss' isMemberBSGSeltsBSGScartProd orderBSGSindexsgsreduceGensBSGSsetpowersetcombinationsOf isSetSystemisGraphgraphtoGraphverticesedgesincidenceMatrixfromIncidenceMatrixadjacencyMatrixfromAdjacencyMatrixckkbkb'qq' tetrahedroncube octahedron dodecahedron icosahedronto1n complement lineGraph lineGraph'petersensizevalency valencies regularParam isRegularisCubicnbrs findPathsdistancediameter findCyclesgirthdistancePartition component isConnectedjkneserjohnson petersen1isVertexTransitiveisEdgeTransitive->^isArcTransitiveisArcTransitive'findArcsisnArcTransitiveis2ArcTransitiveis3ArcTransitiveisDistanceTransitiverefine isGraphAut graphAuts1 graphAuts2 graphAuts3 isSingleton graphAuts removeGens graphAutsNew graphIsosisIsodiffsdegMdividesMproperlyDividesMlcmMgcdMcoprimeM numeratorQ denominatorQextendedEuclid primitiveEltpowerscharf2f3f5f7f11f13f17f19f23f29f31f37f41f43f47f53f59f61f67f71f73f79f83f89f97cmpTerm mergeTermscollectvarabdstuvwxyzx_x0x1x2x3 convertMPvarLexvarElimltlmdegmulTdivTdividesTproperlyDividesTlcmT.* quotRemMP%%divModMPdivMPmodMPinjecttoMonictoZsubstsupportsPolyisGBgb1pairWithreducegb2pairs!gb2bgb3bcmpFstmergeBygb4bgbsugar cmpNormalcmpSuggb3gb4toUPoly<+><*>convertmonomialmodUPextendedEuclidUPembedpolysf4x4f8x8f9x9f16x16f25x25f27x27f32x32sqrt2sqrt3sqrt5sqrt7i sqrtminus2 sqrtminus3 sqrtminus5divMlc quotRemNPremNPremNP2gb'gb2'mbasisQAe_e1e2e3e4dim tensorBasis extRelationsextnf exteriorBasis symRelationssymnfsymmetricBasis weylRelationsweylnf weylBasisd_d1d2d3deltaweylRelations'weylnf' weylBasis'degLM denominatorLMlcmLMdivLM quotRemLPreduceLP denominatorLPsqrtvar^^^s4writhek3_1k4_1k5_1k7_1d' tlRelationsdimTLtlnftlBasistr'tra' fromBraidjonest_t1t2t3t4z' ihRelationsdimIHihnfihBasistau'tauhomflylmhomfly'homfly''coeffsjones'<->*>*>><.><<+>><<->><<*>><<*><*>>fMatrixfMatrix'idMxjMxzMxinverse1inverse2rowEchelonFormreducedRowEchelonFormkernel kernelRREdetptsAGptsPGpnfispnf closureAG closurePGqtorialqnomial numFlatsPG numFlatsAGqtorialsqnomialsrrefsflatsPGflatsAGdesigntoDesignisValidpointsblocksnoRepeatedBlocks tDesignParamsfindvk findlambda designParams isStructureisDesign is2DesignisSquare subsetDesign pairDesignag2pg2 flatsDesignPGpg flatsDesignAGag paleyDesign fanoPlanedual derivedDesign pointResidualcomplementaryDesign blockResidual isDesignAutincidenceGraph designAuts1 designAuts designAutsNew alphaL2_23 betaL2_23 gammaL2_23l2_23deltaM24m24m24sgsm23sgsm22sgsoctads_5_8_24s_4_7_23s_3_6_22 srgParamsisSRGt'l2l2' paleyGraphclebschclebsch'clebsch2triplesheptads+^+^^hoffmanSingletonhoffmanSingleton' inducedA7hsA7gewirtzgewirtz'higmanSimsGraphhigmanSimsGraph' inducedM22 higmanSimsM22_HS2_HSsp2spswitchschlafli schlafli' mcLaughlin mcLaughlin'_McL2_McL hypergraph toHypergraph isUniformsame fromGraph fromDesignisPartialLinearSpaceisProjectivePlaneisProjectivePlaneTriisProjectivePlaneQuadisGeneralizedQuadranglegriddualGridisGenQuadrangle'isConfiguration heawoodGraphdesarguesConfigurationdesarguesGraphpappusConfiguration pappusGraph coxeterGraphduads synthemestutteCoxeterGraphintersectionGraph simpleSystemclosure weylPerms weylMatriceswMx cartanMatrixsetDiagdynkinFromCartan dynkinDiagramcoxeterFromDynkin coxeterMatrixfromCoxeterMatrixfromCoxeterMatrix2coxeterPresentation eltsCoxeter poincarePolyelemMxlieMult+|++-+form rootSystemnumRoots orderWeyl factorialtest1test2numPtsAGnumPtsPGslelemTransvectionorderLorderS2orderS omegaevenomegaoddoi0i1i2i3i4i5i6toListexposenfconjsqnorm isOrthogonal antiCommutes octonionsisUnitunitImagOctonionsautFrom%^alpha3beta3gamma3sgamma3alpha3'beta3'gamma3'alpha4beta4gamma4sgamma4alpha4'beta4'gamma4'