[sage-support] Re: A ring with matrix ordering

2009-09-11 Thread Marshall Hampton
I am very low on time for Sage development right now, but I am interested in having matrix ordering supported in Sage. I will put this on my Sage to-do list and help out when I can (unfortunately my Sage to-do list is getting pretty long). I agree with John that Simon's example: sage: M = Mat

[sage-support] Re: A ring with matrix ordering

2009-09-10 Thread Kwankyu
Hi, I created a trac ticket #6922 to track this issue. I also added a patch, which does not work. :-) As I really need matrix ordering, I hope someone solve this issue soon. Kwankyu --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegrou

[sage-support] Re: A ring with matrix ordering

2009-09-06 Thread john_perry_usm
Hi SImon, > Martin Albrecht pointed out in a related > threadhttp://groups.google.com/group/sage-devel/browse_thread/thread/497bfc... > that one can also work with TermOrder objects, which allow for an easy > creation of block orderings. > Do you think that this would be an appropriate / natural

[sage-support] Re: A ring with matrix ordering

2009-09-05 Thread Simon King
Hi John! On Sep 5, 3:05 pm, john_perry_usm wrote: > > What do people think? > >  * Should it (in addition to the current behaviour) be possible to > > define a matrix ordering by a matrix and a block ordering by a list or > > tuple? > > Although you are in favor of the other two solutions, I thi

[sage-support] Re: A ring with matrix ordering

2009-09-05 Thread john_perry_usm
Hi! > What do people think? >  * Should it (in addition to the current behaviour) be possible to > define a matrix ordering by a matrix and a block ordering by a list or > tuple? Although you are in favor of the other two solutions, I think that this solution is quite natural, inasmuch as it's w

[sage-support] Re: A ring with matrix ordering

2009-09-04 Thread Simon King
Again hi! On Sep 4, 10:38 am, Simon King wrote: > Hi! > > On Sep 4, 10:10 am, Simon King wrote: > > > I don't know whether it would suffice to define an integer matrix "a" > > in the Singular interface, though. Let me do some tests. > > Apparently it isn't that easy. I think the main problem i

[sage-support] Re: A ring with matrix ordering

2009-09-04 Thread Simon King
Hi! On Sep 4, 10:10 am, Simon King wrote: > I don't know whether it would suffice to define an integer matrix "a" > in the Singular interface, though. Let me do some tests. Apparently it isn't that easy. And also I believe that defining an integer matrix in the Singular interface and then refe

[sage-support] Re: A ring with matrix ordering

2009-09-04 Thread Simon King
Hi Kwankyu, On Sep 4, 8:52 am, Kwankyu wrote: > Hi Simon, > > The Sage documentation says an unknown term ordering is just passed to > the Singular. So in this case, 'M(a)' should be passed to the > Singular. Ah, it seems indeed to be a bug!!! Namely, in line 396 of sage/rings/polynomial/term_

[sage-support] Re: A ring with matrix ordering

2009-09-04 Thread Kwankyu
Hi Simon, The Sage documentation says an unknown term ordering is just passed to the Singular. So in this case, 'M(a)' should be passed to the Singular. Since the Singular knows 'a', the ring declaration should work. I suspect that this is a bug of Sage. Anyway it will be great that the matrix o

[sage-support] Re: A ring with matrix ordering

2009-09-04 Thread Simon King
Hi Kwankyu, On Sep 4, 8:02 am, Kwankyu 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 t