Skip to content

Commit 6d9ac56

Browse files
tornariatornaria
committed
Fix doctests with flintlib 3.2
1 parent 7559c5c commit 6d9ac56

File tree

3 files changed

+41
-40
lines changed

3 files changed

+41
-40
lines changed

‎src/sage/rings/complex_arb.pyx

+25-24
Original file line numberDiff line numberDiff line change
@@ -790,8 +790,8 @@ class ComplexBallField(UniqueRepresentation, sage.rings.abc.ComplexBallField):
790790
sage: (x^4 - 1/3).roots(multiplicities=False) # indirect doctest
791791
[[-0.759835685651593 +/- ...e-16] + [+/- ...e-16]*I,
792792
[0.759835685651593 +/- ...e-16] + [+/- ...e-16]*I,
793-
[+/- ...e-16] + [0.759835685651593 +/- ...e-16]*I,
794-
[+/- ...e-16] + [-0.759835685651593 +/- ...e-16]*I]
793+
[+/- ...e-16] + [-0.759835685651593 +/- ...e-16]*I,
794+
[+/- ...e-16] + [0.759835685651593 +/- ...e-16]*I]
795795
796796
sage: (x^4 - 1/3).roots(RBF, multiplicities=False)
797797
[[-0.759835685651593 +/- ...e-16], [0.759835685651593 +/- ...e-16]]
@@ -803,8 +803,8 @@ class ComplexBallField(UniqueRepresentation, sage.rings.abc.ComplexBallField):
803803
sage: (x^4 - 3).roots(ComplexIntervalField(100), multiplicities=False)
804804
[-1.31607401295249246081921890180? + 0.?e-37*I,
805805
1.31607401295249246081921890180? + 0.?e-37*I,
806-
0.?e-37 + 1.31607401295249246081921890180?*I,
807-
0.?e-37 - 1.31607401295249246081921890180?*I]
806+
0.?e-37 - 1.31607401295249246081921890180?*I,
807+
0.?e-37 + 1.31607401295249246081921890180?*I]
808808
809809
sage: (x^2 - i/3).roots(ComplexBallField(2), multiplicities=False)
810810
[[+/- 0.409] + [+/- 0.409]*I, [+/- 0.409] + [+/- 0.409]*I]
@@ -817,8 +817,8 @@ class ComplexBallField(UniqueRepresentation, sage.rings.abc.ComplexBallField):
817817
sage: ((x - 1)^2).roots(multiplicities=False, proof=False)
818818
doctest:...
819819
UserWarning: roots may have been lost...
820-
[[1.00000000000 +/- ...e-12] + [+/- ...e-11]*I,
821-
[1.0000000000 +/- ...e-12] + [+/- ...e-12]*I]
820+
[[1.000000000... +/- ...] + [+/- ...]*I,
821+
[1.000000000... +/- ...] + [+/- ...]*I]
822822
823823
sage: pol = x^7 - 2*(1000*x - 1)^2 # Mignotte polynomial
824824
sage: pol.roots(multiplicities=False)
@@ -843,7 +843,8 @@ class ComplexBallField(UniqueRepresentation, sage.rings.abc.ComplexBallField):
843843
sage: ((x - 1)^2 + 2^(-70)*i/3).roots(RBF, multiplicities=False)
844844
Traceback (most recent call last):
845845
...
846-
ValueError: unable to determine which roots are real
846+
ValueError: unable to isolate the roots (try using proof=False or
847+
increasing the precision)
847848
848849
TESTS::
849850
@@ -4199,14 +4200,14 @@ cdef class ComplexBall(RingElement):
41994200
42004201
EXAMPLES::
42014202
4202-
sage: CBF(1, 1).Ei()
4203-
[1.76462598556385 +/- ...e-15] + [2.38776985151052 +/- ...e-15]*I
4203+
sage: CBF(1, 1).Ei() # abs tol 6e-15
4204+
[1.76462598556385 +/- 6.03e-15] + [2.38776985151052 +/- 4.23e-15]*I
42044205
sage: CBF(0).Ei()
4205-
nan
4206+
nan...
42064207
42074208
TESTS:
42084209
4209-
sage: CBF(Ei(I)) # abs tol 1e-16 # needs sage.symbolic
4210+
sage: CBF(Ei(I)) # abs tol 2e-15 # needs sage.symbolic
42104211
[0.337403922900968 +/- 3.76e-16] + [2.51687939716208 +/- 2.01e-15]*I
42114212
"""
42124213
cdef ComplexBall result = self._new()
@@ -4221,14 +4222,14 @@ cdef class ComplexBall(RingElement):
42214222
42224223
EXAMPLES::
42234224
4224-
sage: CBF(1, 1).Si()
4225-
[1.10422265823558 +/- ...e-15] + [0.88245380500792 +/- ...e-15]*I
4225+
sage: CBF(1, 1).Si() # abs tol 3e-15
4226+
[1.10422265823558 +/- 2.48e-15] + [0.88245380500792 +/- 3.36e-15]*I
42264227
sage: CBF(0).Si()
42274228
0
42284229
42294230
TESTS:
42304231
4231-
sage: CBF(Si(I)) # needs sage.symbolic
4232+
sage: CBF(Si(I)) # abs tol 3e-15 # needs sage.symbolic
42324233
[1.05725087537573 +/- 2.77e-15]*I
42334234
"""
42344235
cdef ComplexBall result = self._new()
@@ -4245,14 +4246,14 @@ cdef class ComplexBall(RingElement):
42454246
42464247
EXAMPLES::
42474248
4248-
sage: CBF(1, 1).Ci()
4249-
[0.882172180555936 +/- ...e-16] + [0.287249133519956 +/- ...e-16]*I
4249+
sage: CBF(1, 1).Ci() # abs tol 5e-16
4250+
[0.882172180555936 +/- 5.89e-16] + [0.287249133519956 +/- 3.37e-16]*I
42504251
sage: CBF(0).Ci()
42514252
nan + nan*I
42524253
42534254
TESTS:
42544255
4255-
sage: CBF(Ci(I)) # abs tol 1e-17 # needs sage.symbolic
4256+
sage: CBF(Ci(I)) # abs tol 5e-16 # needs sage.symbolic
42564257
[0.837866940980208 +/- 4.72e-16] + [1.570796326794897 +/- 5.54e-16]*I
42574258
"""
42584259
cdef ComplexBall result = self._new()
@@ -4269,8 +4270,8 @@ cdef class ComplexBall(RingElement):
42694270
42704271
EXAMPLES::
42714272
4272-
sage: CBF(1, 1).Shi()
4273-
[0.88245380500792 +/- ...e-15] + [1.10422265823558 +/- ...e-15]*I
4273+
sage: CBF(1, 1).Shi() # abs tol 3e-15
4274+
[0.88245380500792 +/- 3.36e-15] + [1.10422265823558 +/- 2.48e-15]*I
42744275
sage: CBF(0).Shi()
42754276
0
42764277
@@ -4293,14 +4294,14 @@ cdef class ComplexBall(RingElement):
42934294
42944295
EXAMPLES::
42954296
4296-
sage: CBF(1, 1).Chi()
4297-
[0.882172180555936 +/- ...e-16] + [1.28354719327494 +/- ...e-15]*I
4297+
sage: CBF(1, 1).Chi() # abs tol 1e-15
4298+
[0.882172180555936 +/- 5.89e-16] + [1.28354719327494 +/- 1.01e-15]*I
42984299
sage: CBF(0).Chi()
42994300
nan + nan*I
43004301
43014302
TESTS:
43024303
4303-
sage: CBF(Chi(I)) # abs tol 1e-16 # needs sage.symbolic
4304+
sage: CBF(Chi(I)) # abs tol 5e-16 # needs sage.symbolic
43044305
[0.337403922900968 +/- 3.25e-16] + [1.570796326794897 +/- 5.54e-16]*I
43054306
"""
43064307
cdef ComplexBall result = self._new()
@@ -4319,8 +4320,8 @@ cdef class ComplexBall(RingElement):
43194320
43204321
EXAMPLES::
43214322
4322-
sage: CBF(1, 1).li()
4323-
[0.61391166922120 +/- ...e-15] + [2.05958421419258 +/- ...e-15]*I
4323+
sage: CBF(1, 1).li() # abs tol 6e-15
4324+
[0.61391166922120 +/- 6.23e-15] + [2.05958421419258 +/- 5.59e-15]*I
43244325
sage: CBF(0).li()
43254326
0
43264327
sage: CBF(0).li(offset=True)

‎src/sage/rings/polynomial/polynomial_element.pyx

+7-7
Original file line numberDiff line numberDiff line change
@@ -8398,19 +8398,19 @@ cdef class Polynomial(CommutativePolynomial):
83988398
83998399
sage: # needs sage.libs.flint
84008400
sage: Pol.<x> = CBF[]
8401-
sage: (x^2 + 2).roots(multiplicities=False)
8402-
[[+/- ...e-19] + [-1.414213562373095 +/- ...e-17]*I,
8403-
[+/- ...e-19] + [1.414213562373095 +/- ...e-17]*I]
8401+
sage: set((x^2 + 2).roots(multiplicities=False))
8402+
{[+/- ...e-19] + [-1.414213562373095 +/- ...e-17]*I,
8403+
[+/- ...e-19] + [1.414213562373095 +/- ...e-17]*I}
84048404
sage: (x^3 - 1/2).roots(RBF, multiplicities=False)
84058405
[[0.7937005259840997 +/- ...e-17]]
84068406
sage: ((x - 1)^2).roots(multiplicities=False, proof=False)
84078407
doctest:...
84088408
UserWarning: roots may have been lost...
8409-
[[1.00000000000 +/- ...e-12] + [+/- ...e-11]*I,
8410-
[1.0000000000 +/- ...e-12] + [+/- ...e-12]*I]
8409+
[[1.000000000... +/- ...] + [+/- ...]*I,
8410+
[1.000000000... +/- ...] + [+/- ...]*I]
84118411
sage: ((x - 1)^2).roots(multiplicities=False, proof=False, warn=False)
8412-
[[1.00000000000 +/- ...e-12] + [+/- ...e-11]*I,
8413-
[1.0000000000 +/- ...e-12] + [+/- ...e-12]*I]
8412+
[[1.000000000... +/- ...] + [+/- ...]*I,
8413+
[1.000000000... +/- ...] + [+/- ...]*I]
84148414
84158415
Note that coefficients in a number field with defining polynomial
84168416
`x^2 + 1` are considered to be Gaussian rationals (with the

‎src/sage/rings/real_arb.pyx

+9-9
Original file line numberDiff line numberDiff line change
@@ -3531,12 +3531,12 @@ cdef class RealBall(RingElement):
35313531
35323532
EXAMPLES::
35333533
3534-
sage: RBF(1).Ei() # abs tol 5e-16
3534+
sage: RBF(1).Ei() # abs tol 5e-15
35353535
[1.89511781635594 +/- 4.94e-15]
35363536
35373537
TESTS::
35383538
3539-
sage: RBF(Ei(1)) # abs tol 5e-16 # needs sage.symbolic
3539+
sage: RBF(Ei(1)) # abs tol 5e-15 # needs sage.symbolic
35403540
[1.89511781635594 +/- 4.94e-15]
35413541
"""
35423542
cdef RealBall res = self._new()
@@ -3595,12 +3595,12 @@ cdef class RealBall(RingElement):
35953595
35963596
EXAMPLES::
35973597
3598-
sage: RBF(1).Shi()
3598+
sage: RBF(1).Shi() # abs tol 5e-15
35993599
[1.05725087537573 +/- 2.77e-15]
36003600
36013601
TESTS::
36023602
3603-
sage: RBF(Shi(1)) # needs sage.symbolic
3603+
sage: RBF(Shi(1)) # abs tol 5e-15 # needs sage.symbolic
36043604
[1.05725087537573 +/- 2.77e-15]
36053605
"""
36063606
cdef RealBall res = self._new()
@@ -3617,12 +3617,12 @@ cdef class RealBall(RingElement):
36173617
36183618
EXAMPLES::
36193619
3620-
sage: RBF(1).Chi() # abs tol 1e-17
3620+
sage: RBF(1).Chi() # abs tol 5e-16
36213621
[0.837866940980208 +/- 4.72e-16]
36223622
36233623
TESTS::
36243624
3625-
sage: RBF(Chi(1)) # abs tol 1e-17 # needs sage.symbolic
3625+
sage: RBF(Chi(1)) # abs tol 5e-16 # needs sage.symbolic
36263626
[0.837866940980208 +/- 4.72e-16]
36273627
"""
36283628
cdef RealBall res = self._new()
@@ -3639,14 +3639,14 @@ cdef class RealBall(RingElement):
36393639
36403640
EXAMPLES::
36413641
3642-
sage: RBF(3).li() # abs tol 1e-15
3642+
sage: RBF(3).li() # abs tol 5e-15
36433643
[2.16358859466719 +/- 4.72e-15]
36443644
36453645
TESTS::
36463646
36473647
sage: RBF(li(0)) # needs sage.symbolic
36483648
0
3649-
sage: RBF(Li(0)) # needs sage.symbolic
3649+
sage: RBF(Li(0)) # abs tol 5e-15 # needs sage.symbolic
36503650
[-1.04516378011749 +/- 4.23e-15]
36513651
"""
36523652
cdef RealBall res = self._new()
@@ -3663,7 +3663,7 @@ cdef class RealBall(RingElement):
36633663
36643664
EXAMPLES::
36653665
3666-
sage: RBF(3).Li() # abs tol 1e-15
3666+
sage: RBF(3).Li() # abs tol 5e-15
36673667
[1.11842481454970 +/- 7.61e-15]
36683668
"""
36693669
cdef RealBall res = self._new()

0 commit comments

Comments
 (0)