Opened 3 years ago
Last modified 3 years ago
#24078 new enhancement
Set assumptions in SymPy too when doing assume()
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-wishlist |
Component: | symbolics | Keywords: | |
Cc: | egourgoulhon | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
For a SymPy option to solve
(#22322) we need to translate any assumptions on variables (and maybe anon. functions?) that were made using assume
and var('x', domain=...)
. Any SymPy operation may access the SymPy knowledge base any time. So I think this should be handled the same way as with Maxima, i.e. at the time the assume
/var
calls are made.
For the converse, see #24334
Change History (6)
comment:1 Changed 3 years ago by
comment:2 Changed 3 years ago by
- Milestone changed from sage-8.2 to sage-wishlist
comment:3 Changed 3 years ago by
- Description modified (diff)
comment:4 follow-up: ↓ 5 Changed 3 years ago by
For variables, couldn't this be handled in the conversion Sage -> Sympy?
comment:5 in reply to: ↑ 4 Changed 3 years ago by
Replying to jdemeyer:
For variables, couldn't this be handled in the conversion Sage -> Sympy?
Yes, SympyConverter:symbol()
.
comment:6 Changed 3 years ago by
- Cc egourgoulhon added
Note: See
TracTickets for help on using
tickets.
However see https://trac.sagemath.org/ticket/22322#comment:12 So the database is idle play?