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...

> http://magma.maths.usyd.edu.au/magma/