On Aug 21, 2008, at 8:08 AM, Bill Page wrote: > > On Thu, Aug 21, 2008 at 12:50 AM, mhampton wrote: >> >> I really need to go to sleep so I won't do a top-ten, but here's a >> top 2: >> >> 1) Powerful substitutions and rules. Sage does not have anything >> comparable. The .subs() function is buggy even in its limited >> domain. There have been previous posts on sage-devel that give >> good examples of this. >> > > Because of the subject of this thread I feel justified in giving the > following examples from Axiom: > > http://axiom-wiki.newsynthesis.org/ManipulatingExpressions > > Perhaps Sage can implement some form of pattern matching and > subsitution such is done by Axiom's rewrite rules? I think that in > many respects these provide a functionality similar to Mathematica. > > There is also a similar re-writing system in Maple (applyrule).
I believe patter matching is something that GiNaC will get for us. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---