nets.lib
LIB "nets.lib"; ring r1=101,(x,y,z),lp; poly a=2x3y4; poly b=2x3y4z-5x6y7z10; poly c=x3y4z5; poly d=5x6y7z10; poly e=2x3y; poly f=4y5z8+5x6y7z10; vector V=[a,b,c,d,e,f]; netvectorShort(V); ==> | 2x3y4 | ==> | -5x6y7z10+2x3y4z | ==> | x3y4z5 | ==> | 5x6y7z10 | ==> | 2x3y | ==> | 5x6y7z10+4y5z8 | ==>