> Dear Gaby, Waldek,
>
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > I am slightly suprized that the file compiles and is doing someting
> > sensible.
>
> I *really* want the species framework to replace the corresponding domains in
> FriCAS: Partitions, Permutations, SetsOfMIntegersInN, Lists, Sets,
> BinaryTrees,
> etc. Of course, even a great deal of the implementation can stay, but the
> organisation should be redone.
>
Hmm, I still do not understand how species work but my impression was
that:
1) species lack much of functionality present in concrete domains
2) species impose serious overhead compared to specialized domains
So I would say that we need some way to overcame those difficulties.
Or at least we need to compare gains and losses and convince ourselfs
that gains are bigger.
Of course, before we start replacing other domains Spad version
of species have to work...
> 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 %;
> }
>
We can not: currently FriCAS does not support macros with parameters.
Another thing is I we really want such macros, there are alternative
solutions:
-- making Rep magical so that pretend is not needed (patially done
in current Spad compiler, but what is done does not solve all
problems)
-- rep and per as builtin functions
-- alternative mechanism for choosing representation plus automatic
coercions from/to representation inside implementation part
-- macros
IMHO macros have only one advantage: least amount of work to
implement. However, with parameterless macros the only sane
way is to define rep/per locally (separately for each domain).
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
