Magnus

Word Problem solver for One Relator Groups using Magnus' Method.

Example

For instance to solve the Word Problem for the Baumslag Solitar Group BS(2,3) given by the presentation

BS(2,3) = ≺ a, b ∣ a^-1b²a b ^-3 ≻

for the word b⁻¹a⁻¹bab⁻¹a⁻¹bab⁻¹

run python3 magnus.py

And enter

S = a b

r = aI b b a bI bI bI

w = bI aI b a bI aI b a bI

References

The program is an implementation of the inductive proof for the decidabilty of one-relator groups found in Putman, Andrew. "One-relator groups." preprint (2018).

It uses the special case where T is equal to the empty set.