Hi! I almost finished to re-implement free algebras based on Gap, which should provide much faster arithmetic and allows to study non- associative and non-unital algebras.
It seems that FreeAlgebraQuotients require the associative case, doesn't it? Now I wonder how free algebra quotients are compared. First of all, they are not unique parent structures (I guess that ought to change). But surprisingly, although they do *not* have a __cmp__ method, non- identical free algebra quotients can still be compared: sage: n = 2 sage: A = FreeAlgebra(QQ,n,'x') sage: F = A.monoid() sage: i, j = F.gens() sage: mons = [ F(1), i, j, i*j ] sage: r = len(mons) sage: M = MatrixSpace(QQ,r) sage: mats = [M([0,1,0,0, -1,0,0,0, 0,0,0,-1, 0,0,1,0]), M([0,0,1,0, 0,0,0,1, -1,0,0,0, 0,-1,0,0]) ] sage: sage: H2.<i,j> = A.quotient(mons,mats) sage: H2 is loads(dumps(H2)) False sage: H2 == loads(dumps(H2)) True sage: hasattr(H2,'__cmp__') False sage: hasattr(H2,'__richcmp__') False How can this be explained? How is comparison of H2 and loads(dumps(H2)) achieved? Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
