Le dimanche 12 novembre 2006 à 18:31 +0100, Waldek Hebisch a écrit :
> Vanuxem Grégory wrote:
> > I played a little with this and reread aggcat which contains the
> > aggregate categories used in src/algebra. I displayed in Hyperdoc
> > Multiset and clicked on the example link (I wanted to know th
Vanuxem Grégory wrote:
> I played a little with this and reread aggcat which contains the
> aggregate categories used in src/algebra. I displayed in Hyperdoc
> Multiset and clicked on the example link (I wanted to know the "users"
> of Multiset thanks to Waldek for its patch/remark), the interprete
Le dimanche 12 novembre 2006 à 15:22 +0100, Ralf Hemmecke a écrit :
> > For example, is an Axiom set, i.e. a member of the domain Set, a
> > data structure or a mathematical structure? Should we call the
> > domain Set a mathematical structure or only the category SetCategory
> > to which it belon
For example, is an Axiom set, i.e. a member of the domain Set, a
data structure or a mathematical structure? Should we call the
domain Set a mathematical structure or only the category SetCategory
to which it belongs? And of course not everything that we would
like to call a set in Axiom is finite
Richard Harke <[EMAIL PROTECTED]> writes:
[...]
| Thanks. This was very helpful. I still have the problem, however.
| I agree it appears to be a gcl problem. I didn't see any thing in the
| gcl build log and the save-system and compiler::link tests
| given above both appeared to work fine. I did
