Revision history [back]

It should certainly be possible. One place you might start looking is the implementation of Quaternion algebras in Sage. This is in the sage.algebras.quatalg package: https://github.com/sagemath/sagelib/tree/master/sage/algebras/quatalg