(******************************************************************************
 ** GEOMETRY.sml
 ** sml
 **
 ** Franklin Chen and Guy Blelloch 
 ** The GEOMETRY signature
 ******************************************************************************)

signature GEOMETRY =
    sig

	exception BadDimension

	structure Number : NUMBER

	structure Side : SIDE = Side

        structure Vec : VEC where Number = Number

        structure Point : POINT where Vec = Vec

        structure Box : BOX where Point = Point 

	structure HalfSpace : HALFSPACE where Point = Point

        structure Sphere : SPHERE where Point = Point

	(* Not Yet Implemented

	structure Subspace : SUBSPACE 
             where Halfspace = Halfspace and Box = Box and Sphere = Sphere

	     *)

    end