On Friday 04 September 2009, Simon King wrote: > Hi Kwankyu, > > On Sep 4, 8:02 am, Kwankyu <ekwan...@gmail.com> wrote: > > In Singular, a ring can be defined with matrix ordering: > > [...] > > > In Sage, I am trying to construct a polynomial ring with matrix > > ordering. > > AFAIK, it is not implemented, but I think that some people were > working on it. > > It is in fact one of the things that I miss in Sage's polynomial rings > (the other thing are supercommutative rings), so that I need to use > the Singular interface rather than libsingular.
Simon et al, if you design a Python-ic interface how to construct all the term orderings we are still missing in Sage from Singular (e.g. weighted term orderings), then I might find the time to implement them. For me, it is mainly an interface design question, the libSingular part looks relatively easy (and we have [libsingular-devel] now, where every of my questions was answered very quickly so far!). As a starting point, the TermOder objects might be interesting? sage: A = random_matrix(ZZ,3,3) sage: TermOrder(A) ??? Cheers, Martin PS: Did you play with the new libsingular functions functionality in 4.1.2.alpha? It might help you out with your supercommutative rings. The libsingular functions are not feature complete yet though. -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
