The fundamental issue is that the symbolic ring SR has no concept of "variable", everything is of type Expression. Since v+1 doesn't have an index associated to it, you can't have indices in any consistent manner.
I think the SR elements should be derived classes of Expression if they are "elementary", that is, a single variable, a power series, .... Essentially this would only affect construction of Expression objects with a single operand, so it shouldn't be noticeably slower. Any thoughts on that? I'm sure Burcin knows more about it... -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
