New algorithms for quaternion ideals in SQIsign | AIChainDay