upgrade to Pynac-0.3.9.5

[rwst]

The new version claims:

• fix regression in arithmetic with positive characteristic ring elements (comment 17 of symbolic modular integers still broken #18787)
• fix performance issue with real/imag of powers (heavy performance regression with real/imag(ex) #18952)
• more rational multiples of pi as argument to sin,cos,tan expanded (doctest special values of trig. functions with arguments (m/n)*pi #18954)
• fix dbgprinttree() of functions (doctest fix for inconsistencies with dbgprinttree of functions #19194)
• performance fixes

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

Component: packages: standard

Author: Ralf Stephan

Branch/Commit: cf975f5

Reviewer: Vincent Delecroix

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

[rwst]

Branch: u/rws/upgrade_to_pynac_0_3_9_3

[rwst]

Commit: e2cda8b

[rwst]

Author: Ralf Stephan

[rwst]

New commits:

7052778	18979: avoid Maxima on creation of symbolic matrices
0aae07f	18980: upgrade to Pynac-0.3.9.3
d03d84d	18980: avoid proving of symbolic equality
95b4a36	18980: raise exception with relations Pynac claims are undecidable; part of 17700
e2cda8b	18980: fix doctests

[sagetrac-git]

Changed commit from e2cda8b to aeeddfe

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

df4bd8c	Merge branch 'develop' into t/18980/upgrade_to_pynac_0_3_9_3
aeeddfe	recent 19026 made this change necessary

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

06c9f88

18980: revert previous commit, different solution needed

[sagetrac-git]

Changed commit from aeeddfe to 06c9f88

[rwst]

Dependencies: #19040

[rwst]

comment:5

Actually it would be better to first implement #19040 somehow, even with suboptimal Pynac decision functionality, in order to have the right interface first---with all necessary changes to doctests.

EDIT: It might be even better to revert the logic changes and do a Pynac release without them, but plus some fixes and enhancements.

[rwst]

Changed branch from u/rws/upgrade_to_pynac_0_3_9_3 to u/rws/18980

[rwst]

New commits:

1433408	version, chksum
cf975f5	doctest fixes

[rwst]

Changed dependencies from #19040 to none

[rwst]

Changed commit from 06c9f88 to cf975f5

[videlec]

Reviewer: Vincent Delecroix

[videlec]

comment:9

Build fine. All test pass.

[rwst]

comment:10

Thanks for the review.

[vbraun]

Changed branch from u/rws/18980 to cf975f5