> Was you question concerning the specific syntax in your example? No, actually not. Both should work. Right?
> (2) -> f(x:Z):Z->Z == (y:Z):Z +-> x+y Anyway, thanks for this "workaround". Having looked at the issue tracker on the axiom wiki and submitted a bug, I got confused by the existence of http://sourceforge.net/tracker/?atid=972421&group_id=200168 Waldek obviously uses it. Also http://fricas.sourceforge.net/ points to the sf bugtracker. Since I will probably submit more bugs in the near future, is the sf tracker now the official fricas tracker? I haven't yet found, how I get mails from the sf tracker. Does somebody know? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
