/* sp_elist.max */ eqlist: []$ for i:1 thru noeqs do eqlist: endcons(eq[i],eqlist)$ /* sp_elist.max */