3 load_package(asymp,"adk\;asymp fasl")$
7 graph7:diagram(line(a,b,l1,m),line(b,c,l2,m),line(c,d,l3,m),
8 line(d,a,l4,m),line(b,e,l5,m),line(e,d,l6,m),extline(a,el1,p),
9 extline(c,el2,-p+q),extline(e,el3,-q))$
11 bound(graph7,[[m,q],p,inf]);
13 graph8:diagram(line(a,b,l1,m),line(b,c,l2,m),line(c,d,l3,m),
14 line(d,a,l4,m),line(b,e,l5,m),line (e,f,l6,m),line(f,d,l7,m),
15 extline(a,el1,p),extline(c,el2,-p+q+r),extline(e,el3,-q),
18 bound(graph8,[[m,q],p,inf]);
20 graph9:diagram(line(a,b,l1,mm),line(b,c,l2,mu),line(c,d,l3,m),
21 line(d,a,l4,m),line(b,e,l5,m),line(e,d,l6,m),extline(a,el1,p),
22 extline(c,el2,-p+q),extline(e,el3,-q))$
24 bound(graph9,[[m,q,p],mu,mm,inf]);