Hi Martin,
> You know that FriCAS/Aldor does not have this drawback? Eg., the set of all
> combinatorial species forms a Ring...
Thanks for pointing this out. Could you make a quick summary here of
how this is achieved?
Each combinatorial species is a domain, right? Are they simultaneously
elements of some domain in the Ring category?
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <[EMAIL PROTECTED]>
http://Nicolas.Thiery.name/
--~--~---------~--~----~------------~-------~--~----~
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/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
