search

kubaPod / MoreCalculus

Developement repository for MoreCalculus Mathematica package
9 stars 4 forks source link

DChange and Assuming/$Assumptions #2

Open kubaPod opened 6 years ago

kubaPod commented 6 years ago

Maybe an assumption option should be added to DChange because Solve isn't influenced by Assuming and this sometimes makes writing transformation rule a bit painful.

– xzczd Oct 24 '16 at 1:30

kubaPod commented 6 years ago

Transformation relations go straight to Solve so it can be done by adding assumptions there. Any reason why it is not enough?