Opened 7 years ago
#18999 new enhancement
basic assumptions on symbolic functions
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-6.9 |
Component: | symbolics | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
At the moment only symbols allow basic assumptions (i.e. generic declarations). Newly defined functions are ignored in GDecl
and then bail out (because Expression.assume
only can work with relations). Preinstalled functions will have statements about them in the assumption database, as well, and maybe it's useful for the user to be able to make assertions, but Function
is ignored as well and bails out for the same reason as above.
The Pynac side will have a first implementation in 0.4.3.
Note: See
TracTickets for help on using
tickets.