Skip to content

Commit d9a0273

Browse files
committed
one more example, and now using showgood
1 parent 0cae160 commit d9a0273

File tree

1 file changed

+23
-6
lines changed

1 file changed

+23
-6
lines changed

src/flint/types/acb_theta.pyx

Lines changed: 23 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -21,12 +21,11 @@ def acb_theta(acb_mat z, acb_mat tau, ulong square=False):
2121
>>> t0, t1, t2, t3 = acb_mat([[tau]]).theta(acb_mat([[z]])).entries()
2222
>>> sum([abs(x) for x in acb_mat([z.modular_theta(tau)]) - acb_mat([[-t3,t2,t0,t1]])])
2323
[+/- 3.82e-14]
24-
>>> for i in range(4):showgood(lambda: acb_mat([[tau]]).theta(acb_mat([[z]])).entries()[i], dps=25)
25-
...
26-
0.9694430387796704100046143 - 0.03055696120816803328582847j
27-
1.030556961196006476576271 + 0.03055696120816803328582847j
28-
-1.220790267576967690128359 - 1.827055516791154669091679j
29-
-1.820235910124989594900076 + 1.216251950154477951760042j
24+
>>> showgood(lambda: acb_mat([[tau]]).theta(acb_mat([[z]])).transpose(), dps=25)
25+
[0.9694430387796704100046143 - 0.03055696120816803328582847j]
26+
[ 1.030556961196006476576271 + 0.03055696120816803328582847j]
27+
[ -1.220790267576967690128359 - 1.827055516791154669091679j]
28+
[ -1.820235910124989594900076 + 1.216251950154477951760042j]
3029
>>> acb_mat([[1j,0],[0,2*1j]]).theta(acb_mat([[0],[0]])).transpose()
3130
[ [1.09049252082308 +/- 3.59e-15] + [+/- 2.43e-16]j]
3231
[ [1.08237710165638 +/- 4.15e-15] + [+/- 2.43e-16]j]
@@ -44,6 +43,24 @@ def acb_theta(acb_mat z, acb_mat tau, ulong square=False):
4443
[ [+/- 2.43e-16] + [+/- 2.43e-16]j]
4544
[ [+/- 2.43e-16] + [+/- 2.43e-16]j]
4645
[ [+/- 2.43e-16] + [+/- 2.43e-16]j]
46+
>>> ctx.prec = 10000
47+
>>> print(acb_mat([[1j, 0],[0,1j]]).theta(acb_mat([[0],[0]])).transpose().str(25))
48+
[ [1.180340599016096226045338 +/- 5.95e-26] + [+/- 1.23e-3010]j]
49+
[[0.9925441784910574194770081 +/- 3.15e-26] + [+/- 1.23e-3010]j]
50+
[[0.9925441784910574194770081 +/- 3.15e-26] + [+/- 1.23e-3010]j]
51+
[[0.8346268416740731862814297 +/- 3.29e-26] + [+/- 1.23e-3010]j]
52+
[[0.9925441784910574194770081 +/- 3.15e-26] + [+/- 1.23e-3010]j]
53+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
54+
[[0.8346268416740731862814297 +/- 3.29e-26] + [+/- 1.23e-3010]j]
55+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
56+
[[0.9925441784910574194770081 +/- 3.15e-26] + [+/- 1.23e-3010]j]
57+
[[0.8346268416740731862814297 +/- 3.29e-26] + [+/- 1.23e-3010]j]
58+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
59+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
60+
[[0.8346268416740731862814297 +/- 3.29e-26] + [+/- 1.23e-3010]j]
61+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
62+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
63+
[ [+/- 1.23e-3010] + [+/- 1.23e-3010]j]
4764
4865
"""
4966
g = tau.nrows()

0 commit comments

Comments
 (0)