KK = ZZ / 30097;
R = KK[l_{0}..l_{4},m_{0}..m_{3}, MonomialOrder=>GRevLex];
alpha = random(KK^10, KK^10);
beta = random(KK^10, KK^10);
C = random(R^1, R^3);
V = random(R^3, R^10);
E = apply(4, i->apply(3-i, j-> l_{i}^2 + l_{i+j+1}^2 - (2/alpha_(i,i+j+1))*l_{i}*l_{i+j+1} - m_{i}^2 - m_{i+j+1}^2 + (2/beta_(i,i+j+1))*m_{i}*m_{i+j+1} ));
E4 = apply(4, i->l_{i}^2 + l_{4}^2 - (2/alpha_(i,4))*l_{i}*l_{4} - m_{i}^2 - 1 + (2/beta_(i,4))*m_{i} );
H = flatten E | E4;
I = ideal H;
dim I
degree I
gbTrace=3;
Igb = groebnerBasis I;
Ip = gb I
|
|
registering polynomial ring 5 at 0x31fe200
10 10
Matrix KK <--- KK
10 10
Matrix KK <--- KK
1 3
Matrix R <--- R
3 10
Matrix R <--- R
Ideal of R
registering gb 2 at 0x38e1700
[gb]{2}(10)mmmmmmmmmm{3}(20)mmmmmmmmmmmmmmmmmmmm{4}(94)mmmmmmmmmmmmmmmmm\
mmmmmm
mmmmmmoooommooomooooommoooooooooooooooooooooooooooooooooooooooooooooooo
{5}(248)mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmommmmmmmmmmmommmmmmmmmmmmm\
mommoommoo
oooommoooommoooomooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooo{6}(381)mmmmmmmmmmmmm
ng monomial ideal 1 at 0x315a000
mmmmmmmmmmmmmmmmommmmmmm
mmmmmmmmmommmmmmmmmmmmmmmmmmmmmmmmmmmmmoooooooooooooooommoooooooooommmmm\
moo
ooooooooommmommmoooooooooooooooooooooooooooooooooooooooooooooooooomooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooo{7}(578)mmmmmmmmmoooooooooooooooooom\
mmo
oooooooooooooommmmmommmmmooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooo{8}(156)oooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo\
ooo
oooooooooooooooooooooooooooooooooooo
number of (nonminimal) gb elements = 255
number of monomials = 10601
ncalls = 54681
nloop = 219257
nsaved = 469
registering monomial ideal 2 at 0x381d4c0
0
40
1 81
Matrix R <--- R
GroebnerBasis[status: done; S-pairs encountered up to degree 7]
GroebnerBasis
registering polynomial ring 5 at 0x31fe200
10 10
Matrix KK <--- KK
10 10
Matrix KK <--- KK
1 3
Matrix R <--- R
3 10
Matrix R <--- R
Ideal of R
registering gb 2 at 0x38e1700
[gb]{2}(10)mmmmmmmmmm{3}(20)mmmmmmmmmmmmmmmmmmmm{4}(94)mmmmmmmmmmmmmmmmmmmmmmm
mmmmmmoooommooomooooommoooooooooooooooooooooooooooooooooooooooooooooooo
{5}(248)mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmommmmmmmmmmmommmmmmmmmmmmmmommoommoo
oooommoooommoooomoooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
oooooooooooooooooooooooo{6}(381)mmmmmmmmmmmmm
ng monomial ideal 1 at 0x315a000
mmmmmmmmmmmmmmmmommmmmmm
mmmmmmmmmommmmmmmmmmmmmmmmmmmmmmmmmmmmmoooooooooooooooommoooooooooommmmmmoo
ooooooooommmommmoooooooooooooooooooooooooooooooooooooooooooooooooomoooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
oooooooooooooooooooooooooooooooooooo{7}(578)mmmmmmmmmoooooooooooooooooommmo
oooooooooooooommmmmommmmmoooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
oooooooooooooooooooooo{8}(156)ooooooooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
oooooooooooooooooooooooooooooooooooo
number of (nonminimal) gb elements = 255
number of monomials = 10601
ncalls = 54681
nloop = 219257
nsaved = 469
registering monomial ideal 2 at 0x381d4c0
0
40
1 81
Matrix R <--- R
GroebnerBasis[status: done; S-pairs encountered up to degree 7]
GroebnerBasis
|