passagemath-gap-pkg-semigroups 10.6.30__cp310-cp310-macosx_13_0_arm64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of passagemath-gap-pkg-semigroups might be problematic. Click here for more details.
- gap/pkg/semigroups/CHANGELOG.md +1699 -0
- gap/pkg/semigroups/CONTRIBUTING.md +91 -0
- gap/pkg/semigroups/GNUmakefile +110 -0
- gap/pkg/semigroups/GNUmakefile.in +110 -0
- gap/pkg/semigroups/GPL +674 -0
- gap/pkg/semigroups/LICENSE +16 -0
- gap/pkg/semigroups/Makefile +26 -0
- gap/pkg/semigroups/Makefile.gappkg +225 -0
- gap/pkg/semigroups/PackageInfo.g +529 -0
- gap/pkg/semigroups/README.md +102 -0
- gap/pkg/semigroups/VERSIONS +112 -0
- gap/pkg/semigroups/aclocal.m4 +375 -0
- gap/pkg/semigroups/autogen.sh +25 -0
- gap/pkg/semigroups/bin/aarch64-apple-darwin23-default64-kv10/semigroups.so +0 -0
- gap/pkg/semigroups/config.guess +1807 -0
- gap/pkg/semigroups/config.log +1158 -0
- gap/pkg/semigroups/config.status +1131 -0
- gap/pkg/semigroups/config.sub +1960 -0
- gap/pkg/semigroups/configure +9742 -0
- gap/pkg/semigroups/configure.ac +71 -0
- gap/pkg/semigroups/data/doc/greens.pickle +1 -0
- gap/pkg/semigroups/data/gens/fullbool-8.pickle.gz +0 -0
- gap/pkg/semigroups/data/gens/fullbool.pickle.gz +0 -0
- gap/pkg/semigroups/data/gens/hall.pickle.gz +0 -0
- gap/pkg/semigroups/data/gens/reflex-6.pickle.gz +0 -0
- gap/pkg/semigroups/data/gens/reflex.pickle.gz +0 -0
- gap/pkg/semigroups/data/tst/bipart4 +10 -0
- gap/pkg/semigroups/data/tst/pperm10 +1 -0
- gap/pkg/semigroups/data/tst/tables.gz +0 -0
- gap/pkg/semigroups/data/tst/testdata +1 -0
- gap/pkg/semigroups/data/tst/testinstall.pickle +1 -0
- gap/pkg/semigroups/data/tst/trans3 +7 -0
- gap/pkg/semigroups/data/tst/trans3-old +7 -0
- gap/pkg/semigroups/environment.yml +7 -0
- gap/pkg/semigroups/gap/attributes/acting.gd +15 -0
- gap/pkg/semigroups/gap/attributes/acting.gi +297 -0
- gap/pkg/semigroups/gap/attributes/attr.gd +91 -0
- gap/pkg/semigroups/gap/attributes/attr.gi +1214 -0
- gap/pkg/semigroups/gap/attributes/dual.gd +25 -0
- gap/pkg/semigroups/gap/attributes/dual.gi +209 -0
- gap/pkg/semigroups/gap/attributes/factor.gd +17 -0
- gap/pkg/semigroups/gap/attributes/factor.gi +453 -0
- gap/pkg/semigroups/gap/attributes/homomorph.gd +84 -0
- gap/pkg/semigroups/gap/attributes/homomorph.gi +591 -0
- gap/pkg/semigroups/gap/attributes/inverse.gd +38 -0
- gap/pkg/semigroups/gap/attributes/inverse.gi +708 -0
- gap/pkg/semigroups/gap/attributes/isomorph.gd +16 -0
- gap/pkg/semigroups/gap/attributes/isomorph.gi +377 -0
- gap/pkg/semigroups/gap/attributes/isorms.gd +49 -0
- gap/pkg/semigroups/gap/attributes/isorms.gi +1383 -0
- gap/pkg/semigroups/gap/attributes/maximal.gd +16 -0
- gap/pkg/semigroups/gap/attributes/maximal.gi +1876 -0
- gap/pkg/semigroups/gap/attributes/properties.gd +109 -0
- gap/pkg/semigroups/gap/attributes/properties.gi +1658 -0
- gap/pkg/semigroups/gap/attributes/rms-translat.gd +39 -0
- gap/pkg/semigroups/gap/attributes/rms-translat.gi +1078 -0
- gap/pkg/semigroups/gap/attributes/semifp.gd +12 -0
- gap/pkg/semigroups/gap/attributes/semifp.gi +84 -0
- gap/pkg/semigroups/gap/attributes/translat.gd +474 -0
- gap/pkg/semigroups/gap/attributes/translat.gi +1779 -0
- gap/pkg/semigroups/gap/congruences/cong.gd +154 -0
- gap/pkg/semigroups/gap/congruences/cong.gi +351 -0
- gap/pkg/semigroups/gap/congruences/conginv.gd +38 -0
- gap/pkg/semigroups/gap/congruences/conginv.gi +589 -0
- gap/pkg/semigroups/gap/congruences/conglatt.gd +101 -0
- gap/pkg/semigroups/gap/congruences/conglatt.gi +886 -0
- gap/pkg/semigroups/gap/congruences/congpairs.gd +21 -0
- gap/pkg/semigroups/gap/congruences/congpairs.gi +272 -0
- gap/pkg/semigroups/gap/congruences/congpart.gd +90 -0
- gap/pkg/semigroups/gap/congruences/congpart.gi +449 -0
- gap/pkg/semigroups/gap/congruences/congrees.gd +20 -0
- gap/pkg/semigroups/gap/congruences/congrees.gi +313 -0
- gap/pkg/semigroups/gap/congruences/congrms.gd +54 -0
- gap/pkg/semigroups/gap/congruences/congrms.gi +1467 -0
- gap/pkg/semigroups/gap/congruences/congsemigraph.gd +28 -0
- gap/pkg/semigroups/gap/congruences/congsemigraph.gi +289 -0
- gap/pkg/semigroups/gap/congruences/congsimple.gd +27 -0
- gap/pkg/semigroups/gap/congruences/congsimple.gi +236 -0
- gap/pkg/semigroups/gap/congruences/conguniv.gd +20 -0
- gap/pkg/semigroups/gap/congruences/conguniv.gi +271 -0
- gap/pkg/semigroups/gap/congruences/congwordgraph.gd +21 -0
- gap/pkg/semigroups/gap/congruences/congwordgraph.gi +250 -0
- gap/pkg/semigroups/gap/elements/bipart.gd +71 -0
- gap/pkg/semigroups/gap/elements/bipart.gi +995 -0
- gap/pkg/semigroups/gap/elements/blocks.gd +31 -0
- gap/pkg/semigroups/gap/elements/blocks.gi +134 -0
- gap/pkg/semigroups/gap/elements/boolmat.gd +74 -0
- gap/pkg/semigroups/gap/elements/boolmat.gi +726 -0
- gap/pkg/semigroups/gap/elements/elements.gd +11 -0
- gap/pkg/semigroups/gap/elements/elements.gi +121 -0
- gap/pkg/semigroups/gap/elements/ffmat.gd +71 -0
- gap/pkg/semigroups/gap/elements/ffmat.gi +311 -0
- gap/pkg/semigroups/gap/elements/maxplusmat.gd +131 -0
- gap/pkg/semigroups/gap/elements/maxplusmat.gi +782 -0
- gap/pkg/semigroups/gap/elements/pbr.gd +51 -0
- gap/pkg/semigroups/gap/elements/pbr.gi +740 -0
- gap/pkg/semigroups/gap/elements/pperm.gd +11 -0
- gap/pkg/semigroups/gap/elements/pperm.gi +14 -0
- gap/pkg/semigroups/gap/elements/semiringmat.gd +136 -0
- gap/pkg/semigroups/gap/elements/semiringmat.gi +717 -0
- gap/pkg/semigroups/gap/elements/star.gd +21 -0
- gap/pkg/semigroups/gap/elements/star.gi +21 -0
- gap/pkg/semigroups/gap/elements/trans.gd +13 -0
- gap/pkg/semigroups/gap/elements/trans.gi +50 -0
- gap/pkg/semigroups/gap/fp/freeband.gd +22 -0
- gap/pkg/semigroups/gap/fp/freeband.gi +502 -0
- gap/pkg/semigroups/gap/fp/freeinverse.gd +30 -0
- gap/pkg/semigroups/gap/fp/freeinverse.gi +465 -0
- gap/pkg/semigroups/gap/fp/tietze.gd +89 -0
- gap/pkg/semigroups/gap/fp/tietze.gi +1578 -0
- gap/pkg/semigroups/gap/fp/word.gd +15 -0
- gap/pkg/semigroups/gap/fp/word.gi +67 -0
- gap/pkg/semigroups/gap/greens/acting-inverse.gi +774 -0
- gap/pkg/semigroups/gap/greens/acting-regular.gi +553 -0
- gap/pkg/semigroups/gap/greens/acting.gd +81 -0
- gap/pkg/semigroups/gap/greens/acting.gi +2433 -0
- gap/pkg/semigroups/gap/greens/froidure-pin.gd +25 -0
- gap/pkg/semigroups/gap/greens/froidure-pin.gi +741 -0
- gap/pkg/semigroups/gap/greens/generic.gd +117 -0
- gap/pkg/semigroups/gap/greens/generic.gi +630 -0
- gap/pkg/semigroups/gap/ideals/acting.gd +17 -0
- gap/pkg/semigroups/gap/ideals/acting.gi +1155 -0
- gap/pkg/semigroups/gap/ideals/froidure-pin.gd +11 -0
- gap/pkg/semigroups/gap/ideals/froidure-pin.gi +105 -0
- gap/pkg/semigroups/gap/ideals/ideals.gd +45 -0
- gap/pkg/semigroups/gap/ideals/ideals.gi +442 -0
- gap/pkg/semigroups/gap/ideals/lambda-rho.gd +16 -0
- gap/pkg/semigroups/gap/ideals/lambda-rho.gi +614 -0
- gap/pkg/semigroups/gap/libsemigroups/cong.gd +24 -0
- gap/pkg/semigroups/gap/libsemigroups/cong.gi +431 -0
- gap/pkg/semigroups/gap/libsemigroups/fpsemi.gd +16 -0
- gap/pkg/semigroups/gap/libsemigroups/fpsemi.gi +53 -0
- gap/pkg/semigroups/gap/libsemigroups/froidure-pin.gd +17 -0
- gap/pkg/semigroups/gap/libsemigroups/froidure-pin.gi +945 -0
- gap/pkg/semigroups/gap/libsemigroups/sims1.gd +38 -0
- gap/pkg/semigroups/gap/libsemigroups/sims1.gi +308 -0
- gap/pkg/semigroups/gap/main/acting.gd +36 -0
- gap/pkg/semigroups/gap/main/acting.gi +779 -0
- gap/pkg/semigroups/gap/main/froidure-pin.gd +72 -0
- gap/pkg/semigroups/gap/main/froidure-pin.gi +655 -0
- gap/pkg/semigroups/gap/main/graded.gd +26 -0
- gap/pkg/semigroups/gap/main/graded.gi +355 -0
- gap/pkg/semigroups/gap/main/lambda-rho.gd +29 -0
- gap/pkg/semigroups/gap/main/lambda-rho.gi +514 -0
- gap/pkg/semigroups/gap/main/orbits.gd +24 -0
- gap/pkg/semigroups/gap/main/orbits.gi +512 -0
- gap/pkg/semigroups/gap/main/semiact.gd +20 -0
- gap/pkg/semigroups/gap/main/semiact.gi +821 -0
- gap/pkg/semigroups/gap/main/setup.gd +61 -0
- gap/pkg/semigroups/gap/main/setup.gi +1094 -0
- gap/pkg/semigroups/gap/obsolete.gd +9 -0
- gap/pkg/semigroups/gap/obsolete.gi +14 -0
- gap/pkg/semigroups/gap/options.g +55 -0
- gap/pkg/semigroups/gap/semigroups/grpperm.gd +12 -0
- gap/pkg/semigroups/gap/semigroups/grpperm.gi +177 -0
- gap/pkg/semigroups/gap/semigroups/semibipart.gd +28 -0
- gap/pkg/semigroups/gap/semigroups/semibipart.gi +570 -0
- gap/pkg/semigroups/gap/semigroups/semiboolmat.gd +20 -0
- gap/pkg/semigroups/gap/semigroups/semiboolmat.gi +104 -0
- gap/pkg/semigroups/gap/semigroups/semicons.gd +52 -0
- gap/pkg/semigroups/gap/semigroups/semicons.gi +1194 -0
- gap/pkg/semigroups/gap/semigroups/semidp.gd +13 -0
- gap/pkg/semigroups/gap/semigroups/semidp.gi +509 -0
- gap/pkg/semigroups/gap/semigroups/semieunit.gd +126 -0
- gap/pkg/semigroups/gap/semigroups/semieunit.gi +889 -0
- gap/pkg/semigroups/gap/semigroups/semiex.gd +104 -0
- gap/pkg/semigroups/gap/semigroups/semiex.gi +1590 -0
- gap/pkg/semigroups/gap/semigroups/semiffmat.gd +37 -0
- gap/pkg/semigroups/gap/semigroups/semiffmat.gi +565 -0
- gap/pkg/semigroups/gap/semigroups/semifp.gd +28 -0
- gap/pkg/semigroups/gap/semigroups/semifp.gi +1364 -0
- gap/pkg/semigroups/gap/semigroups/semigraph.gd +40 -0
- gap/pkg/semigroups/gap/semigroups/semigraph.gi +292 -0
- gap/pkg/semigroups/gap/semigroups/semigrp.gd +165 -0
- gap/pkg/semigroups/gap/semigroups/semigrp.gi +1225 -0
- gap/pkg/semigroups/gap/semigroups/semimaxplus.gd +72 -0
- gap/pkg/semigroups/gap/semigroups/semimaxplus.gi +710 -0
- gap/pkg/semigroups/gap/semigroups/semintmat.gd +13 -0
- gap/pkg/semigroups/gap/semigroups/semintmat.gi +74 -0
- gap/pkg/semigroups/gap/semigroups/semipbr.gd +19 -0
- gap/pkg/semigroups/gap/semigroups/semipbr.gi +139 -0
- gap/pkg/semigroups/gap/semigroups/semipperm.gd +27 -0
- gap/pkg/semigroups/gap/semigroups/semipperm.gi +711 -0
- gap/pkg/semigroups/gap/semigroups/semiquo.gd +14 -0
- gap/pkg/semigroups/gap/semigroups/semiquo.gi +97 -0
- gap/pkg/semigroups/gap/semigroups/semiringmat.gd +16 -0
- gap/pkg/semigroups/gap/semigroups/semiringmat.gi +21 -0
- gap/pkg/semigroups/gap/semigroups/semirms.gd +19 -0
- gap/pkg/semigroups/gap/semigroups/semirms.gi +977 -0
- gap/pkg/semigroups/gap/semigroups/semitrans.gd +49 -0
- gap/pkg/semigroups/gap/semigroups/semitrans.gi +909 -0
- gap/pkg/semigroups/gap/tools/display.gd +24 -0
- gap/pkg/semigroups/gap/tools/display.gi +749 -0
- gap/pkg/semigroups/gap/tools/io.gd +17 -0
- gap/pkg/semigroups/gap/tools/io.gi +543 -0
- gap/pkg/semigroups/gap/tools/iterators.gd +16 -0
- gap/pkg/semigroups/gap/tools/iterators.gi +253 -0
- gap/pkg/semigroups/gap/tools/utils.gd +19 -0
- gap/pkg/semigroups/gap/tools/utils.gi +756 -0
- gap/pkg/semigroups/gapbind14/.ccls +18 -0
- gap/pkg/semigroups/gapbind14/.clang-format +104 -0
- gap/pkg/semigroups/gapbind14/CPPLINT.cfg +5 -0
- gap/pkg/semigroups/gapbind14/LICENSE +674 -0
- gap/pkg/semigroups/gapbind14/README.md +76 -0
- gap/pkg/semigroups/gapbind14/demo/.gitignore +4 -0
- gap/pkg/semigroups/gapbind14/demo/LICENSE +293 -0
- gap/pkg/semigroups/gapbind14/demo/Makefile.gappkg +220 -0
- gap/pkg/semigroups/gapbind14/demo/Makefile.in +19 -0
- gap/pkg/semigroups/gapbind14/demo/PackageInfo.g +87 -0
- gap/pkg/semigroups/gapbind14/demo/README.md +17 -0
- gap/pkg/semigroups/gapbind14/demo/configure +34 -0
- gap/pkg/semigroups/gapbind14/demo/gap/gapbind_demo.gd +19 -0
- gap/pkg/semigroups/gapbind14/demo/gap/gapbind_demo.gi +10 -0
- gap/pkg/semigroups/gapbind14/demo/init.g +16 -0
- gap/pkg/semigroups/gapbind14/demo/makedoc.g +10 -0
- gap/pkg/semigroups/gapbind14/demo/read.g +6 -0
- gap/pkg/semigroups/gapbind14/demo/src/gapbind_demo.cc +142 -0
- gap/pkg/semigroups/gapbind14/demo/tst/testall.g +12 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/cpp_fn.hpp +223 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/gap_include.hpp +26 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/gapbind14.hpp +445 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/tame_free_fn.hpp +420 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/tame_mem_fn.hpp +556 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/to_cpp.hpp +162 -0
- gap/pkg/semigroups/gapbind14/include/gapbind14/to_gap.hpp +158 -0
- gap/pkg/semigroups/gapbind14/src/.clang-format +108 -0
- gap/pkg/semigroups/gapbind14/src/gapbind14.cpp +334 -0
- gap/pkg/semigroups/init.g +150 -0
- gap/pkg/semigroups/m4/ax_append_flag.m4 +50 -0
- gap/pkg/semigroups/m4/ax_check_compile_flag.m4 +53 -0
- gap/pkg/semigroups/m4/ax_check_hpcombi.m4 +121 -0
- gap/pkg/semigroups/m4/ax_check_libsemigroup.m4 +68 -0
- gap/pkg/semigroups/m4/ax_compare_version.m4 +177 -0
- gap/pkg/semigroups/m4/ax_cxx_compile_stdcxx.m4 +1009 -0
- gap/pkg/semigroups/m4/ax_cxx_compile_stdcxx_14.m4 +34 -0
- gap/pkg/semigroups/m4/ax_prefix_config_h.m4 +203 -0
- gap/pkg/semigroups/m4/ax_pthread.m4 +522 -0
- gap/pkg/semigroups/m4/find_gap.m4 +94 -0
- gap/pkg/semigroups/makedoc.g +153 -0
- gap/pkg/semigroups/prerequisites.sh +62 -0
- gap/pkg/semigroups/read.g +105 -0
- gap/pkg/semigroups/release.toml +6 -0
- gap/pkg/semigroups/tst/extreme/README +2 -0
- gap/pkg/semigroups/tst/extreme/attrinv.tst +703 -0
- gap/pkg/semigroups/tst/extreme/bipart.tst +2803 -0
- gap/pkg/semigroups/tst/extreme/closure.tst +652 -0
- gap/pkg/semigroups/tst/extreme/cong.tst +286 -0
- gap/pkg/semigroups/tst/extreme/conginv.tst +43 -0
- gap/pkg/semigroups/tst/extreme/examples.tst +2449 -0
- gap/pkg/semigroups/tst/extreme/freeband.tst +37 -0
- gap/pkg/semigroups/tst/extreme/greens-acting-regular.tst +27 -0
- gap/pkg/semigroups/tst/extreme/greens-acting.tst +1999 -0
- gap/pkg/semigroups/tst/extreme/ideals.tst +858 -0
- gap/pkg/semigroups/tst/extreme/inverse.tst +1025 -0
- gap/pkg/semigroups/tst/extreme/maximal.tst +856 -0
- gap/pkg/semigroups/tst/extreme/misc.tst +4236 -0
- gap/pkg/semigroups/tst/extreme/monoid_pkg.tst +1488 -0
- gap/pkg/semigroups/tst/extreme/properties.tst +914 -0
- gap/pkg/semigroups/tst/extreme/semibipart.tst +2837 -0
- gap/pkg/semigroups/tst/extreme/semieunit.tst +49 -0
- gap/pkg/semigroups/tst/extreme/semiffmat.tst +353 -0
- gap/pkg/semigroups/tst/extreme/semigroups.tst +245 -0
- gap/pkg/semigroups/tst/extreme/semiiter.tst +58 -0
- gap/pkg/semigroups/tst/extreme/semirms.tst +1091 -0
- gap/pkg/semigroups/tst/extreme/transform.tst +305 -0
- gap/pkg/semigroups/tst/extreme/translat.tst +44 -0
- gap/pkg/semigroups/tst/standard/README +2 -0
- gap/pkg/semigroups/tst/standard/attributes/acting.tst +388 -0
- gap/pkg/semigroups/tst/standard/attributes/attr.tst +2404 -0
- gap/pkg/semigroups/tst/standard/attributes/dual.tst +308 -0
- gap/pkg/semigroups/tst/standard/attributes/factor.tst +629 -0
- gap/pkg/semigroups/tst/standard/attributes/homomorph.tst +1134 -0
- gap/pkg/semigroups/tst/standard/attributes/inverse.tst +1521 -0
- gap/pkg/semigroups/tst/standard/attributes/isomorph.tst +435 -0
- gap/pkg/semigroups/tst/standard/attributes/isorms.tst +1147 -0
- gap/pkg/semigroups/tst/standard/attributes/maximal.tst +853 -0
- gap/pkg/semigroups/tst/standard/attributes/properties.tst +2028 -0
- gap/pkg/semigroups/tst/standard/attributes/semifp.tst +53 -0
- gap/pkg/semigroups/tst/standard/attributes/translat.tst +796 -0
- gap/pkg/semigroups/tst/standard/congruences/cong.tst +1044 -0
- gap/pkg/semigroups/tst/standard/congruences/conginv.tst +292 -0
- gap/pkg/semigroups/tst/standard/congruences/conglatt.tst +421 -0
- gap/pkg/semigroups/tst/standard/congruences/congpairs.tst +1011 -0
- gap/pkg/semigroups/tst/standard/congruences/congrees.tst +288 -0
- gap/pkg/semigroups/tst/standard/congruences/congrms.tst +701 -0
- gap/pkg/semigroups/tst/standard/congruences/congsemigraph.tst +422 -0
- gap/pkg/semigroups/tst/standard/congruences/congsimple.tst +311 -0
- gap/pkg/semigroups/tst/standard/congruences/conguniv.tst +259 -0
- gap/pkg/semigroups/tst/standard/congruences/congwordgraph.tst +330 -0
- gap/pkg/semigroups/tst/standard/elements/bipart.tst +783 -0
- gap/pkg/semigroups/tst/standard/elements/blocks.tst +166 -0
- gap/pkg/semigroups/tst/standard/elements/boolmat.tst +608 -0
- gap/pkg/semigroups/tst/standard/elements/elements.tst +117 -0
- gap/pkg/semigroups/tst/standard/elements/ffmat.tst +349 -0
- gap/pkg/semigroups/tst/standard/elements/maxplusmat.tst +613 -0
- gap/pkg/semigroups/tst/standard/elements/pbr.tst +506 -0
- gap/pkg/semigroups/tst/standard/elements/pperm.tst +32 -0
- gap/pkg/semigroups/tst/standard/elements/semiringmat.tst +601 -0
- gap/pkg/semigroups/tst/standard/elements/trans.tst +58 -0
- gap/pkg/semigroups/tst/standard/fp/freeband.tst +311 -0
- gap/pkg/semigroups/tst/standard/fp/freeinverse.tst +147 -0
- gap/pkg/semigroups/tst/standard/fp/tietze.tst +780 -0
- gap/pkg/semigroups/tst/standard/fp/word.tst +106 -0
- gap/pkg/semigroups/tst/standard/greens/acting-inverse.tst +545 -0
- gap/pkg/semigroups/tst/standard/greens/acting-regular.tst +396 -0
- gap/pkg/semigroups/tst/standard/greens/acting.tst +2033 -0
- gap/pkg/semigroups/tst/standard/greens/froidure-pin.tst +1831 -0
- gap/pkg/semigroups/tst/standard/greens/generic.tst +1436 -0
- gap/pkg/semigroups/tst/standard/ideals/acting.tst +279 -0
- gap/pkg/semigroups/tst/standard/ideals/froidure-pin.tst +178 -0
- gap/pkg/semigroups/tst/standard/ideals/ideals.tst +380 -0
- gap/pkg/semigroups/tst/standard/libsemigroups/cong.tst +310 -0
- gap/pkg/semigroups/tst/standard/libsemigroups/froidure-pin.tst +778 -0
- gap/pkg/semigroups/tst/standard/libsemigroups/sims1.tst +379 -0
- gap/pkg/semigroups/tst/standard/main/acting.tst +411 -0
- gap/pkg/semigroups/tst/standard/main/froidure-pin.tst +392 -0
- gap/pkg/semigroups/tst/standard/main/semiact.tst +203 -0
- gap/pkg/semigroups/tst/standard/main/setup.tst +1144 -0
- gap/pkg/semigroups/tst/standard/obsolete.tst +19 -0
- gap/pkg/semigroups/tst/standard/options.tst +54 -0
- gap/pkg/semigroups/tst/standard/semigroups/grpperm.tst +581 -0
- gap/pkg/semigroups/tst/standard/semigroups/semibipart.tst +2635 -0
- gap/pkg/semigroups/tst/standard/semigroups/semiboolmat.tst +1871 -0
- gap/pkg/semigroups/tst/standard/semigroups/semicons.tst +1173 -0
- gap/pkg/semigroups/tst/standard/semigroups/semidp.tst +739 -0
- gap/pkg/semigroups/tst/standard/semigroups/semieunit.tst +339 -0
- gap/pkg/semigroups/tst/standard/semigroups/semiex.tst +2055 -0
- gap/pkg/semigroups/tst/standard/semigroups/semiffmat.tst +746 -0
- gap/pkg/semigroups/tst/standard/semigroups/semifp.tst +2702 -0
- gap/pkg/semigroups/tst/standard/semigroups/semigraph.tst +133 -0
- gap/pkg/semigroups/tst/standard/semigroups/semigrp.tst +1112 -0
- gap/pkg/semigroups/tst/standard/semigroups/semimaxplus.tst +654 -0
- gap/pkg/semigroups/tst/standard/semigroups/semipbr.tst +2142 -0
- gap/pkg/semigroups/tst/standard/semigroups/semipperm.tst +2169 -0
- gap/pkg/semigroups/tst/standard/semigroups/semiquo.tst +278 -0
- gap/pkg/semigroups/tst/standard/semigroups/semirms.tst +3010 -0
- gap/pkg/semigroups/tst/standard/semigroups/semitrans.tst +2758 -0
- gap/pkg/semigroups/tst/standard/tools/display.tst +1040 -0
- gap/pkg/semigroups/tst/standard/tools/io.tst +363 -0
- gap/pkg/semigroups/tst/testinstall.tst +1815 -0
- gap/pkg/semigroups/tst/teststandard.g +22 -0
- gap/pkg/semigroups/tst/workspaces/load-workspace.tst +142 -0
- gap/pkg/semigroups/tst/workspaces/load.g +11 -0
- gap/pkg/semigroups/tst/workspaces/save-workspace.tst +166 -0
- gap/pkg/semigroups/tst/workspaces/save.g +14 -0
- passagemath_gap_pkg_semigroups-10.6.30.dist-info/METADATA +93 -0
- passagemath_gap_pkg_semigroups-10.6.30.dist-info/METADATA.bak +94 -0
- passagemath_gap_pkg_semigroups-10.6.30.dist-info/RECORD +354 -0
- passagemath_gap_pkg_semigroups-10.6.30.dist-info/WHEEL +6 -0
- passagemath_gap_pkg_semigroups-10.6.30.dist-info/top_level.txt +1 -0
- passagemath_gap_pkg_semigroups.dylibs/libsemigroups.2.dylib +0 -0
- sage/all__sagemath_gap_pkg_semigroups.py +1 -0
- sage/libs/all__sagemath_gap_pkg_semigroups.py +1 -0
- sage/libs/gap_pkg_semigroups.cpython-310-darwin.so +0 -0
|
@@ -0,0 +1,253 @@
|
|
|
1
|
+
#############################################################################
|
|
2
|
+
##
|
|
3
|
+
## tools/iterators.gi
|
|
4
|
+
## Copyright (C) 2013-2022 James D. Mitchell
|
|
5
|
+
##
|
|
6
|
+
## Licensing information can be found in the README file of this package.
|
|
7
|
+
##
|
|
8
|
+
#############################################################################
|
|
9
|
+
##
|
|
10
|
+
|
|
11
|
+
# <convert_in> must return <fail> if it is not possible to convert
|
|
12
|
+
# <convert_out> must check if its argument is <fail> and if it is, then it
|
|
13
|
+
# should return <fail>, <convert_out> should have two arguments <enum> and <nr>
|
|
14
|
+
# where <nr> refers to the position in <baseenum>.
|
|
15
|
+
|
|
16
|
+
InstallGlobalFunction(WrappedEnumerator,
|
|
17
|
+
function(obj, baseenum, convert_out, convert_in)
|
|
18
|
+
local record;
|
|
19
|
+
|
|
20
|
+
if IsRecord(obj) and not IsBound(obj.parent) then
|
|
21
|
+
ErrorNoReturn("if the 1st argument is a record, it must have component ",
|
|
22
|
+
"named `parent`");
|
|
23
|
+
elif not IsList(baseenum) then
|
|
24
|
+
ErrorNoReturn("the 2nd argument <baseenum> must be a list ");
|
|
25
|
+
elif not (IsFunction(convert_out) and IsFunction(convert_in)) then
|
|
26
|
+
ErrorNoReturn("the 3rd and 4th arguments <convert_out> and ",
|
|
27
|
+
"<convert_in> must be functions");
|
|
28
|
+
fi;
|
|
29
|
+
|
|
30
|
+
if IsRecord(obj) then
|
|
31
|
+
record := obj;
|
|
32
|
+
else
|
|
33
|
+
record := rec();
|
|
34
|
+
record.parent := obj;
|
|
35
|
+
fi;
|
|
36
|
+
|
|
37
|
+
record.baseenum := baseenum;
|
|
38
|
+
record.convert_out := convert_out;
|
|
39
|
+
record.convert_in := convert_in;
|
|
40
|
+
|
|
41
|
+
record.NumberElement := function(enum, elt)
|
|
42
|
+
local converted;
|
|
43
|
+
converted := enum!.convert_in(enum, elt);
|
|
44
|
+
if converted = fail then
|
|
45
|
+
return fail;
|
|
46
|
+
fi;
|
|
47
|
+
return Position(enum!.baseenum, converted);
|
|
48
|
+
end;
|
|
49
|
+
|
|
50
|
+
record.ElementNumber := function(enum, nr)
|
|
51
|
+
if nr > Length(enum) then
|
|
52
|
+
return fail;
|
|
53
|
+
fi;
|
|
54
|
+
return enum!.convert_out(enum, enum!.baseenum[nr]);
|
|
55
|
+
end;
|
|
56
|
+
|
|
57
|
+
record.Length := enum -> Size(enum!.parent);
|
|
58
|
+
|
|
59
|
+
return EnumeratorByFunctions(record.parent, record);
|
|
60
|
+
end);
|
|
61
|
+
|
|
62
|
+
# Helpers to replace the less helpful GAP library methods
|
|
63
|
+
|
|
64
|
+
BindGlobal("SEMIGROUPS_IsDoneIterator_List",
|
|
65
|
+
iter -> (iter!.pos >= iter!.len));
|
|
66
|
+
|
|
67
|
+
BindGlobal("SEMIGROUPS_ShallowCopy_List",
|
|
68
|
+
iter -> rec(list := iter!.list,
|
|
69
|
+
pos := 0,
|
|
70
|
+
len := iter!.len));
|
|
71
|
+
|
|
72
|
+
InstallGlobalFunction(IteratorFiniteList,
|
|
73
|
+
function(list)
|
|
74
|
+
local it;
|
|
75
|
+
it := IteratorList(list);
|
|
76
|
+
it!.ShallowCopy := SEMIGROUPS_ShallowCopy_List;
|
|
77
|
+
it!.IsDoneIterator := SEMIGROUPS_IsDoneIterator_List;
|
|
78
|
+
return it;
|
|
79
|
+
end);
|
|
80
|
+
|
|
81
|
+
# NextIterator in <opts> must return fail if the iterator is finished.
|
|
82
|
+
|
|
83
|
+
InstallGlobalFunction(IteratorByNextIterator,
|
|
84
|
+
function(record)
|
|
85
|
+
local result;
|
|
86
|
+
|
|
87
|
+
if not (IsRecord(record) and IsBound(record.NextIterator)
|
|
88
|
+
and IsBound(record.ShallowCopy)) then
|
|
89
|
+
ErrorNoReturn("the argument <record> must be a record with components ",
|
|
90
|
+
"`NextIterator' and `ShallowCopy'");
|
|
91
|
+
elif IsRecord(record) and (IsBound(record.last_called_by_is_done)
|
|
92
|
+
or IsBound(record.next_value)
|
|
93
|
+
or IsBound(record.IsDoneIterator)) then
|
|
94
|
+
ErrorNoReturn("the argument <record> must be a record with no ",
|
|
95
|
+
"components named `last_called_by_is_done', ",
|
|
96
|
+
"`next_value', or `IsDoneIterator'");
|
|
97
|
+
fi;
|
|
98
|
+
|
|
99
|
+
result := ShallowCopy(record);
|
|
100
|
+
|
|
101
|
+
result._NextIterator := record.NextIterator;
|
|
102
|
+
|
|
103
|
+
result._ShallowCopy := record.ShallowCopy;
|
|
104
|
+
|
|
105
|
+
result.last_called_by_is_done := false;
|
|
106
|
+
|
|
107
|
+
result.next_value := fail;
|
|
108
|
+
|
|
109
|
+
result.IsDoneIterator := function(iter)
|
|
110
|
+
if iter!.last_called_by_is_done then
|
|
111
|
+
return iter!.next_value = fail;
|
|
112
|
+
fi;
|
|
113
|
+
iter!.last_called_by_is_done := true;
|
|
114
|
+
iter!.next_value := iter!._NextIterator(iter);
|
|
115
|
+
if iter!.next_value = fail then
|
|
116
|
+
return true;
|
|
117
|
+
fi;
|
|
118
|
+
return false;
|
|
119
|
+
end;
|
|
120
|
+
|
|
121
|
+
result.NextIterator := function(iter)
|
|
122
|
+
if not iter!.last_called_by_is_done then
|
|
123
|
+
IsDoneIterator(iter);
|
|
124
|
+
fi;
|
|
125
|
+
iter!.last_called_by_is_done := false;
|
|
126
|
+
return iter!.next_value;
|
|
127
|
+
end;
|
|
128
|
+
|
|
129
|
+
result.ShallowCopy := function(iter)
|
|
130
|
+
local copy;
|
|
131
|
+
copy := iter!._ShallowCopy(iter);
|
|
132
|
+
copy._NextIterator := iter!._NextIterator;
|
|
133
|
+
copy._ShallowCopy := iter!._ShallowCopy;
|
|
134
|
+
copy.last_called_by_is_done := false;
|
|
135
|
+
copy.next_value := fail;
|
|
136
|
+
return copy;
|
|
137
|
+
end;
|
|
138
|
+
|
|
139
|
+
return IteratorByFunctions(result);
|
|
140
|
+
end);
|
|
141
|
+
|
|
142
|
+
# <baseiter> should be an iterator where NextIterator(baseiter) has a method
|
|
143
|
+
# for Iterator. More specifically, if iter:=Iterator(x) where <x> is a
|
|
144
|
+
# returned value of convert(NextIterator(baseiter)), then NextIterator of
|
|
145
|
+
# ChainIterators returns NextIterator(iter) until IsDoneIterator(iter)
|
|
146
|
+
|
|
147
|
+
InstallGlobalFunction(ChainIterators,
|
|
148
|
+
function(chain)
|
|
149
|
+
local record;
|
|
150
|
+
|
|
151
|
+
record := rec();
|
|
152
|
+
|
|
153
|
+
if IsList(chain) then
|
|
154
|
+
record.chain := Iterator(chain);
|
|
155
|
+
elif IsIterator(chain) then
|
|
156
|
+
record.chain := chain;
|
|
157
|
+
else
|
|
158
|
+
ErrorNoReturn("the argument <chain> must be an iterator or list");
|
|
159
|
+
fi;
|
|
160
|
+
|
|
161
|
+
record.current := Iterator(NextIterator(record.chain));
|
|
162
|
+
|
|
163
|
+
record.IsDoneIterator := function(iter)
|
|
164
|
+
return IsDoneIterator(iter!.chain) and
|
|
165
|
+
IsDoneIterator(iter!.current);
|
|
166
|
+
end;
|
|
167
|
+
|
|
168
|
+
record.NextIterator := function(iter)
|
|
169
|
+
if IsDoneIterator(iter) then
|
|
170
|
+
return fail;
|
|
171
|
+
elif IsDoneIterator(iter!.current) then
|
|
172
|
+
iter!.current := Iterator(NextIterator(iter!.chain));
|
|
173
|
+
fi;
|
|
174
|
+
return NextIterator(iter!.current);
|
|
175
|
+
end;
|
|
176
|
+
|
|
177
|
+
record.ShallowCopy := iter -> rec(chain := ShallowCopy(iter!.chain),
|
|
178
|
+
current := Iterator(NextIterator(~.chain)));
|
|
179
|
+
|
|
180
|
+
return IteratorByFunctions(record);
|
|
181
|
+
end);
|
|
182
|
+
|
|
183
|
+
# for: baseiter, convert[, record, isnew]
|
|
184
|
+
|
|
185
|
+
InstallGlobalFunction(WrappedIterator,
|
|
186
|
+
function(arg...)
|
|
187
|
+
local iter;
|
|
188
|
+
|
|
189
|
+
iter := rec();
|
|
190
|
+
|
|
191
|
+
# prepare iterator rec()
|
|
192
|
+
if IsBound(arg[3]) then
|
|
193
|
+
Assert(1, IsRecord(arg[3]));
|
|
194
|
+
iter := arg[3];
|
|
195
|
+
fi;
|
|
196
|
+
|
|
197
|
+
iter.baseiter := arg[1];
|
|
198
|
+
|
|
199
|
+
if iter.baseiter!.ShallowCopy = ShallowCopy_List then
|
|
200
|
+
iter.baseiter!.ShallowCopy := SEMIGROUPS_ShallowCopy_List;
|
|
201
|
+
iter.baseiter!.IsDoneIterator := SEMIGROUPS_IsDoneIterator_List;
|
|
202
|
+
fi;
|
|
203
|
+
|
|
204
|
+
iter.unwrap := arg[2];
|
|
205
|
+
|
|
206
|
+
if IsBound(arg[4]) then
|
|
207
|
+
Assert(1, IsFunction(arg[4]));
|
|
208
|
+
iter.isnew := arg[4];
|
|
209
|
+
fi;
|
|
210
|
+
|
|
211
|
+
iter.ShallowCopy := function(iter)
|
|
212
|
+
local result, name;
|
|
213
|
+
|
|
214
|
+
result := rec();
|
|
215
|
+
result.baseiter := ShallowCopy(iter!.baseiter);
|
|
216
|
+
result.unwrap := iter!.unwrap;
|
|
217
|
+
for name in NamesOfComponents(iter) do
|
|
218
|
+
if not name in ["baseiter", "unwrap"] then
|
|
219
|
+
result.(name) := iter!.(name);
|
|
220
|
+
fi;
|
|
221
|
+
od;
|
|
222
|
+
return result;
|
|
223
|
+
end;
|
|
224
|
+
|
|
225
|
+
# get NextIterator
|
|
226
|
+
if not IsBound(iter.isnew) then
|
|
227
|
+
iter.IsDoneIterator := iter -> IsDoneIterator(iter!.baseiter);
|
|
228
|
+
iter.NextIterator := function(iter)
|
|
229
|
+
local x;
|
|
230
|
+
x := NextIterator(iter!.baseiter);
|
|
231
|
+
if x = fail then
|
|
232
|
+
return fail;
|
|
233
|
+
fi;
|
|
234
|
+
return iter!.unwrap(iter, x);
|
|
235
|
+
end;
|
|
236
|
+
return IteratorByFunctions(iter);
|
|
237
|
+
fi;
|
|
238
|
+
|
|
239
|
+
iter.NextIterator := function(iter)
|
|
240
|
+
local baseiter, x;
|
|
241
|
+
baseiter := iter!.baseiter;
|
|
242
|
+
repeat
|
|
243
|
+
x := NextIterator(baseiter);
|
|
244
|
+
until IsDoneIterator(baseiter) or iter!.isnew(iter, x);
|
|
245
|
+
|
|
246
|
+
if x <> fail and iter!.isnew(iter, x) then
|
|
247
|
+
return iter!.unwrap(iter, x);
|
|
248
|
+
fi;
|
|
249
|
+
return fail;
|
|
250
|
+
end;
|
|
251
|
+
|
|
252
|
+
return IteratorByNextIterator(iter);
|
|
253
|
+
end);
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
#############################################################################
|
|
2
|
+
##
|
|
3
|
+
## tools/utils.gd
|
|
4
|
+
## Copyright (C) 2013-2022 James D. Mitchell
|
|
5
|
+
##
|
|
6
|
+
## Licensing information can be found in the README file of this package.
|
|
7
|
+
##
|
|
8
|
+
#############################################################################
|
|
9
|
+
##
|
|
10
|
+
|
|
11
|
+
DeclareGlobalFunction("SemigroupsMakeDoc");
|
|
12
|
+
DeclareGlobalFunction("SemigroupsTestInstall");
|
|
13
|
+
DeclareGlobalFunction("SemigroupsTestStandard");
|
|
14
|
+
DeclareGlobalFunction("SemigroupsTestExtreme");
|
|
15
|
+
DeclareGlobalFunction("SemigroupsTestAll");
|
|
16
|
+
|
|
17
|
+
DeclareGlobalFunction("ToBeat");
|
|
18
|
+
|
|
19
|
+
SEMIGROUPS.OmitFromTests := [];
|