Upgrade to pynac-0.7.22

[rwst]

In the new version:

• fast and working versons of quo_rem and rational decomposition (Symbolic quo //, rem %, and quo_rem() #25644, Fast symbolic rational decomposition #25645)

• fix power inconsistency

• internal fix of another power inconsistency (inconsistent powers of symbolic sums #25639)

• (x<sup>a)</sup>b --> x^(ab) IF x real, a odd integer, ab integer

• add ex::treesize() as complexity metric (Fast symbolic complexity metric #25643)

• information for packagers

• implement commutative matching; fix GiNaC's matching deficiencies (Doctests: Symbolic expression matching bug #25168)

• substitute patternless if no wildcards present

• remove some compiler warnings

• update AX_CXX_COMPILE_STDCXX.m4

• fix exp(c*f(x)) simplification

• fix cases(...).subs(...)

• function::info for min/max_symbolic(Symbolic min/max #21945)

• performance and readability improvements

• correct sinh/cosh/tanh return type (Systematic doctest for function return type #24299)

• atan2 fixes

• potential memleaks fixed

• fixes in Giac interface

• subs can now substitute numeric terms (Doctest fix: f.subs(I==...) does not work #23964)

• fix memleak in in-place PyObject numerics (leaking in the symbolic ring #24745)

• fix endless computation (Endless symbolic computation #24883)

• Python interface / Py3 fixes and improvements (thx Erik Bray, py3: fix bugs in pynac with handling Python 3 ints #24561, py3: unhandled exception in pynac #24752, Pynac should check for errors when calling PyObject_RichCompareBool() #24522)

• fix internal asin/acos of complex balls

• draw factors out of add^rational (Powers of symbolic sums inconsistence #24768, Doctest: Certain products cause pynac to deadloop #25251, Doctest: Complex arithmetic/exponentiation hang (or very slow) #25252)

• exp(f(x)), exp(c*f(x)), f inv. hyperbolic simplifications (Doctest exp(c*f(x)) simplification, f inverse hyperbolic #24841)

• always extend trig/hyperbolic functions to complex domain (Numerical evaluation should return a complex number if applicable #24428)

• extensive code readability improvements

https://github.com/pynac/pynac/releases/download/pynac-0.7.22/pynac-0.7.22.tar.bz2

Depends on #24927

CC: @kiwifb @timokau

Component: symbolics

Author: Ralf Stephan

Branch: e324b64

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/24838

[rwst]

Branch: u/rws/upgrade_to_pynac_0_7_17

[rwst]

New commits:

e470685	version / chkum / rm patch
d3511ce	24838: doctest fixes

[rwst]

Commit: d3511ce

[rwst]

Author: Ralf Stephan

[rwst]

Description changed:

[rwst]

Description changed:

--- 
+++ 
@@ -3,7 +3,7 @@
 * Python interface / Py3 fixes and improvements (thx Erik Bray, #24561, #24752)
 * fix internal `asin`/`acos` of complex balls
 * draw factors out of `add^rational` (#24768)
-* `exp(f(x))`, `exp(c*f(x))`, f inv. hyperbolic simplifications
+* `exp(f(x))`, `exp(c*f(x))`, f inv. hyperbolic simplifications (#24841)
 * always extend trig/hyperbolic functions to complex domain (#24428)
 * extensive code readability improvements
 

[jdemeyer]

comment:5

Just a question: is this supposed to fix #24522 too?

[rwst]

Description changed:

--- 
+++ 
@@ -1,6 +1,6 @@
 In the new version:
 * fix memleak in in-place PyObject numerics (#24745)
-* Python interface / Py3 fixes and improvements (thx Erik Bray, #24561, #24752)
+* Python interface / Py3 fixes and improvements (thx Erik Bray, #24561, #24752, #24522)
 * fix internal `asin`/`acos` of complex balls
 * draw factors out of `add^rational` (#24768)
 * `exp(f(x))`, `exp(c*f(x))`, f inv. hyperbolic simplifications (#24841)

[rwst]

comment:6

Yes, that PR is merged. I'll probably add a hotfix for #24883 here as patch, too.

[jdemeyer]

comment:7

Replying to @rwst:

I'll probably add a hotfix for #24883 here as patch, too.

Then I'm setting this to needs_work. If you change your mind, feel free to set this back to needs_review.