On Sat, Mar 28, 2009 at 10:37 AM, Florent Hivert
<florent.hiv...@univ-rouen.fr> wrote:
> I also like the following one because it has a very high precedence and also
> because it reminds XML tags
>
>   [1,2,3]  <foo>  [1,2,3]

That one is nice; it's very pretty.  Unfortunately, it doesn't work
with the same implementation, because "A <foo> B" is equivalent to
"(A<foo) and (foo>B)".  (It could probably work with the original
implementation, that stored A inside the global foo; but that doesn't
work with (A <foo> (B <foo> C)).  Maybe it could work if foo had a
stack, where A<foo pushed A on the stack and foo>B popped a value off
the stack.  That seems like it's getting fairly fragile, though.)

(BTW, I think you mean "very low precedence".)

Carl

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to