> Q;       

[                 3                           ]       

[1 - h121 - h124 y  - h124 y - h125 x + h125 y]

> rtable_num_elems(convert(Q, list));

Error, rtable expected

> rtable_num_elems(Q);

Error, rtable expected

https://skydrive.live.com/redir?resid=E0ED7271C68BE47C!341

1*2 Vector has nops should be 2

but

it show 3

g1 := Vector([0, y, x]);

g2 := Vector([0, y^2-x-y, 0]);

g3 := Vector([x, x+y, 0]);

g4 := Vector([y, -y, 0]);

g5 := Vector([0, x*y+x/2+y/2, 0]);

g6 := Vector([0, x^2-x/4-y/4, 0]);

[g1, g2, g3, g4, g5, g6]

cc := [Vector(3, {(1) = 0, (2) = y, (3) = x}), Vector(3, {(1) = 0, (2) = y^2-x-y, (3) = 0}), Vector(3, {(1) = x, (2) = x+y, (3) = 0}), Vector(3, {(1) = y, (2) = -y, (3) = 0}), Vector(3, {(1) = 0, (2) = x*y+(1/2...

http://math.stackexchange.com/questions/376240/how-to-calculate-grobner-basis-for-syzi-f1-f2-g1-g2

http://math.stackexchange.com/questions/376980/why-syz-algorithm-for-module-have-dimension-problem-how-to-divide-vector-and-mu

g1 := [0, y, x];g2 := [0, y^2-x-y, 0]; g3 := [x, x+y, 0]; g4 := [y, -y, 0]; g5 := [0, x*y+x/2+y/2, 0]; g6 := [0, x^2-x/4-y/4, 0];

g1 := 0; g2 := 0; g3 := x; g4 := y; g5 := 0; g6 := 0;

restart; with(Groebner):

IsNullZero := proc(tau) if assigned(tau) then return tau else return 0 end if end proc;