(******************************************************************************
 ** RealGeometry.sml
 ** sml
 **
 ** Guy Blelloch
 ** Implementation of 3d and 2d Real Geometry.
 **   The 3d version uses built in RealGeometryPrims3d for efficiency
 ******************************************************************************)

(* Four dimensional space. *)
structure FourDSpace : SPACE = 
  struct 
    type space = RealNumber.t * int
    structure number = RealNumber
    val dimension = 4
  end

(* Geometry structures. *)
structure RealGeometryPrims2d = GeometryPrims2d(structure Number = RealNumber)
structure RealGeometryPrims4d = RealGeometryPrims (val dimension = 4)

structure RealGeometry2d = GeometryFromPrims(structure GP = RealGeometryPrims2d)
structure RealGeometry3d = GeometryFromPrims(structure GP = RealGeometryPrims3d)
structure RealGeometry4d = GeometryFromPrims(structure GP = RealGeometryPrims4d)