modules.lib
LIB "modules.lib"; ring r; Module M = image(id(3)); Vector V = makeVector([x,y,z],M); netVector(V); ==> | x | ==> | y | ==> | z | ==>