[sage-support] Re: Grobner bases of ideals

2016-12-24 Thread Dima Pasechnik
On Thursday, December 22, 2016 at 12:17:37 PM UTC, Simon King wrote: > > On 2016-12-21, jack > wrote: > >> Try removing the semi-colon;;; > > No. I tried the example, using different term orders (the OP uses lex, > I also tried degrevlex), but it didn't finish within 15 minutes. So, I'd >

[sage-support] Re: Grobner bases of ideals

2016-12-22 Thread Simon King
On 2016-12-21, jack wrote: >> Try removing the semi-colon;;; No. I tried the example, using different term orders (the OP uses lex, I also tried degrevlex), but it didn't finish within 15 minutes. So, I'd say that simply the problem is very difficult. On the other hand, the given polynomials

[sage-support] Re: Grobner bases of ideals

2016-12-21 Thread jack
On Wednesday, 21 December 2016 07:14:51 UTC-5, NITIN DARKUNDE wrote: > > Respected Sir, > I am trying to find Groebner basis of an ideal in > polynomial ring in 35 variables over GF(2)(As per suggestions earlier, I am > working over GF(2) instead of GF(3)) but I am not able

[sage-support] Re: Grobner bases of ideals

2016-12-21 Thread David Joyner
On Wed, Dec 21, 2016 at 7:14 AM, NITIN DARKUNDE wrote: > Respected Sir, > I am trying to find Groebner basis of an ideal in > polynomial ring in 35 variables over GF(2)(As per suggestions earlier, I am > working over GF(2) instead of GF(3)) but I am not able to see the output

[sage-support] Re: Grobner bases of ideals

2016-12-21 Thread David Joyner
On Wed, Dec 21, 2016 at 7:28 AM, David Joyner wrote: > On Wed, Dec 21, 2016 at 7:14 AM, NITIN DARKUNDE > wrote: >> Respected Sir, >> I am trying to find Groebner basis of an ideal in >> polynomial ring in 35 variables over GF(2)(As per suggestions earlier, I am >> working ove

[sage-support] Re: Grobner bases of ideals

2016-12-21 Thread David Joyner
On Wed, Dec 21, 2016 at 7:14 AM, NITIN DARKUNDE wrote: > Respected Sir, > I am trying to find Groebner basis of an ideal in > polynomial ring in 35 variables over GF(2)(As per suggestions earlier, I am > working over GF(2) instead of GF(3)) but I am not able to see the output