<< Demo013 >> << Section 10.6: Use Directives >> << and >> << Section 10.7: Component Verification >> type Numeric = real; use Points, Triangles; P1 = Point(4.0, 9.0); P2 = Point(6.0, -3.0); P3 = Point(-5.0, 7.0); T1 = Triangle (P1, P2, P3); T1? T2 = Translate (T1, Point (5.0, 5.0)); T2? Scale (T2, 3.0)? Rotate (T1, 3.14159265359)? << 180 degrees >> use Points, Triangles, Circles, Figures; P10 = Point( 3.0, 4.0); P20 = Point( 2.0, 1.0); P30 = Point( 4.0, 1.0); Body = Triangle( P10, P20, P30); Head = Circle( Point( 3.0, 5.0), 1.0); Puppet = Figure( Head, Body); Puppet? Translate( Puppet, Point( 5.0, 3.0))? Rotate( Puppet, 3.14159265359/2.0)? << 90 degrees >>