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; netMap2(f); ==> f: r1 --> r2 , x -> ab , y -> ac , z -> bc ==>