Martin,
On Wed, Nov 12, 2008 at 4:33 AM, you wrote:
> ...
> I noticed that my spad file was flawed, it seems that I can't get Rep and
> % right in Spad. In aldor it's so easy... At least, now FriCAS doesn't
> complain anymore about the Rep.
>
> Could we add these two macro definitions to FriCAS? (I'd rather have
> them as macros, not builtin as in Open-Axiom, I must admit)
>
> macro {
> rep x == ((x)@%) pretend Rep;
> per r == ((r)@Rep) pretend %;
> }
>
>From my point of view these operations are an essential part of the
SPAD language even though most of the legacy code in the Axiom library
does not use them in a type-sage manner.
Could you explain why you prefer these to be pre-defined macros rather
than being builtin as Gaby has done in OpenAxiom and Aldor?
Regards,
Bill Page.
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
