passagemath-gap-pkg-semigroups 10.6.29__cp312-abi3-manylinux_2_24_x86_64.manylinux_2_28_x86_64.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.

Files changed (354) hide show
  1. gap/pkg/semigroups/CHANGELOG.md +1699 -0
  2. gap/pkg/semigroups/CONTRIBUTING.md +91 -0
  3. gap/pkg/semigroups/GNUmakefile +110 -0
  4. gap/pkg/semigroups/GNUmakefile.in +110 -0
  5. gap/pkg/semigroups/GPL +674 -0
  6. gap/pkg/semigroups/LICENSE +16 -0
  7. gap/pkg/semigroups/Makefile +26 -0
  8. gap/pkg/semigroups/Makefile.gappkg +225 -0
  9. gap/pkg/semigroups/PackageInfo.g +529 -0
  10. gap/pkg/semigroups/README.md +102 -0
  11. gap/pkg/semigroups/VERSIONS +112 -0
  12. gap/pkg/semigroups/aclocal.m4 +375 -0
  13. gap/pkg/semigroups/autogen.sh +25 -0
  14. gap/pkg/semigroups/bin/x86_64-pc-linux-gnu-default64-kv10/semigroups.so +0 -0
  15. gap/pkg/semigroups/config.guess +1807 -0
  16. gap/pkg/semigroups/config.log +1069 -0
  17. gap/pkg/semigroups/config.status +1133 -0
  18. gap/pkg/semigroups/config.sub +1960 -0
  19. gap/pkg/semigroups/configure +9742 -0
  20. gap/pkg/semigroups/configure.ac +71 -0
  21. gap/pkg/semigroups/data/doc/greens.pickle +1 -0
  22. gap/pkg/semigroups/data/gens/fullbool-8.pickle.gz +0 -0
  23. gap/pkg/semigroups/data/gens/fullbool.pickle.gz +0 -0
  24. gap/pkg/semigroups/data/gens/hall.pickle.gz +0 -0
  25. gap/pkg/semigroups/data/gens/reflex-6.pickle.gz +0 -0
  26. gap/pkg/semigroups/data/gens/reflex.pickle.gz +0 -0
  27. gap/pkg/semigroups/data/tst/bipart4 +10 -0
  28. gap/pkg/semigroups/data/tst/pperm10 +1 -0
  29. gap/pkg/semigroups/data/tst/tables.gz +0 -0
  30. gap/pkg/semigroups/data/tst/testdata +1 -0
  31. gap/pkg/semigroups/data/tst/testinstall.pickle +1 -0
  32. gap/pkg/semigroups/data/tst/trans3 +7 -0
  33. gap/pkg/semigroups/data/tst/trans3-old +7 -0
  34. gap/pkg/semigroups/environment.yml +7 -0
  35. gap/pkg/semigroups/gap/attributes/acting.gd +15 -0
  36. gap/pkg/semigroups/gap/attributes/acting.gi +297 -0
  37. gap/pkg/semigroups/gap/attributes/attr.gd +91 -0
  38. gap/pkg/semigroups/gap/attributes/attr.gi +1214 -0
  39. gap/pkg/semigroups/gap/attributes/dual.gd +25 -0
  40. gap/pkg/semigroups/gap/attributes/dual.gi +209 -0
  41. gap/pkg/semigroups/gap/attributes/factor.gd +17 -0
  42. gap/pkg/semigroups/gap/attributes/factor.gi +453 -0
  43. gap/pkg/semigroups/gap/attributes/homomorph.gd +84 -0
  44. gap/pkg/semigroups/gap/attributes/homomorph.gi +591 -0
  45. gap/pkg/semigroups/gap/attributes/inverse.gd +38 -0
  46. gap/pkg/semigroups/gap/attributes/inverse.gi +708 -0
  47. gap/pkg/semigroups/gap/attributes/isomorph.gd +16 -0
  48. gap/pkg/semigroups/gap/attributes/isomorph.gi +377 -0
  49. gap/pkg/semigroups/gap/attributes/isorms.gd +49 -0
  50. gap/pkg/semigroups/gap/attributes/isorms.gi +1383 -0
  51. gap/pkg/semigroups/gap/attributes/maximal.gd +16 -0
  52. gap/pkg/semigroups/gap/attributes/maximal.gi +1876 -0
  53. gap/pkg/semigroups/gap/attributes/properties.gd +109 -0
  54. gap/pkg/semigroups/gap/attributes/properties.gi +1658 -0
  55. gap/pkg/semigroups/gap/attributes/rms-translat.gd +39 -0
  56. gap/pkg/semigroups/gap/attributes/rms-translat.gi +1078 -0
  57. gap/pkg/semigroups/gap/attributes/semifp.gd +12 -0
  58. gap/pkg/semigroups/gap/attributes/semifp.gi +84 -0
  59. gap/pkg/semigroups/gap/attributes/translat.gd +474 -0
  60. gap/pkg/semigroups/gap/attributes/translat.gi +1779 -0
  61. gap/pkg/semigroups/gap/congruences/cong.gd +154 -0
  62. gap/pkg/semigroups/gap/congruences/cong.gi +351 -0
  63. gap/pkg/semigroups/gap/congruences/conginv.gd +38 -0
  64. gap/pkg/semigroups/gap/congruences/conginv.gi +589 -0
  65. gap/pkg/semigroups/gap/congruences/conglatt.gd +101 -0
  66. gap/pkg/semigroups/gap/congruences/conglatt.gi +886 -0
  67. gap/pkg/semigroups/gap/congruences/congpairs.gd +21 -0
  68. gap/pkg/semigroups/gap/congruences/congpairs.gi +272 -0
  69. gap/pkg/semigroups/gap/congruences/congpart.gd +90 -0
  70. gap/pkg/semigroups/gap/congruences/congpart.gi +449 -0
  71. gap/pkg/semigroups/gap/congruences/congrees.gd +20 -0
  72. gap/pkg/semigroups/gap/congruences/congrees.gi +313 -0
  73. gap/pkg/semigroups/gap/congruences/congrms.gd +54 -0
  74. gap/pkg/semigroups/gap/congruences/congrms.gi +1467 -0
  75. gap/pkg/semigroups/gap/congruences/congsemigraph.gd +28 -0
  76. gap/pkg/semigroups/gap/congruences/congsemigraph.gi +289 -0
  77. gap/pkg/semigroups/gap/congruences/congsimple.gd +27 -0
  78. gap/pkg/semigroups/gap/congruences/congsimple.gi +236 -0
  79. gap/pkg/semigroups/gap/congruences/conguniv.gd +20 -0
  80. gap/pkg/semigroups/gap/congruences/conguniv.gi +271 -0
  81. gap/pkg/semigroups/gap/congruences/congwordgraph.gd +21 -0
  82. gap/pkg/semigroups/gap/congruences/congwordgraph.gi +250 -0
  83. gap/pkg/semigroups/gap/elements/bipart.gd +71 -0
  84. gap/pkg/semigroups/gap/elements/bipart.gi +995 -0
  85. gap/pkg/semigroups/gap/elements/blocks.gd +31 -0
  86. gap/pkg/semigroups/gap/elements/blocks.gi +134 -0
  87. gap/pkg/semigroups/gap/elements/boolmat.gd +74 -0
  88. gap/pkg/semigroups/gap/elements/boolmat.gi +726 -0
  89. gap/pkg/semigroups/gap/elements/elements.gd +11 -0
  90. gap/pkg/semigroups/gap/elements/elements.gi +121 -0
  91. gap/pkg/semigroups/gap/elements/ffmat.gd +71 -0
  92. gap/pkg/semigroups/gap/elements/ffmat.gi +311 -0
  93. gap/pkg/semigroups/gap/elements/maxplusmat.gd +131 -0
  94. gap/pkg/semigroups/gap/elements/maxplusmat.gi +782 -0
  95. gap/pkg/semigroups/gap/elements/pbr.gd +51 -0
  96. gap/pkg/semigroups/gap/elements/pbr.gi +740 -0
  97. gap/pkg/semigroups/gap/elements/pperm.gd +11 -0
  98. gap/pkg/semigroups/gap/elements/pperm.gi +14 -0
  99. gap/pkg/semigroups/gap/elements/semiringmat.gd +136 -0
  100. gap/pkg/semigroups/gap/elements/semiringmat.gi +717 -0
  101. gap/pkg/semigroups/gap/elements/star.gd +21 -0
  102. gap/pkg/semigroups/gap/elements/star.gi +21 -0
  103. gap/pkg/semigroups/gap/elements/trans.gd +13 -0
  104. gap/pkg/semigroups/gap/elements/trans.gi +50 -0
  105. gap/pkg/semigroups/gap/fp/freeband.gd +22 -0
  106. gap/pkg/semigroups/gap/fp/freeband.gi +502 -0
  107. gap/pkg/semigroups/gap/fp/freeinverse.gd +30 -0
  108. gap/pkg/semigroups/gap/fp/freeinverse.gi +465 -0
  109. gap/pkg/semigroups/gap/fp/tietze.gd +89 -0
  110. gap/pkg/semigroups/gap/fp/tietze.gi +1578 -0
  111. gap/pkg/semigroups/gap/fp/word.gd +15 -0
  112. gap/pkg/semigroups/gap/fp/word.gi +67 -0
  113. gap/pkg/semigroups/gap/greens/acting-inverse.gi +774 -0
  114. gap/pkg/semigroups/gap/greens/acting-regular.gi +553 -0
  115. gap/pkg/semigroups/gap/greens/acting.gd +81 -0
  116. gap/pkg/semigroups/gap/greens/acting.gi +2433 -0
  117. gap/pkg/semigroups/gap/greens/froidure-pin.gd +25 -0
  118. gap/pkg/semigroups/gap/greens/froidure-pin.gi +741 -0
  119. gap/pkg/semigroups/gap/greens/generic.gd +117 -0
  120. gap/pkg/semigroups/gap/greens/generic.gi +630 -0
  121. gap/pkg/semigroups/gap/ideals/acting.gd +17 -0
  122. gap/pkg/semigroups/gap/ideals/acting.gi +1155 -0
  123. gap/pkg/semigroups/gap/ideals/froidure-pin.gd +11 -0
  124. gap/pkg/semigroups/gap/ideals/froidure-pin.gi +105 -0
  125. gap/pkg/semigroups/gap/ideals/ideals.gd +45 -0
  126. gap/pkg/semigroups/gap/ideals/ideals.gi +442 -0
  127. gap/pkg/semigroups/gap/ideals/lambda-rho.gd +16 -0
  128. gap/pkg/semigroups/gap/ideals/lambda-rho.gi +614 -0
  129. gap/pkg/semigroups/gap/libsemigroups/cong.gd +24 -0
  130. gap/pkg/semigroups/gap/libsemigroups/cong.gi +431 -0
  131. gap/pkg/semigroups/gap/libsemigroups/fpsemi.gd +16 -0
  132. gap/pkg/semigroups/gap/libsemigroups/fpsemi.gi +53 -0
  133. gap/pkg/semigroups/gap/libsemigroups/froidure-pin.gd +17 -0
  134. gap/pkg/semigroups/gap/libsemigroups/froidure-pin.gi +945 -0
  135. gap/pkg/semigroups/gap/libsemigroups/sims1.gd +38 -0
  136. gap/pkg/semigroups/gap/libsemigroups/sims1.gi +308 -0
  137. gap/pkg/semigroups/gap/main/acting.gd +36 -0
  138. gap/pkg/semigroups/gap/main/acting.gi +779 -0
  139. gap/pkg/semigroups/gap/main/froidure-pin.gd +72 -0
  140. gap/pkg/semigroups/gap/main/froidure-pin.gi +655 -0
  141. gap/pkg/semigroups/gap/main/graded.gd +26 -0
  142. gap/pkg/semigroups/gap/main/graded.gi +355 -0
  143. gap/pkg/semigroups/gap/main/lambda-rho.gd +29 -0
  144. gap/pkg/semigroups/gap/main/lambda-rho.gi +514 -0
  145. gap/pkg/semigroups/gap/main/orbits.gd +24 -0
  146. gap/pkg/semigroups/gap/main/orbits.gi +512 -0
  147. gap/pkg/semigroups/gap/main/semiact.gd +20 -0
  148. gap/pkg/semigroups/gap/main/semiact.gi +821 -0
  149. gap/pkg/semigroups/gap/main/setup.gd +61 -0
  150. gap/pkg/semigroups/gap/main/setup.gi +1094 -0
  151. gap/pkg/semigroups/gap/obsolete.gd +9 -0
  152. gap/pkg/semigroups/gap/obsolete.gi +14 -0
  153. gap/pkg/semigroups/gap/options.g +55 -0
  154. gap/pkg/semigroups/gap/semigroups/grpperm.gd +12 -0
  155. gap/pkg/semigroups/gap/semigroups/grpperm.gi +177 -0
  156. gap/pkg/semigroups/gap/semigroups/semibipart.gd +28 -0
  157. gap/pkg/semigroups/gap/semigroups/semibipart.gi +570 -0
  158. gap/pkg/semigroups/gap/semigroups/semiboolmat.gd +20 -0
  159. gap/pkg/semigroups/gap/semigroups/semiboolmat.gi +104 -0
  160. gap/pkg/semigroups/gap/semigroups/semicons.gd +52 -0
  161. gap/pkg/semigroups/gap/semigroups/semicons.gi +1194 -0
  162. gap/pkg/semigroups/gap/semigroups/semidp.gd +13 -0
  163. gap/pkg/semigroups/gap/semigroups/semidp.gi +509 -0
  164. gap/pkg/semigroups/gap/semigroups/semieunit.gd +126 -0
  165. gap/pkg/semigroups/gap/semigroups/semieunit.gi +889 -0
  166. gap/pkg/semigroups/gap/semigroups/semiex.gd +104 -0
  167. gap/pkg/semigroups/gap/semigroups/semiex.gi +1590 -0
  168. gap/pkg/semigroups/gap/semigroups/semiffmat.gd +37 -0
  169. gap/pkg/semigroups/gap/semigroups/semiffmat.gi +565 -0
  170. gap/pkg/semigroups/gap/semigroups/semifp.gd +28 -0
  171. gap/pkg/semigroups/gap/semigroups/semifp.gi +1364 -0
  172. gap/pkg/semigroups/gap/semigroups/semigraph.gd +40 -0
  173. gap/pkg/semigroups/gap/semigroups/semigraph.gi +292 -0
  174. gap/pkg/semigroups/gap/semigroups/semigrp.gd +165 -0
  175. gap/pkg/semigroups/gap/semigroups/semigrp.gi +1225 -0
  176. gap/pkg/semigroups/gap/semigroups/semimaxplus.gd +72 -0
  177. gap/pkg/semigroups/gap/semigroups/semimaxplus.gi +710 -0
  178. gap/pkg/semigroups/gap/semigroups/semintmat.gd +13 -0
  179. gap/pkg/semigroups/gap/semigroups/semintmat.gi +74 -0
  180. gap/pkg/semigroups/gap/semigroups/semipbr.gd +19 -0
  181. gap/pkg/semigroups/gap/semigroups/semipbr.gi +139 -0
  182. gap/pkg/semigroups/gap/semigroups/semipperm.gd +27 -0
  183. gap/pkg/semigroups/gap/semigroups/semipperm.gi +711 -0
  184. gap/pkg/semigroups/gap/semigroups/semiquo.gd +14 -0
  185. gap/pkg/semigroups/gap/semigroups/semiquo.gi +97 -0
  186. gap/pkg/semigroups/gap/semigroups/semiringmat.gd +16 -0
  187. gap/pkg/semigroups/gap/semigroups/semiringmat.gi +21 -0
  188. gap/pkg/semigroups/gap/semigroups/semirms.gd +19 -0
  189. gap/pkg/semigroups/gap/semigroups/semirms.gi +977 -0
  190. gap/pkg/semigroups/gap/semigroups/semitrans.gd +49 -0
  191. gap/pkg/semigroups/gap/semigroups/semitrans.gi +909 -0
  192. gap/pkg/semigroups/gap/tools/display.gd +24 -0
  193. gap/pkg/semigroups/gap/tools/display.gi +749 -0
  194. gap/pkg/semigroups/gap/tools/io.gd +17 -0
  195. gap/pkg/semigroups/gap/tools/io.gi +543 -0
  196. gap/pkg/semigroups/gap/tools/iterators.gd +16 -0
  197. gap/pkg/semigroups/gap/tools/iterators.gi +253 -0
  198. gap/pkg/semigroups/gap/tools/utils.gd +19 -0
  199. gap/pkg/semigroups/gap/tools/utils.gi +756 -0
  200. gap/pkg/semigroups/gapbind14/.ccls +18 -0
  201. gap/pkg/semigroups/gapbind14/.clang-format +104 -0
  202. gap/pkg/semigroups/gapbind14/CPPLINT.cfg +5 -0
  203. gap/pkg/semigroups/gapbind14/LICENSE +674 -0
  204. gap/pkg/semigroups/gapbind14/README.md +76 -0
  205. gap/pkg/semigroups/gapbind14/demo/.gitignore +4 -0
  206. gap/pkg/semigroups/gapbind14/demo/LICENSE +293 -0
  207. gap/pkg/semigroups/gapbind14/demo/Makefile.gappkg +220 -0
  208. gap/pkg/semigroups/gapbind14/demo/Makefile.in +19 -0
  209. gap/pkg/semigroups/gapbind14/demo/PackageInfo.g +87 -0
  210. gap/pkg/semigroups/gapbind14/demo/README.md +17 -0
  211. gap/pkg/semigroups/gapbind14/demo/configure +34 -0
  212. gap/pkg/semigroups/gapbind14/demo/gap/gapbind_demo.gd +19 -0
  213. gap/pkg/semigroups/gapbind14/demo/gap/gapbind_demo.gi +10 -0
  214. gap/pkg/semigroups/gapbind14/demo/init.g +16 -0
  215. gap/pkg/semigroups/gapbind14/demo/makedoc.g +10 -0
  216. gap/pkg/semigroups/gapbind14/demo/read.g +6 -0
  217. gap/pkg/semigroups/gapbind14/demo/src/gapbind_demo.cc +142 -0
  218. gap/pkg/semigroups/gapbind14/demo/tst/testall.g +12 -0
  219. gap/pkg/semigroups/gapbind14/include/gapbind14/cpp_fn.hpp +223 -0
  220. gap/pkg/semigroups/gapbind14/include/gapbind14/gap_include.hpp +26 -0
  221. gap/pkg/semigroups/gapbind14/include/gapbind14/gapbind14.hpp +445 -0
  222. gap/pkg/semigroups/gapbind14/include/gapbind14/tame_free_fn.hpp +420 -0
  223. gap/pkg/semigroups/gapbind14/include/gapbind14/tame_mem_fn.hpp +556 -0
  224. gap/pkg/semigroups/gapbind14/include/gapbind14/to_cpp.hpp +162 -0
  225. gap/pkg/semigroups/gapbind14/include/gapbind14/to_gap.hpp +158 -0
  226. gap/pkg/semigroups/gapbind14/src/.clang-format +108 -0
  227. gap/pkg/semigroups/gapbind14/src/gapbind14.cpp +334 -0
  228. gap/pkg/semigroups/init.g +150 -0
  229. gap/pkg/semigroups/m4/ax_append_flag.m4 +50 -0
  230. gap/pkg/semigroups/m4/ax_check_compile_flag.m4 +53 -0
  231. gap/pkg/semigroups/m4/ax_check_hpcombi.m4 +121 -0
  232. gap/pkg/semigroups/m4/ax_check_libsemigroup.m4 +68 -0
  233. gap/pkg/semigroups/m4/ax_compare_version.m4 +177 -0
  234. gap/pkg/semigroups/m4/ax_cxx_compile_stdcxx.m4 +1009 -0
  235. gap/pkg/semigroups/m4/ax_cxx_compile_stdcxx_14.m4 +34 -0
  236. gap/pkg/semigroups/m4/ax_prefix_config_h.m4 +203 -0
  237. gap/pkg/semigroups/m4/ax_pthread.m4 +522 -0
  238. gap/pkg/semigroups/m4/find_gap.m4 +94 -0
  239. gap/pkg/semigroups/makedoc.g +153 -0
  240. gap/pkg/semigroups/prerequisites.sh +62 -0
  241. gap/pkg/semigroups/read.g +105 -0
  242. gap/pkg/semigroups/release.toml +6 -0
  243. gap/pkg/semigroups/tst/extreme/README +2 -0
  244. gap/pkg/semigroups/tst/extreme/attrinv.tst +703 -0
  245. gap/pkg/semigroups/tst/extreme/bipart.tst +2803 -0
  246. gap/pkg/semigroups/tst/extreme/closure.tst +652 -0
  247. gap/pkg/semigroups/tst/extreme/cong.tst +286 -0
  248. gap/pkg/semigroups/tst/extreme/conginv.tst +43 -0
  249. gap/pkg/semigroups/tst/extreme/examples.tst +2449 -0
  250. gap/pkg/semigroups/tst/extreme/freeband.tst +37 -0
  251. gap/pkg/semigroups/tst/extreme/greens-acting-regular.tst +27 -0
  252. gap/pkg/semigroups/tst/extreme/greens-acting.tst +1999 -0
  253. gap/pkg/semigroups/tst/extreme/ideals.tst +858 -0
  254. gap/pkg/semigroups/tst/extreme/inverse.tst +1025 -0
  255. gap/pkg/semigroups/tst/extreme/maximal.tst +856 -0
  256. gap/pkg/semigroups/tst/extreme/misc.tst +4236 -0
  257. gap/pkg/semigroups/tst/extreme/monoid_pkg.tst +1488 -0
  258. gap/pkg/semigroups/tst/extreme/properties.tst +914 -0
  259. gap/pkg/semigroups/tst/extreme/semibipart.tst +2837 -0
  260. gap/pkg/semigroups/tst/extreme/semieunit.tst +49 -0
  261. gap/pkg/semigroups/tst/extreme/semiffmat.tst +353 -0
  262. gap/pkg/semigroups/tst/extreme/semigroups.tst +245 -0
  263. gap/pkg/semigroups/tst/extreme/semiiter.tst +58 -0
  264. gap/pkg/semigroups/tst/extreme/semirms.tst +1091 -0
  265. gap/pkg/semigroups/tst/extreme/transform.tst +305 -0
  266. gap/pkg/semigroups/tst/extreme/translat.tst +44 -0
  267. gap/pkg/semigroups/tst/standard/README +2 -0
  268. gap/pkg/semigroups/tst/standard/attributes/acting.tst +388 -0
  269. gap/pkg/semigroups/tst/standard/attributes/attr.tst +2404 -0
  270. gap/pkg/semigroups/tst/standard/attributes/dual.tst +308 -0
  271. gap/pkg/semigroups/tst/standard/attributes/factor.tst +629 -0
  272. gap/pkg/semigroups/tst/standard/attributes/homomorph.tst +1134 -0
  273. gap/pkg/semigroups/tst/standard/attributes/inverse.tst +1521 -0
  274. gap/pkg/semigroups/tst/standard/attributes/isomorph.tst +435 -0
  275. gap/pkg/semigroups/tst/standard/attributes/isorms.tst +1147 -0
  276. gap/pkg/semigroups/tst/standard/attributes/maximal.tst +853 -0
  277. gap/pkg/semigroups/tst/standard/attributes/properties.tst +2028 -0
  278. gap/pkg/semigroups/tst/standard/attributes/semifp.tst +53 -0
  279. gap/pkg/semigroups/tst/standard/attributes/translat.tst +796 -0
  280. gap/pkg/semigroups/tst/standard/congruences/cong.tst +1044 -0
  281. gap/pkg/semigroups/tst/standard/congruences/conginv.tst +292 -0
  282. gap/pkg/semigroups/tst/standard/congruences/conglatt.tst +421 -0
  283. gap/pkg/semigroups/tst/standard/congruences/congpairs.tst +1011 -0
  284. gap/pkg/semigroups/tst/standard/congruences/congrees.tst +288 -0
  285. gap/pkg/semigroups/tst/standard/congruences/congrms.tst +701 -0
  286. gap/pkg/semigroups/tst/standard/congruences/congsemigraph.tst +422 -0
  287. gap/pkg/semigroups/tst/standard/congruences/congsimple.tst +311 -0
  288. gap/pkg/semigroups/tst/standard/congruences/conguniv.tst +259 -0
  289. gap/pkg/semigroups/tst/standard/congruences/congwordgraph.tst +330 -0
  290. gap/pkg/semigroups/tst/standard/elements/bipart.tst +783 -0
  291. gap/pkg/semigroups/tst/standard/elements/blocks.tst +166 -0
  292. gap/pkg/semigroups/tst/standard/elements/boolmat.tst +608 -0
  293. gap/pkg/semigroups/tst/standard/elements/elements.tst +117 -0
  294. gap/pkg/semigroups/tst/standard/elements/ffmat.tst +349 -0
  295. gap/pkg/semigroups/tst/standard/elements/maxplusmat.tst +613 -0
  296. gap/pkg/semigroups/tst/standard/elements/pbr.tst +506 -0
  297. gap/pkg/semigroups/tst/standard/elements/pperm.tst +32 -0
  298. gap/pkg/semigroups/tst/standard/elements/semiringmat.tst +601 -0
  299. gap/pkg/semigroups/tst/standard/elements/trans.tst +58 -0
  300. gap/pkg/semigroups/tst/standard/fp/freeband.tst +311 -0
  301. gap/pkg/semigroups/tst/standard/fp/freeinverse.tst +147 -0
  302. gap/pkg/semigroups/tst/standard/fp/tietze.tst +780 -0
  303. gap/pkg/semigroups/tst/standard/fp/word.tst +106 -0
  304. gap/pkg/semigroups/tst/standard/greens/acting-inverse.tst +545 -0
  305. gap/pkg/semigroups/tst/standard/greens/acting-regular.tst +396 -0
  306. gap/pkg/semigroups/tst/standard/greens/acting.tst +2033 -0
  307. gap/pkg/semigroups/tst/standard/greens/froidure-pin.tst +1831 -0
  308. gap/pkg/semigroups/tst/standard/greens/generic.tst +1436 -0
  309. gap/pkg/semigroups/tst/standard/ideals/acting.tst +279 -0
  310. gap/pkg/semigroups/tst/standard/ideals/froidure-pin.tst +178 -0
  311. gap/pkg/semigroups/tst/standard/ideals/ideals.tst +380 -0
  312. gap/pkg/semigroups/tst/standard/libsemigroups/cong.tst +310 -0
  313. gap/pkg/semigroups/tst/standard/libsemigroups/froidure-pin.tst +778 -0
  314. gap/pkg/semigroups/tst/standard/libsemigroups/sims1.tst +379 -0
  315. gap/pkg/semigroups/tst/standard/main/acting.tst +411 -0
  316. gap/pkg/semigroups/tst/standard/main/froidure-pin.tst +392 -0
  317. gap/pkg/semigroups/tst/standard/main/semiact.tst +203 -0
  318. gap/pkg/semigroups/tst/standard/main/setup.tst +1144 -0
  319. gap/pkg/semigroups/tst/standard/obsolete.tst +19 -0
  320. gap/pkg/semigroups/tst/standard/options.tst +54 -0
  321. gap/pkg/semigroups/tst/standard/semigroups/grpperm.tst +581 -0
  322. gap/pkg/semigroups/tst/standard/semigroups/semibipart.tst +2635 -0
  323. gap/pkg/semigroups/tst/standard/semigroups/semiboolmat.tst +1871 -0
  324. gap/pkg/semigroups/tst/standard/semigroups/semicons.tst +1173 -0
  325. gap/pkg/semigroups/tst/standard/semigroups/semidp.tst +739 -0
  326. gap/pkg/semigroups/tst/standard/semigroups/semieunit.tst +339 -0
  327. gap/pkg/semigroups/tst/standard/semigroups/semiex.tst +2055 -0
  328. gap/pkg/semigroups/tst/standard/semigroups/semiffmat.tst +746 -0
  329. gap/pkg/semigroups/tst/standard/semigroups/semifp.tst +2702 -0
  330. gap/pkg/semigroups/tst/standard/semigroups/semigraph.tst +133 -0
  331. gap/pkg/semigroups/tst/standard/semigroups/semigrp.tst +1112 -0
  332. gap/pkg/semigroups/tst/standard/semigroups/semimaxplus.tst +654 -0
  333. gap/pkg/semigroups/tst/standard/semigroups/semipbr.tst +2142 -0
  334. gap/pkg/semigroups/tst/standard/semigroups/semipperm.tst +2169 -0
  335. gap/pkg/semigroups/tst/standard/semigroups/semiquo.tst +278 -0
  336. gap/pkg/semigroups/tst/standard/semigroups/semirms.tst +3010 -0
  337. gap/pkg/semigroups/tst/standard/semigroups/semitrans.tst +2758 -0
  338. gap/pkg/semigroups/tst/standard/tools/display.tst +1040 -0
  339. gap/pkg/semigroups/tst/standard/tools/io.tst +363 -0
  340. gap/pkg/semigroups/tst/testinstall.tst +1815 -0
  341. gap/pkg/semigroups/tst/teststandard.g +22 -0
  342. gap/pkg/semigroups/tst/workspaces/load-workspace.tst +142 -0
  343. gap/pkg/semigroups/tst/workspaces/load.g +11 -0
  344. gap/pkg/semigroups/tst/workspaces/save-workspace.tst +166 -0
  345. gap/pkg/semigroups/tst/workspaces/save.g +14 -0
  346. passagemath_gap_pkg_semigroups-10.6.29.dist-info/METADATA +93 -0
  347. passagemath_gap_pkg_semigroups-10.6.29.dist-info/METADATA.bak +94 -0
  348. passagemath_gap_pkg_semigroups-10.6.29.dist-info/RECORD +354 -0
  349. passagemath_gap_pkg_semigroups-10.6.29.dist-info/WHEEL +6 -0
  350. passagemath_gap_pkg_semigroups-10.6.29.dist-info/top_level.txt +1 -0
  351. passagemath_gap_pkg_semigroups.libs/libsemigroups-6be12ad2.so.2.0.0 +0 -0
  352. sage/all__sagemath_gap_pkg_semigroups.py +1 -0
  353. sage/libs/all__sagemath_gap_pkg_semigroups.py +1 -0
  354. 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,/host/sage-manylinux_2_28_x86_64/lib -lsemigroups
8
+
9
+ # configure settings
10
+ GAPPATH = /host/sage-manylinux_2_28_x86_64/lib/gap
11
+ HPCOMBI_CONSTEXPR_FUN_ARGS = yes
12
+ LIBSEMIGROUPS_HPCOMBI_ENABLED = yes
13
+ WITH_INCLUDED_LIBSEMIGROUPS =
14
+ SYS_IS_CYGWIN =
15
+ abs_top_builddir = /host/sage-manylinux_2_28_x86_64/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