Changes between Version 3 and Version 5 of Ticket #19035
- Timestamp:
- 12/05/15 09:09:02 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #19035
-
Property
Status
changed from
new
toneeds_review
-
Property
Branch
changed from
to
u/rws/doctest_syncing_of_elementary_assumptions_on_symbols_functions_with_pynac
-
Property
Commit
changed from
to
b198a3f0f2128016aefeb0134c61ee357a115bc9
-
Property
Type
changed from
defect
toenhancement
-
Property
Summary
changed from
doctest syncing of elementary assumptions on symbols/functions with Pynac
toImprove assumption documentation and doctest recent improvements
-
Property
Status
changed from
-
Ticket #19035 – Description
v3 v5 14 14 False 15 15 }}} 16 Syncing with Pynac will allow limited but fast decision making (without Maxima) through already existing flag logic in Pynac.17 18 https://github.com/pynac/pynac/issues/8119 20 The branch of this ticket contains adaptions on the Sage side. The Pynac interface declarations are already committed (appearing in version 0.4.4+). The complete interface may be in Pynac-0.5.