Skip to content

gh-117999: Fix small integer powers of complex numbers #124243

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
serhiy-storchaka merged 11 commits into from
Sep 3, 2026
Merged

gh-117999: Fix small integer powers of complex numbers #124243

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
f2280be
gh-117999: Fix small integer powers of complex numbers
serhiy-storchaka Sep 19, 2024
5b5320a
Merge branch 'main' into complex_powi
serhiy-storchaka Nov 26, 2024
1304423
Polish tests.
serhiy-storchaka Nov 26, 2024
bc4adfd
Remove unrelated change.
serhiy-storchaka Nov 26, 2024
4b8535d
Merge branch 'main' into complex_powi
serhiy-storchaka Dec 12, 2024
e876273
Add more tests.
serhiy-storchaka Dec 12, 2024
bb748c7
Merge branch 'main' into complex_powi
serhiy-storchaka Feb 4, 2025
3090707
Merge branch 'main' into complex_powi
skirpichev Aug 18, 2026
c4cd2e7
fix test (smaller eps value to pass assertClose tests)
skirpichev Aug 18, 2026
6b3e781
Merge branch 'main' into complex_powi
serhiy-storchaka Sep 3, 2026
fcfa3f6
Remove the c_1 constant and add the INT_EXP_CUTOFF macro.
serhiy-storchaka Sep 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Polish tests.
  • Loading branch information
@serhiy-storchaka
serhiy-storchaka committed Nov 26, 2024
commit 13044239f6bc17b06dd59f3666ed81599bcd91bd
43 changes: 27 additions & 16 deletions Lib/test/test_complex.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -430,30 +430,41 @@ def test_pow_with_small_integer_exponents(self):

# Check that complex numbers with special components
# are correctly handled.
for x in [2, -2, +0.0, -0.0, INF, -INF, NAN]:
for y in [2, -2, +0.0, -0.0, INF, -INF, NAN]:
c = complex(x, y)
with self.subTest(c):
self.assertComplexesAreIdentical(c**0, complex(1, +0.0))
self.assertComplexesAreIdentical(c**1, c)
self.assertComplexesAreIdentical(c**2, c*c)
self.assertComplexesAreIdentical(c**3, c*(c*c))
self.assertComplexesAreIdentical(c**4, (c*c)*(c*c))
self.assertComplexesAreIdentical(c**5, c*((c*c)*(c*c)))
values = [complex(x, y)
for x in [5, -5, +0.0, -0.0, INF, -INF, NAN]
for y in [12, -12, +0.0, -0.0, INF, -INF, NAN]]
for c in values:
with self.subTest(value=c):
self.assertComplexesAreIdentical(c**0, complex(1, +0.0))
self.assertComplexesAreIdentical(c**1, c)
self.assertComplexesAreIdentical(c**2, c*c)
self.assertComplexesAreIdentical(c**3, c*(c*c))
self.assertComplexesAreIdentical(c**4, (c*c)*(c*c))
self.assertComplexesAreIdentical(c**5, c*((c*c)*(c*c)))
self.assertComplexesAreIdentical(c**6, (c*c)*((c*c)*(c*c)))
self.assertComplexesAreIdentical(c**7, c*(c*c)*((c*c)*(c*c)))
self.assertComplexesAreIdentical(c**8, ((c*c)*(c*c))*((c*c)*(c*c)))
if not c:
continue
for n in range(1, 9):
with self.subTest(exponent=-n):
self.assertComplexesAreIdentical(c**-n, 1/(c**n))
for x in [+2, -2]:
for y in [+0.0, -0.0]:
with self.subTest(complex(x, y)):
self.assertComplexesAreIdentical(complex(x, y)**-1, complex(1/x, -y))
with self.subTest(complex(y, x)):
self.assertComplexesAreIdentical(complex(y, x)**-1, complex(y, -1/x))
c = complex(x, y)
with self.subTest(value=c):
self.assertComplexesAreIdentical(c**-1, complex(1/x, -y))
c = complex(y, x)
with self.subTest(value=c):
self.assertComplexesAreIdentical(c**-1, complex(y, -1/x))
for x in [+INF, -INF]:
for y in [+1, -1]:
c = complex(x, y)
with self.subTest(c):
with self.subTest(value=c):
self.assertComplexesAreIdentical(c**-1, complex(1/x, -0.0*y))
self.assertComplexesAreIdentical(c**-2, complex(0.0, -y/x))
c = complex(y, x)
with self.subTest(c):
with self.subTest(value=c):
self.assertComplexesAreIdentical(c**-1, complex(+0.0*y, -1/x))
self.assertComplexesAreIdentical(c**-2, complex(-0.0, -y/x))

Expand Down