• coxeter

  • Referenced in 22 articles [sw07772]
  • working with root systems and finite Coxeter groups. It provides facilities for manipulating roots, reflections ... permutation representations and irreducible characters of finite Coxeter groups, and for retrieving information such...
  • PyCox

  • Referenced in 12 articles [sw09237]
  • PyCox: computing with (finite) Coxeter groups and Iwahori-Hecke algebras. We introduce the computer algebra ... older CHEVIE system, for working with Coxeter groups and Hecke algebras. This includes ... graphs, which works efficiently for all finite groups of rank ⩽8 (except...
  • ZigZag

  • Referenced in 4 articles [sw06705]
  • GAP3 package for descent algebras of finite Coxeter groups. It is based on the CHEVIE...
  • Kaleido

  • Referenced in 8 articles [sw05940]
  • finitely many vertices which are equivalent under its symmetry group. H. S. M. Coxeter...
  • CoxIter

  • Referenced in 6 articles [sw13972]
  • compute invariants of hyperbolic Coxeter groups. Given such a group, the program determines whether ... cocompact or of finite covolume, whether it is arithmetic in the non-cocompact case...
  • LPRES

  • Referenced in 1 article [sw27983]
  • with L-presented groups, namely groups given by a finite generating set and a possibly ... given as iterates of finitely many seed relations by a finite set of endomorphisms ... package implements nilpotent quotient, Todd-Coxeter and Reidemeister-Schreier algorithms for L-presented groups...
  • dce

  • Referenced in 1 article [sw33375]
  • Coxeter procedure), as a way of constructing finite quotients of HNN-extensions of known groups...
  • ITC

  • Referenced in 0 articles [sw07633]
  • stands for ’Interactive Todd Coxeter’. The package provides a program that allows you to execute ... cosets of a subgroup of a finitely presented group using the graphics capability...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • homalg

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • polymake

  • Referenced in 314 articles [sw00724]
  • polymake is open source software for research in...