On Mon, Apr 16, 2012 at 08:16:42PM +0200, Waldek Hebisch wrote:
> [..]
>
> Now, adding your function to Integer, ..., etc. solves dispactching
> problem by using normal Spad dispatching. Still, for me it does
> not look like "right" solution: currently Integer has 107
> operations. If each user could at will add operations to Integer
> we may easily get hundreds or thousends of operations in
> Integer with risk of name clashes etc.
>
Each user will use Standard Axiom functionality in Integer (I)
+ User functionality (II).
(I) is constant. (II) is added by the user, it depends on the user.
And in theory, there are infinitely many categories to which Integer
belongs to.
The Axiom library chooses a fixed finite set of such categories.
And each user chooses one's own additional finite set of such categories.
Simialr is with other standard constructors.
`extend' is quite necessary.
Regards,
------
Sergei
[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.
