Hi, Francesco, the Proposal you've edited, is it final? I was looking at some transformation rules in mathematica here <https://reference.wolfram.com/language/tutorial/ApplyingTransformationRules.html>, I think some of them may be helpful if implemented. Other references rules and definitions <https://reference.wolfram.com/language/tutorial/TransformationRulesAndDefinitionsOverview.html> , manipulation of transformation rules <https://reference.wolfram.com/language/tutorial/ManipulatingSetsOfTransformationRules.html>. I need suggestions here? Thanks!
Abdullah Javed Nesar On Monday, March 20, 2017 at 9:38:25 PM UTC+5:30, Francesco Bonazzi wrote: > > I have just converted the RUBI rules in an easily parseable format: > > > https://raw.githubusercontent.com/Upabjojr/RUBI_integration_rules/master/RUBI_DownValues_FullForm.txt > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/43c6c746-13b6-40d7-a408-27530243447d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
