incorporate other alg tools

[eric-downes]

Can wrap our tables as binops to use this repo's largely complementary features:
https://github.com/naftaliharris/Abstract-Algebra

[eric-downes]

also some nice features here altho he makes poor use of numpy;
https://github.com/alreich/abstract_algebra/tree/main

for instance, detecting weak inverse of elem x in semigroup M should be done thus

findnz(M.T[x].diag() == np.arange(len(M)))

this is muuuuch faster than the nested loops he uses.