Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
#10017: adjust doctest for 32-bit
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnCremona committed Jan 12, 2018
1 parent 39fc227 commit 22746f8
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions src/sage/rings/number_field/number_field.py
Expand Up @@ -5595,15 +5595,15 @@ def reduced_basis(self, prec=None):
Check that the bug reported at :trac:`10017` is fixed::
sage: x = polygen(QQ)
sage: k = NumberField(x^6 + 2218926655879913714112*x^4 - 32507675650290949030789018433536*x^3 + 4923635504174417014460581055002374467948544*x^2 - 36066074010564497464129951249279114076897746988630016*x + 264187244046129768986806800244258952598300346857154900812365824,'a')
sage: new_basis = k.reduced_basis()
sage: k.<a> = NumberField(x^6 + 2218926655879913714112*x^4 - 32507675650290949030789018433536*x^3 + 4923635504174417014460581055002374467948544*x^2 - 36066074010564497464129951249279114076897746988630016*x + 264187244046129768986806800244258952598300346857154900812365824)
sage: new_basis = k.reduced_basis(prec=120)
sage: [c.minpoly() for c in new_basis]
[x - 1,
x^6 + 3*x^5 + 258*x^4 + 511*x^3 + 3564*x^2 + 3309*x + 2347,
x^6 - 24*x^5 + 6126*x^4 - 312664*x^3 + 5407566*x^2 - 33643572*x + 95921443,
x^6 + 18*x^5 + 3366*x^4 + 82008*x^3 + 886962*x^2 - 840726*x + 5521647,
x^6 + 27*x^5 + 9579*x^4 + 623358*x^3 + 5060091*x^2 - 139224285*x + 880944177,
x^6 - 72*x^5 + 65286*x^4 - 10762768*x^3 + 473072922*x^2 - 2502686322*x + 54227921641]
x^2 - x + 1,
x^6 + 3*x^5 - 102*x^4 - 103*x^3 + 10572*x^2 - 59919*x + 127657,
x^6 - 3*x^5 - 102*x^4 + 315*x^3 + 10254*x^2 - 80955*x + 198147,
x^3 - 171*x + 848,
x^6 + 171*x^4 + 1696*x^3 + 29241*x^2 + 145008*x + 719104]
sage: R = k.order(new_basis)
sage: R.discriminant()==k.discriminant()
True
Expand Down

0 comments on commit 22746f8

Please sign in to comment.