Peter Broadbery wrote:
>
> Did this ever work? I can't remember to be honest.
AFAIK 'extend' never worked on Axiom/FriCAS domains.
> In either case it's not going to be an easy fix.
It seems to be problem of adding runtime support. Basically,
each domain needs to be represented by a chain of extensions.
Most of real work probably could be delegated to existing support of
inheritance (add domain). Of course the 'interp' code would
need enhancement to understand Aldor 'extend'. In
Axiom/FriCAS there is extra difficulty:
)lib INT
is supposed to wipe old version of INT and replace it by a new
version. In case of Aldor style 'extend' semantics is not clear:
do the user want to load _new_ extenstion on top of old one?
Or is the intent to wipe old extension and repleace it by
new version. The problem is because extensions are
effectively anonymous, so one way would be to require names
for extensions (but that would be incompatible with current
Aldor). Alternatively, we could have some protocol, for
example that reloading INT wipes all extensions. Or maybe
extra command to unload extensions. But without way to identify
extensions this looks clumsy. Maybe produce some machine
generated identifier during load which user could use to unload
specific extension?
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
