This package demonstrates the algorithmic usefulness of the so-called Mal'cev correspondence for computations with infinite polycyclic groups; it is a correspondence that associates to every $\Q$-powered nilpotent group $H$ a unique rational nilpotent Lie algebra $L_H$ and vice-versa. The Mal'cev correspondence was discovered by Anatoly Mal'cev in 1951.
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
0.94-bp153.1.12 info | GA Release | 2021-02-26 | 15 SP3 |
|
|
0.94-bp152.3.13 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
0.94-bp151.2.10 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
0.94-bp150.1.3 info | GA Release | 2018-07-30 | 15 |
|
|