<> <> <> <> <> <<>> <> <<>> <<>> DIRECTORY Rope, IO, AlgebraClasses; Points: CEDAR DEFINITIONS ~ BEGIN OPEN Rope, AC: AlgebraClasses; <> Point: TYPE = AC.Object; PointData: TYPE = REF PointDataRec; PointDataRec: TYPE = RECORD [ SEQUENCE dimensionPlus1:[1..65534] OF AC.Object ]; <> pointsOverSetClass: AC.Object; pointsOverAbelianGroupClass: AC.Object; pointsOverRingClass: AC.Object; <> PointStructureData: TYPE = REF PointStructureDataRec; PointStructureDataRec: TYPE = RECORD [ coordinateStructure: AC.Object, dimension: NAT ]; <> MakePointStructure: AC.PointStructureConstructor; <> ImbedScalar: AC.UnaryImbedOp; MakePoint: AC.ListImbedOp; <> Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; <> IsPointStructure: AC.UnaryPredicate; RemoveMainCoordinate: AC.UnaryOp; MainCoordinate: AC.UnaryOp; <> Equal: AC.EqualityOp; <> Add: AC.BinaryOp; Negate: AC.UnaryOp; Subtract: AC.BinaryOp; Multiply: AC.BinaryOp; END.