nets.lib
LIB "nets.lib"; ring r; ideal I=2x3y4,2x3y4z+x3y4z5,5x6y7z10-2x3y+4y5z8; netIdeal(I); ==> <2x3y4, x3y4z5+2x3y4z, 5x6y7z10+4y5z8-2x3y> ==>