Thank you for reporting bugs and sending feedback!
A description of the algorithm can be found in my master's thesis and my article Computing arithmetic Kleinian groups.
Algebras is a PARI library for computing with associative algebras over Q or Fp and central simple algebras over number fields. It is now contained in the development version of PARI/GP as a module. Apart from basic operations, I implemented the following algorithms: