├── .github └── workflows │ └── build.yml ├── .gitignore ├── CHANGES.md ├── Makefile ├── README.md ├── TODO ├── alg.opam ├── docs ├── .gitignore └── Makefile ├── dune-project ├── src ├── .gitignore ├── ARS.ml ├── Makefile ├── algebra.ml ├── alphabet.ml ├── automaton.ml ├── category.ml ├── combinatoryLogic.ml ├── dune ├── extlib.ml ├── field.ml ├── globular.ml ├── graph.ml ├── group.ml ├── hypergraph.ml ├── matrix.ml ├── module.ml ├── monoid.ml ├── precategory.ml ├── precubical.ml ├── ring.ml ├── series.ml ├── simplicial.ml ├── term.ml ├── test │ └── test.ml └── utils.ml ├── test ├── .gitignore ├── 2group │ ├── Makefile │ ├── dune │ ├── groups.ml │ └── groups2.ml ├── Makefile ├── anick0.ml ├── anick1.ml ├── anick2.ml ├── anick3.ml ├── braids.ml ├── catpres.ml ├── ccc.ml ├── cl.ml ├── cubical.ml ├── dihedral.ml ├── dune ├── gen.ml ├── jordan.ml ├── kb.ml ├── kleene.ml ├── mirai.ml ├── mon.ml ├── mone.ml ├── moni.ml ├── qgroup.ml ├── quaternion.ml ├── rig.ml ├── simpl.ml ├── squierGroup.ml ├── squierGroupFull.tex ├── squierMonoid.ml ├── stl.ml ├── stl2.ml ├── uatao.ml └── uatao2.ml └── tools ├── Makefile ├── bergman ├── Makefile ├── bergman ├── bergman.css ├── bergman.ml ├── bergmanjs.ml ├── dune ├── index.html ├── lexer.mll ├── parser.mly └── pol.ml ├── kb ├── .merlin ├── Makefile ├── dune ├── index.html ├── kb.css ├── kb.ml ├── lexer.mll ├── parser.mly └── parserRefs.ml └── rewr2 ├── Makefile ├── dune ├── index.html └── rewr2.ml /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/CHANGES.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/TODO -------------------------------------------------------------------------------- /alg.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/alg.opam -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | alg 2 | bergman 3 | kb 4 | rewr2 5 | index.html 6 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/docs/Makefile -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/dune-project -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- 1 | test 2 | -------------------------------------------------------------------------------- /src/ARS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/ARS.ml -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/algebra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/algebra.ml -------------------------------------------------------------------------------- /src/alphabet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/alphabet.ml -------------------------------------------------------------------------------- /src/automaton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/automaton.ml -------------------------------------------------------------------------------- /src/category.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/category.ml -------------------------------------------------------------------------------- /src/combinatoryLogic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/combinatoryLogic.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/dune -------------------------------------------------------------------------------- /src/extlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/extlib.ml -------------------------------------------------------------------------------- /src/field.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/field.ml -------------------------------------------------------------------------------- /src/globular.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/globular.ml -------------------------------------------------------------------------------- /src/graph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/graph.ml -------------------------------------------------------------------------------- /src/group.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/group.ml -------------------------------------------------------------------------------- /src/hypergraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/hypergraph.ml -------------------------------------------------------------------------------- /src/matrix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/matrix.ml -------------------------------------------------------------------------------- /src/module.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/module.ml -------------------------------------------------------------------------------- /src/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/monoid.ml -------------------------------------------------------------------------------- /src/precategory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/precategory.ml -------------------------------------------------------------------------------- /src/precubical.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/precubical.ml -------------------------------------------------------------------------------- /src/ring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/ring.ml -------------------------------------------------------------------------------- /src/series.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/series.ml -------------------------------------------------------------------------------- /src/simplicial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/simplicial.ml -------------------------------------------------------------------------------- /src/term.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/term.ml -------------------------------------------------------------------------------- /src/test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/test/test.ml -------------------------------------------------------------------------------- /src/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/src/utils.ml -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | *.tex -------------------------------------------------------------------------------- /test/2group/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | @dune build 3 | -------------------------------------------------------------------------------- /test/2group/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/2group/dune -------------------------------------------------------------------------------- /test/2group/groups.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/2group/groups.ml -------------------------------------------------------------------------------- /test/2group/groups2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/2group/groups2.ml -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/anick0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/anick0.ml -------------------------------------------------------------------------------- /test/anick1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/anick1.ml -------------------------------------------------------------------------------- /test/anick2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/anick2.ml -------------------------------------------------------------------------------- /test/anick3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/anick3.ml -------------------------------------------------------------------------------- /test/braids.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/braids.ml -------------------------------------------------------------------------------- /test/catpres.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/catpres.ml -------------------------------------------------------------------------------- /test/ccc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/ccc.ml -------------------------------------------------------------------------------- /test/cl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/cl.ml -------------------------------------------------------------------------------- /test/cubical.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/cubical.ml -------------------------------------------------------------------------------- /test/dihedral.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/dihedral.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/dune -------------------------------------------------------------------------------- /test/gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/gen.ml -------------------------------------------------------------------------------- /test/jordan.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/jordan.ml -------------------------------------------------------------------------------- /test/kb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/kb.ml -------------------------------------------------------------------------------- /test/kleene.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/kleene.ml -------------------------------------------------------------------------------- /test/mirai.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/mirai.ml -------------------------------------------------------------------------------- /test/mon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/mon.ml -------------------------------------------------------------------------------- /test/mone.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/mone.ml -------------------------------------------------------------------------------- /test/moni.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/moni.ml -------------------------------------------------------------------------------- /test/qgroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/qgroup.ml -------------------------------------------------------------------------------- /test/quaternion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/quaternion.ml -------------------------------------------------------------------------------- /test/rig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/rig.ml -------------------------------------------------------------------------------- /test/simpl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/simpl.ml -------------------------------------------------------------------------------- /test/squierGroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/squierGroup.ml -------------------------------------------------------------------------------- /test/squierGroupFull.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/squierGroupFull.tex -------------------------------------------------------------------------------- /test/squierMonoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/squierMonoid.ml -------------------------------------------------------------------------------- /test/stl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/stl.ml -------------------------------------------------------------------------------- /test/stl2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/stl2.ml -------------------------------------------------------------------------------- /test/uatao.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/uatao.ml -------------------------------------------------------------------------------- /test/uatao2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/test/uatao2.ml -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/bergman/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/Makefile -------------------------------------------------------------------------------- /tools/bergman/bergman: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/bergman -------------------------------------------------------------------------------- /tools/bergman/bergman.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/bergman.css -------------------------------------------------------------------------------- /tools/bergman/bergman.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/bergman.ml -------------------------------------------------------------------------------- /tools/bergman/bergmanjs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/bergmanjs.ml -------------------------------------------------------------------------------- /tools/bergman/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/dune -------------------------------------------------------------------------------- /tools/bergman/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/index.html -------------------------------------------------------------------------------- /tools/bergman/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/lexer.mll -------------------------------------------------------------------------------- /tools/bergman/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/parser.mly -------------------------------------------------------------------------------- /tools/bergman/pol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/bergman/pol.ml -------------------------------------------------------------------------------- /tools/kb/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/.merlin -------------------------------------------------------------------------------- /tools/kb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/Makefile -------------------------------------------------------------------------------- /tools/kb/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/dune -------------------------------------------------------------------------------- /tools/kb/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/index.html -------------------------------------------------------------------------------- /tools/kb/kb.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/kb.css -------------------------------------------------------------------------------- /tools/kb/kb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/kb.ml -------------------------------------------------------------------------------- /tools/kb/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/lexer.mll -------------------------------------------------------------------------------- /tools/kb/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/kb/parser.mly -------------------------------------------------------------------------------- /tools/kb/parserRefs.ml: -------------------------------------------------------------------------------- 1 | open Alg 2 | 3 | let syms = ref ([] : Term.Op.t list) 4 | 5 | -------------------------------------------------------------------------------- /tools/rewr2/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | @dune build 3 | -------------------------------------------------------------------------------- /tools/rewr2/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/rewr2/dune -------------------------------------------------------------------------------- /tools/rewr2/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/rewr2/index.html -------------------------------------------------------------------------------- /tools/rewr2/rewr2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smimram/ocaml-alg/HEAD/tools/rewr2/rewr2.ml --------------------------------------------------------------------------------