Hi Burcin! On Sep 4, 12:56 pm, Burcin Erocal <bur...@erocal.org> wrote: [...] > > So, one should expect that Sage should use two matrices as well. > > This is not necessary. There is some code written by Michael that > converts the relations to a matrix, and passes that on to Singular > around line 396 of the patch here: > > http://trac.sagemath.org/sage_trac/attachment/ticket/4539/plural_2.patch > > Here is the doctest from that function: > > sage: A.<x,y,z>=FreeAlgebra(QQ,3) > sage: G=A.g_algebra({y*x:-x*y})
Yes, this is much better than my stupid suggestion to add relations by changing a ring in-place. > IMHO, this is more user friendly compared to the Singular interface. +1 I am glad that such interface already exists. Is it based on the recent Singular implementation of free algebras, or is it independent? 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 URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---