A Julia package for computing in Coxeter groups (draft, under development).
julia> using Pkg
julia> Pkg.add(url="https://github.com/ulthiel/CoxeterGroups.jl")
julia> using CoxeterGroups
# A Coxeter group with given Coxeter matrix (using a recursive algoritm)
julia> W, (a,b,c) = coxeter_group_recursive([1 4 2; 4 1 3; 2 3 1], ["a", "b", "c"]);
julia> a*c*a
c
# A Coxeter group for a generalized Cartan matrix (using the minimal roots algorithm)
julia> W, (s, t) = coxeter_group_min([2 -1; -1 2]);
julia> s*t*s == t*s*t
true
See here.
- C. Braunstein
- J. Gibson
- T. Schmit
- U. Thiel
Checkout the code, change directory in, and start the julia shell.
To run tests, first activate the package, then run the test
command repeatedly while editing.
pkg> activate .
pkg> test
To build the documentation:
julia --project=docs/ docs/make.jl
You can run a local server to preview the documentation (some of the hyperlinks don't work otherwise):
python3 -m http.server --directory docs/build/ 8181
and now open http://localhost:8181/ in the browser. If the documentation build is complaining about missing dependencies, then run
$ julia --project=docs/
julia> ]
pkg> resolve