I would be good to have the standard hyperbolic Coxeter graphs inside the package. Among them: - simplices - Tumarkin's pyramids - group of units of some quadratic forms - graphs of Roberts - double truncated orthoscheme of Im Hof - cocompact groups
I would be good to have the standard hyperbolic Coxeter graphs inside the package. Among them: