Waldek,
Thank you for posting the change that adds 'Comparable' to XPOLY and
Tensor domains. I am sorry that I did not have time to do it earlier.
The following patch defines FreeMonoidCat as a separate category, adds
a new domain for FreeCommuativeMonoid and declares a FreeMonoid over
The following patch defines FreeMonoidCat as a separate category, adds
a new domain for FreeCommuativeMonoid and declares a FreeMonoid over
OrderedSet to be an OrderedMonoid.
I wonder what is the intent of FreeCommuativeMonoid? If the
intent is to have '*' as name of operation than at
Dear Mike, dear Stephen,
may I ask you again to consider the attached request.
Thank you
Ralf
On 09/24/2009 11:38 PM, Ralf HEMMECKE wrote:
Dear Stephen, dear Mike
as you might know, I have built some scripts in FriCAS (a fork of
Axiom) (http://fricas.sourceforge.net/) in order to build
