Opened 2 years ago

Last modified 2 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 jdemeyer)

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 2 years ago by rws

However see ​https://trac.sagemath.org/ticket/22322#comment:12 So the database is idle play?

comment:2 Changed 2 years ago by rws

  • Milestone changed from sage-8.2 to sage-wishlist

comment:3 Changed 2 years ago by jdemeyer

  • Description modified (diff)

comment:4 follow-up: Changed 2 years ago by jdemeyer

For variables, couldn't this be handled in the conversion Sage -> Sympy?

comment:5 in reply to: ↑ 4 Changed 2 years ago by rws

Replying to jdemeyer:

For variables, couldn't this be handled in the conversion Sage -> Sympy?

Yes, SympyConverter:symbol().

comment:6 Changed 2 years ago by egourgoulhon

  • Cc egourgoulhon added
Note: See TracTickets for help on using tickets.