1. I know what is "a domain of that category",
but what does this mean: "a package of that category" ?
A category (or in other words, an interface) is (basically) just a list
of exports of the form
foo: A -> B
A domain or package is an implementation of this interface.
The difference between package and domain is: in the exports of a domain
appears % in the exports of a package it doesn't. But, I'm sure you know
this already. So where exactly is your problem with the above?
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.
