Software & Open-Source Projects

A selection of software tools, libraries, and computational implementations developed as part of our research.

magnus

An experimental Python library with an optimized Rust solver for computing exact $fr$-code invariants and non-commutative Magnus expansions of discrete sequences over finite fields $\mathbb{Z}_p$.

• Core Mathematics: Groups represented via presentations $G = \langle V \mid R \rangle$ mapped to the augmentation ideal quotients of free group rings $\mathbb{Z}[F]$.
• Implementation: Custom cascading Magnus expansion algorithm (up to degree 4). It provides exact integer ranks over prime fields, avoiding numerical instabilities.
• Performance: Features an automated Homological Feature Selection (Tuning) module for dynamic generator evaluation.
• License: GNU Affero General Public License v3.0 (AGPL-3.0).

Source Code: GitHub Repository