NC.Interreduction |
Syntax |
NC.Interreduction(G:LIST):LIST |
Description |
Example |
USE QQ[x[1..2],y[1..2]]; NC.SetOrdering("LLEX"); F1:= [[x[1],y[1],x[2]^2], [-9y[2],x[1]^2,x[2]^3],[5]]; -- x[1]y[1]x[2]^2-9y[2]x[1]^2x[2]^3+5 F2:= [[y[1],x[2]^2], [y[2],x[2]^2]]; -- y[1]x[2]^2+y[2]x[2]^2 F3:= [[x[1],y[1]],[x[2]]]; -- x[1]y[1]+x[2] NC.Interreduction([F1,F2,F3]); [[[y[2], x[1]^2, x[2]^3], [1/9x[1], y[2], x[2]^2], [-5/9]], [[y[1], x[2]^2], [y[2], x[2]^2]], [[x[1], y[1]], [x[2]]]] ------------------------------- |
See Also |