passagemath-gap-pkg-semigroups 10.6.30__cp312-abi3-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.abi3.so +0 -0
|
@@ -0,0 +1,91 @@
|
|
|
1
|
+
## Contributing to the Semigroups package for GAP
|
|
2
|
+
|
|
3
|
+
#### Copyright (C) 2011-2022 James D. Mitchell
|
|
4
|
+
#### Licensing information is available in the LICENSE file.
|
|
5
|
+
|
|
6
|
+
We invite everyone to contribute by submitting patches, pull requests, and bug
|
|
7
|
+
reports. We would like to make the contributing process as easy as possible.
|
|
8
|
+
|
|
9
|
+
## Issue reporting and code contributions
|
|
10
|
+
|
|
11
|
+
* Before you report an issue, or wish to add functionality, please try
|
|
12
|
+
and check to see if there are existing
|
|
13
|
+
[issues](https://github.com/semigroups/Semigroups/issues) or
|
|
14
|
+
[pull requests](https://github.com/semigroups/Semigroups/pulls).
|
|
15
|
+
We do not want you wasting your time duplicating somebody else's work.
|
|
16
|
+
* For substantial changes it is also advisable to contact us before
|
|
17
|
+
you start work to discuss your ideas.
|
|
18
|
+
* To help increase the chance of your pull request being accepted:
|
|
19
|
+
* Run the tests.
|
|
20
|
+
* Update the documentation, tests, examples, guides, and whatever
|
|
21
|
+
else is affected by your contribution.
|
|
22
|
+
* Use appropriate code formatting for both C and GAP (more details below).
|
|
23
|
+
* *The Campsite Rule*
|
|
24
|
+
A basic rule when contributing to GAP is the **campsite rule**:
|
|
25
|
+
leave the codebase in better condition than you found it.
|
|
26
|
+
Please clean up any messes that you find, and don't
|
|
27
|
+
leave behind new messes for the next contributor.
|
|
28
|
+
|
|
29
|
+
### Branches for contributions
|
|
30
|
+
|
|
31
|
+
Bugfixes and technical changes should be made in branches off the next release
|
|
32
|
+
branch, in a fork of the repository. Releases are currently made from
|
|
33
|
+
`stable-3.1` branch. If there is more than one open branch with this type of
|
|
34
|
+
name, then please use the lowest numbered such branch.
|
|
35
|
+
|
|
36
|
+
New features should be developed in branches off the `master` branch, in
|
|
37
|
+
a fork of the repository. You should regularly merge/rebase the `master` branch
|
|
38
|
+
into your feature branch.
|
|
39
|
+
|
|
40
|
+
When you think your changes are ready to go into
|
|
41
|
+
a release, please make a pull request.
|
|
42
|
+
|
|
43
|
+
Before asking us to merge your code please ensure that:
|
|
44
|
+
|
|
45
|
+
* your code is documented and tested
|
|
46
|
+
* all of the tests run without errors
|
|
47
|
+
* you have used the coding conventions below
|
|
48
|
+
|
|
49
|
+
### Coding conventions
|
|
50
|
+
|
|
51
|
+
* 2 spaces for indentation
|
|
52
|
+
* continuation of lines containing `if`, `for`, `while` should be indented by
|
|
53
|
+
an extra 2 spaces
|
|
54
|
+
* continuation of lines containing an opening bracket but not the matching
|
|
55
|
+
closed bracket should be indented so that the content of the next line is
|
|
56
|
+
aligned with the opening bracket.
|
|
57
|
+
* no tabs
|
|
58
|
+
* no trailing whitespace
|
|
59
|
+
* no line containing more than one semicolon `;`
|
|
60
|
+
* no lines exceeding 80 characters
|
|
61
|
+
* the operators `+`, `:=`, `*` and so on, should be immediately preceded and
|
|
62
|
+
followed by a space
|
|
63
|
+
* there should be no whitespace after an opening bracket or before a closing
|
|
64
|
+
bracket
|
|
65
|
+
* there should be exactly one space after a comma `,` except if it is at the end
|
|
66
|
+
of line
|
|
67
|
+
* there should not be adjacent empty lines
|
|
68
|
+
* there should not be variables which are declared but not used
|
|
69
|
+
* everything declared in the file `gap/blah.gd` should be documented in the file
|
|
70
|
+
`doc/blah.xml`. If a function or method is for internal use only, then its
|
|
71
|
+
name should have the prefix `SEMIGROUPS_` or it should have the suffix `NC`.
|
|
72
|
+
If a function or method is for use in one file only, then it should be
|
|
73
|
+
assigned using `BindGlobal` in that file.
|
|
74
|
+
* functions should only be assigned using the `foo := function()` syntax if they
|
|
75
|
+
are local variables inside another function; all other functions should be global.
|
|
76
|
+
* error messages should give enough information for the user to know what they need
|
|
77
|
+
to change. For example, if a function has received the wrong input type, an
|
|
78
|
+
appropriate error to return is: `ErrorNoReturn("expected [something] as 2nd
|
|
79
|
+
argument, found [something else]")`.
|
|
80
|
+
* functions and variables which will be unbound after they are read must have
|
|
81
|
+
an underscore '_' at the start.
|
|
82
|
+
* non-user operations must start SEMIGROUPS_
|
|
83
|
+
* other non-user functions, variables etc should be stored inside the
|
|
84
|
+
SEMIGROUPS global record (so that they do not pollute GAP with lots of
|
|
85
|
+
internal names of functions). Remember that record look up can be expensive so
|
|
86
|
+
if you need to use a function in SEMIGROUPS in a tight loop, then put it into
|
|
87
|
+
a local variable.
|
|
88
|
+
|
|
89
|
+
Adapted from the contributing files for
|
|
90
|
+
[GAP](https://github.com/gap-system/gap/blob/master/CONTRIBUTING.md)
|
|
91
|
+
|
|
@@ -0,0 +1,110 @@
|
|
|
1
|
+
#
|
|
2
|
+
# Makefile rules for the semigroups package
|
|
3
|
+
#
|
|
4
|
+
KEXT_NAME = semigroups
|
|
5
|
+
|
|
6
|
+
KEXT_CXXFLAGS = -std=gnu++14 -O3
|
|
7
|
+
KEXT_LDFLAGS = -Wl,-rpath,/Users/runner/sage-local/lib -lsemigroups
|
|
8
|
+
|
|
9
|
+
# configure settings
|
|
10
|
+
GAPPATH = /Users/runner/sage-local/lib/gap
|
|
11
|
+
HPCOMBI_CONSTEXPR_FUN_ARGS =
|
|
12
|
+
LIBSEMIGROUPS_HPCOMBI_ENABLED =
|
|
13
|
+
WITH_INCLUDED_LIBSEMIGROUPS =
|
|
14
|
+
SYS_IS_CYGWIN =
|
|
15
|
+
abs_top_builddir = /Users/runner/sage-local/var/tmp/sage/build/semigroups-5.5.3/src
|
|
16
|
+
|
|
17
|
+
# sources
|
|
18
|
+
KEXT_SOURCES = src/bipart.cpp
|
|
19
|
+
KEXT_SOURCES += src/cong.cpp
|
|
20
|
+
KEXT_SOURCES += src/conglatt.cpp
|
|
21
|
+
KEXT_SOURCES += src/froidure-pin-base.cpp
|
|
22
|
+
KEXT_SOURCES += src/froidure-pin-bipart.cpp
|
|
23
|
+
KEXT_SOURCES += src/froidure-pin-bmat.cpp
|
|
24
|
+
KEXT_SOURCES += src/froidure-pin-fallback.cpp
|
|
25
|
+
KEXT_SOURCES += src/froidure-pin-matrix.cpp
|
|
26
|
+
KEXT_SOURCES += src/froidure-pin-max-plus-mat.cpp
|
|
27
|
+
KEXT_SOURCES += src/froidure-pin-min-plus-mat.cpp
|
|
28
|
+
KEXT_SOURCES += src/froidure-pin-pbr.cpp
|
|
29
|
+
KEXT_SOURCES += src/froidure-pin-pperm.cpp
|
|
30
|
+
KEXT_SOURCES += src/froidure-pin-transf.cpp
|
|
31
|
+
KEXT_SOURCES += src/pkg.cpp
|
|
32
|
+
KEXT_SOURCES += src/to_gap.cpp
|
|
33
|
+
KEXT_SOURCES += gapbind14/src/gapbind14.cpp
|
|
34
|
+
|
|
35
|
+
KEXT_CPPFLAGS = -Igapbind14/include/
|
|
36
|
+
|
|
37
|
+
ifdef HPCOMBI_CONSTEXPR_FUN_ARGS
|
|
38
|
+
KEXT_CPPFLAGS += -DHPCOMBI_CONSTEXPR_FUN_ARGS
|
|
39
|
+
endif
|
|
40
|
+
|
|
41
|
+
ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
|
|
42
|
+
KEXT_CXXFLAGS += -mavx -flax-vector-conversions
|
|
43
|
+
endif
|
|
44
|
+
|
|
45
|
+
ifdef WITH_INCLUDED_LIBSEMIGROUPS
|
|
46
|
+
# FIXME(later) all the include paths should point into bin/include/ and not to
|
|
47
|
+
# the sources, or otherwise we should stop make installing into bin
|
|
48
|
+
ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
|
|
49
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include
|
|
50
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include/fallback
|
|
51
|
+
endif
|
|
52
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/fmt-8.0.1/include
|
|
53
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/include
|
|
54
|
+
endif
|
|
55
|
+
KEXT_CPPFLAGS += -DFMT_HEADER_ONLY
|
|
56
|
+
|
|
57
|
+
ifdef KERNEL_DEBUG
|
|
58
|
+
KEXT_CPPFLAGS += -DDEBUG
|
|
59
|
+
else
|
|
60
|
+
KEXT_CPPFLAGS += -DNDEBUG
|
|
61
|
+
endif
|
|
62
|
+
|
|
63
|
+
KEXT_CXXFLAGS += $(KEXT_CPPFLAGS) # HACK: there is no KEXT_CPPFLAGS
|
|
64
|
+
|
|
65
|
+
# HACK: On cygwin, add this flag to work around issues where fork() sometimes
|
|
66
|
+
# fails on Cygwin when semigroups.so is loaded into GAP. This will hopefully
|
|
67
|
+
# become unnecessary with GAP 4.13, which will automatically add this to the
|
|
68
|
+
# flags.
|
|
69
|
+
ifdef SYS_IS_CYGWIN
|
|
70
|
+
KEXT_LDFLAGS += -Wl,--enable-auto-image-base
|
|
71
|
+
endif
|
|
72
|
+
|
|
73
|
+
# include shared GAP package build system
|
|
74
|
+
KEXT_USE_AUTOCONF = 1
|
|
75
|
+
include Makefile.gappkg
|
|
76
|
+
|
|
77
|
+
# ensure pkgconfig.h is built
|
|
78
|
+
$(KEXT_OBJS): gen/pkgconfig.h
|
|
79
|
+
|
|
80
|
+
ifdef WITH_INCLUDED_LIBSEMIGROUPS
|
|
81
|
+
# ensure libsemigroups is installed into bin before compiling
|
|
82
|
+
$(KEXT_OBJS): bin/include/libsemigroups/libsemigroups.hpp
|
|
83
|
+
|
|
84
|
+
# the following is only run if BUILT_SOURCES is wound up
|
|
85
|
+
bin/include/libsemigroups/libsemigroups.hpp:
|
|
86
|
+
$(MAKE) -C libsemigroups install
|
|
87
|
+
# Cygwin only looks for DLLs in the same directory as the executable
|
|
88
|
+
# resides in. The following achieves that assuming that the GAP
|
|
89
|
+
# being used was self-compiled by the user. This supports
|
|
90
|
+
# both older GAPs with libtool (first) and GAP without libtool (second)
|
|
91
|
+
if test -f bin/bin/cygsemigroups*.dll ; then if test -d $(GAPPATH)/.libs; then cp bin/bin/cygsemigroups*.dll $(GAPPATH)/.libs/ ; fi ; fi
|
|
92
|
+
if test -f bin/bin/cygsemigroups*.dll ; then cp bin/bin/cygsemigroups*.dll $(GAPPATH)/ ; fi
|
|
93
|
+
|
|
94
|
+
endif
|
|
95
|
+
|
|
96
|
+
clean:
|
|
97
|
+
find . -name '*.gcda' -delete
|
|
98
|
+
|
|
99
|
+
lint:
|
|
100
|
+
etc/gaplint.sh
|
|
101
|
+
etc/cpplint.sh
|
|
102
|
+
|
|
103
|
+
format:
|
|
104
|
+
clang-format -i src/*.*pp
|
|
105
|
+
|
|
106
|
+
.PHONY: lint format
|
|
107
|
+
|
|
108
|
+
superclean: distclean
|
|
109
|
+
git clean -xdf --exclude *.swp --exclude *.swo
|
|
110
|
+
.PHONY: superclean
|
|
@@ -0,0 +1,110 @@
|
|
|
1
|
+
#
|
|
2
|
+
# Makefile rules for the semigroups package
|
|
3
|
+
#
|
|
4
|
+
KEXT_NAME = semigroups
|
|
5
|
+
|
|
6
|
+
KEXT_CXXFLAGS = @LIBSEMIGROUPS_CFLAGS@ -std=gnu++14 -O3
|
|
7
|
+
KEXT_LDFLAGS = @LIBSEMIGROUPS_RPATH@ @LIBSEMIGROUPS_LIBS@
|
|
8
|
+
|
|
9
|
+
# configure settings
|
|
10
|
+
GAPPATH = @GAPROOT@
|
|
11
|
+
HPCOMBI_CONSTEXPR_FUN_ARGS = @HPCOMBI_CONSTEXPR_FUN_ARGS@
|
|
12
|
+
LIBSEMIGROUPS_HPCOMBI_ENABLED = @LIBSEMIGROUPS_HPCOMBI_ENABLED@
|
|
13
|
+
WITH_INCLUDED_LIBSEMIGROUPS = @WITH_INCLUDED_LIBSEMIGROUPS@
|
|
14
|
+
SYS_IS_CYGWIN = @SYS_IS_CYGWIN@
|
|
15
|
+
abs_top_builddir = @abs_top_builddir@
|
|
16
|
+
|
|
17
|
+
# sources
|
|
18
|
+
KEXT_SOURCES = src/bipart.cpp
|
|
19
|
+
KEXT_SOURCES += src/cong.cpp
|
|
20
|
+
KEXT_SOURCES += src/conglatt.cpp
|
|
21
|
+
KEXT_SOURCES += src/froidure-pin-base.cpp
|
|
22
|
+
KEXT_SOURCES += src/froidure-pin-bipart.cpp
|
|
23
|
+
KEXT_SOURCES += src/froidure-pin-bmat.cpp
|
|
24
|
+
KEXT_SOURCES += src/froidure-pin-fallback.cpp
|
|
25
|
+
KEXT_SOURCES += src/froidure-pin-matrix.cpp
|
|
26
|
+
KEXT_SOURCES += src/froidure-pin-max-plus-mat.cpp
|
|
27
|
+
KEXT_SOURCES += src/froidure-pin-min-plus-mat.cpp
|
|
28
|
+
KEXT_SOURCES += src/froidure-pin-pbr.cpp
|
|
29
|
+
KEXT_SOURCES += src/froidure-pin-pperm.cpp
|
|
30
|
+
KEXT_SOURCES += src/froidure-pin-transf.cpp
|
|
31
|
+
KEXT_SOURCES += src/pkg.cpp
|
|
32
|
+
KEXT_SOURCES += src/to_gap.cpp
|
|
33
|
+
KEXT_SOURCES += gapbind14/src/gapbind14.cpp
|
|
34
|
+
|
|
35
|
+
KEXT_CPPFLAGS = -Igapbind14/include/
|
|
36
|
+
|
|
37
|
+
ifdef HPCOMBI_CONSTEXPR_FUN_ARGS
|
|
38
|
+
KEXT_CPPFLAGS += -DHPCOMBI_CONSTEXPR_FUN_ARGS
|
|
39
|
+
endif
|
|
40
|
+
|
|
41
|
+
ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
|
|
42
|
+
KEXT_CXXFLAGS += @HPCOMBI_CXXFLAGS@
|
|
43
|
+
endif
|
|
44
|
+
|
|
45
|
+
ifdef WITH_INCLUDED_LIBSEMIGROUPS
|
|
46
|
+
# FIXME(later) all the include paths should point into bin/include/ and not to
|
|
47
|
+
# the sources, or otherwise we should stop make installing into bin
|
|
48
|
+
ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
|
|
49
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include
|
|
50
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include/fallback
|
|
51
|
+
endif
|
|
52
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/extern/fmt-8.0.1/include
|
|
53
|
+
KEXT_CPPFLAGS += -Ilibsemigroups/include
|
|
54
|
+
endif
|
|
55
|
+
KEXT_CPPFLAGS += -DFMT_HEADER_ONLY
|
|
56
|
+
|
|
57
|
+
ifdef KERNEL_DEBUG
|
|
58
|
+
KEXT_CPPFLAGS += -DDEBUG
|
|
59
|
+
else
|
|
60
|
+
KEXT_CPPFLAGS += -DNDEBUG
|
|
61
|
+
endif
|
|
62
|
+
|
|
63
|
+
KEXT_CXXFLAGS += $(KEXT_CPPFLAGS) # HACK: there is no KEXT_CPPFLAGS
|
|
64
|
+
|
|
65
|
+
# HACK: On cygwin, add this flag to work around issues where fork() sometimes
|
|
66
|
+
# fails on Cygwin when semigroups.so is loaded into GAP. This will hopefully
|
|
67
|
+
# become unnecessary with GAP 4.13, which will automatically add this to the
|
|
68
|
+
# flags.
|
|
69
|
+
ifdef SYS_IS_CYGWIN
|
|
70
|
+
KEXT_LDFLAGS += -Wl,--enable-auto-image-base
|
|
71
|
+
endif
|
|
72
|
+
|
|
73
|
+
# include shared GAP package build system
|
|
74
|
+
KEXT_USE_AUTOCONF = 1
|
|
75
|
+
include Makefile.gappkg
|
|
76
|
+
|
|
77
|
+
# ensure pkgconfig.h is built
|
|
78
|
+
$(KEXT_OBJS): gen/pkgconfig.h
|
|
79
|
+
|
|
80
|
+
ifdef WITH_INCLUDED_LIBSEMIGROUPS
|
|
81
|
+
# ensure libsemigroups is installed into bin before compiling
|
|
82
|
+
$(KEXT_OBJS): bin/include/libsemigroups/libsemigroups.hpp
|
|
83
|
+
|
|
84
|
+
# the following is only run if BUILT_SOURCES is wound up
|
|
85
|
+
bin/include/libsemigroups/libsemigroups.hpp:
|
|
86
|
+
$(MAKE) -C libsemigroups install
|
|
87
|
+
# Cygwin only looks for DLLs in the same directory as the executable
|
|
88
|
+
# resides in. The following achieves that assuming that the GAP
|
|
89
|
+
# being used was self-compiled by the user. This supports
|
|
90
|
+
# both older GAPs with libtool (first) and GAP without libtool (second)
|
|
91
|
+
if test -f bin/bin/cygsemigroups*.dll ; then if test -d $(GAPPATH)/.libs; then cp bin/bin/cygsemigroups*.dll $(GAPPATH)/.libs/ ; fi ; fi
|
|
92
|
+
if test -f bin/bin/cygsemigroups*.dll ; then cp bin/bin/cygsemigroups*.dll $(GAPPATH)/ ; fi
|
|
93
|
+
|
|
94
|
+
endif
|
|
95
|
+
|
|
96
|
+
clean:
|
|
97
|
+
find . -name '*.gcda' -delete
|
|
98
|
+
|
|
99
|
+
lint:
|
|
100
|
+
etc/gaplint.sh
|
|
101
|
+
etc/cpplint.sh
|
|
102
|
+
|
|
103
|
+
format:
|
|
104
|
+
clang-format -i src/*.*pp
|
|
105
|
+
|
|
106
|
+
.PHONY: lint format
|
|
107
|
+
|
|
108
|
+
superclean: distclean
|
|
109
|
+
git clean -xdf --exclude *.swp --exclude *.swo
|
|
110
|
+
.PHONY: superclean
|