On Fri, 4 Sep 2009 05:02:02 -0700 (PDT) Simon King <simon.k...@nuigalway.ie> wrote:
> > 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? It's independent. It was just a quick effort to use Plural from Sage. I didn't have time afterwards to follow up and fix the remaining problems. I don't even know if the patches still apply. I'm hoping that things will be easier now since there is a much cleaner interface to libSingular (many thanks Martin and Michael!). Though sage/algebras/ is still one of the most rusty corners of sage. :) Cheers, Burcin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---