nets.lib
LIB "nets.lib"; ring r1=101,(x,y,z),lp; ring r2=103,(a,b,c),lp; map f=r1,ab,ac,bc; netMap(f); ==> Map: r1 --> r2 , x -> ab ==> , y -> ac ==> , z -> bc ==>