1 (C1) loadfile(asymp,fasl,dsk,adk)$
2 ASYMP: version of 11:54pm Saturday, 4 July 1981
4 (C2) demo(asymp,demo,dsk,adk)$
6 (C3) /* This file demonstrates the facilities of the ASYMP package. */
10 (C4) graph1:diagram(line(a,b,1,m),line(b,c,2,m),line(c,a,3,mm),extline(a,4,p),
11 extline(b,5,q),extline(c,6,-p-q))$
15 (C5) bound(graph1,[[m,p,q],mm,inf]);
24 (C6) graph2:diagram(line(a,b,2,m),line(b,c,3,m),line(c,d,5,m),line(d,a,4,m),
25 line(b,d,6,m),extline(a,1,p),extline(c,7,-p))$
29 (C7) bound(graph2,[m,p,inf]);
36 (C8) graph3:diagram(line(a,b,1,m),line(b,c,2,m),line(c,d,3,m),line(d,e,4,m),
37 line(e,f,5,m),line(f,a,6,m),line(b,e,7,m),line(f,c,8,m),
38 extline(a,9,p),extline(d,10,-p))$
42 (C9) bound(graph3,[m,p,inf]);
49 (C10) graph4:diagram(line(a,b,1,m),line(b,c,2,m),line(c,d,3,m),line(d,f,4,m),
50 line(f,e,5,m),line(e,a,6,m),line(b,e,7,m),line(f,c,8,m),
51 extline(a,9,p),extline(d,10,-p))$
54 (C11) bound(graph4,[m,p,inf]);
62 (C12) graph5:diagram(line(a,b,1,m),line(b,c,2,m),line(c,d,3,m),line(d,f,4,m),
63 line(f,e,5,m),line(e,a,6,m),line(b,e,7,mm),line(f,c,8,mm),
64 extline(a,9,p),extline(d,10,-p))$
67 (C13) bound(graph5,[[m,p],mm,inf]);
77 (C14) graph6:diagram(line(a,b,1,m),line(b,c,2,m),line(c,d,3,m),line(d,e,4,m),
78 line(e,f,5,m),line(f,a,6,m),line(b,e,7,mm),line(f,c,8,mm),
79 extline(a,9,p),extline(d,10,-p))$
82 (C15) bound(graph6,[[p,m],mm,inf]);