axiom o := point [0,0]
Type: Point(Integer) axiom v1 := point [1,0]
Type: Point(Integer) axiom g := makeGraphImage ([[o, v1]], [red()], [blue()], [6])$GRIMAGE
Type: GraphImage axiom makeViewport2D(g, [])$VIEW2D
Type: TwoDimensionalViewport will not draw a line... |