Failed example:: Got: Random testing has revealed a problem in test_karatsuba_multiplication Please report this bug! You may be the first person in the world to have seen this problem. Please include this random seed in your bug report: Random seed: 21803597781389673994330231721081040096 ValueError('Multiplication failed for elements defined by\nR1.<y> = QQ[]\nR2.<x> = QQbar[]\nQQbar(-AA.polynomial_root(AA.common_polynomial(y^2 - y - 1), RIF(-RR(0.6180339887498949), -RR(0.61803398874989479))))*x^2 + 1/21*QQbar.polynomial_root(AA.common_polynomial(y^2 - y + 987), CIF(RIF(RR(0.49999999999999994), RR(0.50000000000000011)), RIF(-RR(31.412577098990145), -RR(31.412577098990141))))*x - 1/2*QQbar.polynomial_root(AA.common_polynomial(y^2 - y + 116), CIF(RIF(0.5), RIF(-RR(10.758717395675008), -RR(10.758717395675006))))\nand\nR1.<y> = QQ[]\nR2.<x> = QQbar[]\n-1/31*QQbar.polynomial_root(AA.common_polynomial(y^2 - y + 93), CIF(RIF(RR(0.49999999999999994), RR(0.50000000000000011)), RIF(RR(9.6306801421291102), RR(9.6306801421291119))))*x^3 - QQbar.polynomial_root(AA.common_polynomial(y^2 - y + 2), CIF(RIF(0.5), RIF(-RR(1.3228756555322954), -RR(1.3228756555322951))))*x^2 + QQbar(AA.polynomial_root(AA.common_polynomial(y^2 - 7), RIF(-RR(2.6457513110645907), -RR(2.6457513110645903))) - 1)*x + QQbar.polynomial_root(AA.common_polynomial(y), CIF(RIF(RR(0)), RIF(RR(0))))')

Process completed with exit code 1.