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. ͺPoints.mesa Last Edited by: Arnon, May 3, 1986 3:53:47 pm PDT External direct product, i.e. Cartesian product, constructor on some baseStructure. baseStructure is arbitrary; whatever operations are available in it are available in the product structure as component-wise operations. If baseStructure is a ring or field, Module/Vector(Space) constructor may be more appropriate. Finite-dimensional vector space over a field, or finite-dimensional module over a ring. Point Representation Public Classes for Point Structures Instance Data for Point Structures Point Structure Constructor Point Constructors Conversion and IO Point Structure Operations Comparison Arithmetic Κ…˜Jšœ ™ J™1J˜J˜JšœS™SJšœ‰™‰Jšœ^™^J™JšœW™WJ™J™šΟk ˜ Icodešœ˜Kšœ˜Kšœ˜—head2šΟnœœ ˜J˜—Jšœœœœ˜'headšž™Jšœœœ˜J˜Jšœ œœ˜#J˜šœœœ˜Jšœœœ˜/Jšœ˜——šœ#™#Kšœœ˜Kšœœ˜'Kšœœ˜—šœ"™"Kšœœœ˜5šœœœ˜&Kšœœ˜Kšœ ˜K˜——šœ™Kšžœœ˜1—šœ™šž œœ˜J˜—Jšž œœ ˜—šœ™šžœœ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—Jšžœ ˜—šž™šžœœ˜$K˜—šžœœ ˜!K˜—Kšžœœ ˜—šœ ™ Jšžœœ ˜—šž ™ šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—J˜—Jšœ˜—…—ŠΉ