(Sorry, a typo sent this message incomplete...) Idea : a mechanism allowing to obtain the right-hand expressin of equalities such as :
sum(X(j)+Y(j),j,1,p)==sum(X(j),j,1,p)+sum(Y(j),j,1,p) prod(X(j)*Y(j),j,1,p)==prod(X(j),j,1,p)*prod(Y(j),j,1,p) integrate(f(x)+g(x),x,a,b)==integrate(f(x),x,a,b)+integrate(g(x),x,a,b) starting from their left-hand expression. This is a generalization of this proposal <https://groups.google.com/forum/#%21topic/sage-support/wLo2RQ-KSag>, which generated Trac#22915 <https://trac.sagemath.org/ticket/22915> (an extension of SR.expand(), which seems to be an over-extension....). A better rationale is now Trac#22937. <https://trac.sagemath.org/ticket/22937> Discussion and criticism welcome. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
