When I read the title, I was thinking that this was an application for the computer algebra system Magma: > https://en.wikipedia.org/wiki/Magma_(computer_algeb

When I read the title, I was thinking that this was an application for the computer algebra system Magma: > https://en.wikipedia.org/wiki/Magma_(computer_algebra_system) https://en.wikipedia.org/wiki/Magma_(computer_algebra_system... > http://magma.maths.usyd.edu.au/magma/ http://magma.maths.usyd.edu.au/magma/