This package allows for the computation of finite groupoids, both connected and with several components. Graphs of groups and graphs of groupoids are also constructed, allowing the calculation of normal forms for Free Products with Amalgamation and for HNN extensions when the initial groups have rewriting systems.
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
1.54-bp153.1.12 info | GA Release | 2021-02-26 | 15 SP3 |
|
|
1.54-bp152.3.13 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
1.54-bp151.2.10 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
1.54-bp150.1.3 info | GA Release | 2018-07-30 | 15 |
|
|