[1 0]
[0 1]
[ 0 0 -8 5]
[ 8 -5 26 -16]
[ 13 -8 -5 3]
[-21 13 8 -5]
[;]
[;]
[;]
[[;], [;]]
[[;], [;]]
[;]
Mat(1)
Mat(1)
Mat(1)
[[;], Mat(1)]
[[;], Mat(1)]
Mat(1)
[;]
[;]
Mat(1)
[Mat(1), [;]]
[Mat(1), [;]]
[;]
[1; 0]
[1; 0]
error("impossible inverse in dvmdii: 0.")
[[-2; 1], [1; 0]]
[[-2; 1], [1; 0]]
[1; 0]
error("incorrect type in rescale_to_int (t_POL).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
[[x + 1; -x], [-1; 1]]
[-1; 1]
error("incorrect type in rescale_to_int (t_POL).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
error("incorrect type in qflll [integer matrix] (t_MAT).")
[[;], [-x^2 + 852*x + 833561, x^5 + 1052503*x^4 - 898292021*x^3 - 8780356471
55*x^2 + 1; 1, -x^3 - 1053355*x^2]]
[-x^2 + 852*x + 833561, x^5 + 1052503*x^4 - 898292021*x^3 - 878035647155*x^2
+ 1; 1, -x^3 - 1053355*x^2]
[;]
[;]
[[;], [;]]
[[;], [;]]
Mat(1)
Mat(1)
[[;], Mat(1)]
[[;], Mat(1)]
[;]
[;]
[Mat(1), [;]]
[Mat(1), [;]]
[1; 0]
[1; 0]
[[-2; 1], [1; 0]]
[[-2; 1], [1; 0]]
error("incorrect type in rescale_to_int (t_POL).")
error("incorrect type in qflllgram [integer matrix] (t_MAT).")
error("incorrect type in qflllgram [integer matrix] (t_MAT).")
[[x + 1; -x], [-1; 1]]
error("incorrect type in rescale_to_int (t_POL).")
error("incorrect type in qflllgram [integer matrix] (t_MAT).")
error("incorrect type in qflllgram [integer matrix] (t_MAT).")
[[;], [-x^2 + 852*x + 833561, x^5 + 1052503*x^4 - 898292021*x^3 - 8780356471
55*x^2 + 1; 1, -x^3 - 1053355*x^2]]
Total time spent: 8