Quelle  database.tst   Sprache: unbekannt

#############################################################################
##
#W  database.tst               GAP4 Package `RCWA'                Stefan Kohl
##
##  This file contains tests whether RCWA's databases of rcwa groups and
##  rcwa mappings can be loaded correctly.
##
#############################################################################

gap> START_TEST( "database.tst" );
gap> RCWADoThingsToBeDoneBeforeTest();
gap> LoadDatabaseOfProductsOf2ClassTranspositions();
"CTProducts"
gap> Set(RecNames(CTProducts));
[ "CTPairIntersectionType", "CTPairIntersectionTypeNumber", 
  "CTPairProductType", "CTPairs", "CTPairsIntersectionTypes", 
  "CTPairsProductClassification", "CTPairsProductType", "CTProds12", 
  "CTProds32", "OrdersMatrix" ]
gap> cls1 := EquivalenceClasses(Combinations(ClassPairs(6),2),
>              c->CTProducts.CTPairIntersectionTypeNumber(c));;
gap> cls2 := EquivalenceClasses(Combinations(ClassPairs(6),2),
>              c->CTProducts.CTPairIntersectionType(List(c,ClassTransposition)));;
gap> AsSortedList(List(cls1,Length)) = AsSortedList(List(cls2,Length));
true
gap> LoadDatabaseOfNonbalancedProductsOfClassTranspositions();
"CTProductsNB"
gap> Set(RecNames(CTProductsNB));
[ "PairsOfCTsWhoseProductIsNotBalanced", 
  "TriplesOfCTsWhoseProductHasCoprimeMultiplierAndDivisor" ]
gap> LoadDatabaseOfGroupsGeneratedBy3ClassTranspositions(6);
"3CTsGroups6"
gap> Set(RecNames(3CTsGroups6));
[ "3CTsGroupsWithGivenOrbit", "D0pos", "D0xC2pos", "Id3CTsGroup", 
  "ProbablyFixesDigitSumsModulo", "ProbablyStabilizesDigitSumsModulo", 
  "TriangleTypes", "abc_torsion", "abelian", "abelianinvariants", "chains", 
  "compositionfactors", "conjugacyclasses", "cts", "cyclist", "degrees", 
  "epifromfpgroupto_ct23z", "epifromfpgrouptocollatzgroup_c", 
  "epifromfpgrouptocollatzgroup_t", "equalityclasses", "finiteorbits", 
  "freeproductcandidates", "freeproductlikes", "groups", "growthsequences", 
  "grps", "intransitivemodulo", "metabelian", "minwordlengthcoprimemultdiv", 
  "minwordlengthnonbalanced", "mods", "non_abc_cycle_orbitcounts", 
  "orbitgrowthtype", "orbitlengths", "partitionlengths", "permgroupgens", 
  "redundant_generator", "refinementseqlngs", "respectedpartitions", 
  "samegroups", "shortresidueclassorbitlengths", "sizes", "sizespos", 
  "sizesset", "solvable", "spheresizebound_12", "spheresizebound_24", 
  "spheresizebound_4", "spheresizebound_6", "stabilize_digitsum_base2_mod2", 
  "stabilize_digitsum_base2_mod3", "stabilize_digitsum_base3_mod2", 
  "subgroups", "supergroups", "trsstatus", "trsstatuspos", "trsstatusset" ]
gap> LoadDatabaseOfGroupsGeneratedBy3ClassTranspositions(9);
"3CTsGroups9"
gap> Set(RecNames(3CTsGroups9));
[ "All3CTs9Groups", "All3CTs9Indices", "cts", "mods", "partlengths", "sizes" ]
gap> LoadDatabaseOfGroupsGeneratedBy4ClassTranspositions();
"4CTsGroups6"
gap> Set(RecNames(4CTsGroups6));
[ "conjugacyclasses4cts", "cts", "grps4_3finite", "grps4_3finite_reps", 
  "grps4_3finitepos", "mods4", "sizes4", "sizes4pos", "sizes4set" ]
gap> LoadDatabaseOfCTGraphs();
"CTGraphs"
gap> Set(RecNames(CTGraphs));
[ "embeddings4", "embeddings5", "embeddings6" ]
gap> RCWADoThingsToBeDoneAfterTest();
gap> STOP_TEST( "database.tst", 4500000000 );

#############################################################################
##
#E  database.tst . . . . . . . . . . . . . . . . . . . . . . . . .  ends here