CoxeterGroups.jl

A Julia package for computing in Coxeter groups (draft, under development).

Installation

julia> using Pkg
julia> Pkg.add(url="https://github.com/ulthiel/CoxeterGroups.jl")

Usage

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

Todo

See here.

Contributors

• C. Braunstein
• J. Gibson
• T. Schmit
• U. Thiel

Development

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