/**/ use R ::= QQ[x,y];
/**/ I := ideal(x*y -2, x^2 -x*y);
/**/ GenRepr(x -y, I);
[(-1/2)*x +(1/2)*y, (1/2)*y]
/**/ ScalarProduct(It, gens(I));
x -y
/**/ ReducedGBasisRepr(x -y, I);
[1, 0]
/**/ ScalarProduct(It, ReducedGBasis(I));
x -y
/**/ K := NewFractionField(NewPolyRing(QQ, "a"));
/**/ use R ::= K[x,y];
/**/ L := [x+y^2, x^2-x*y];
/**/ GenRepr((a-2)*L[1] - (x-a)*L[2], ideal(L));
[a -2, -x +a]
/**/ R3 := NewFreeModule(R,3);
/**/ V1 := ModuleElem(R3, [x, y, y^2]);
/**/ V2 := ModuleElem(R3, [x-y, 0, x^2]);
/**/ V := x^2*V1 - y^2*V2;
/**/ M := submodule(R3, [V1, V2]);
--/**/ GenRepr(V, M); -- ***** NOT YET IMPLEMENTED *****
--[x^2, -y^2]
|