<> <> <> <<>> <> <<>> <> <<>> <<>> DIRECTORY Rope, IO, AlgebraClasses; Vectors: CEDAR DEFINITIONS ~ BEGIN OPEN Rope, AC: AlgebraClasses; <> Vector: TYPE = AC.Object; VectorData: TYPE = REF VectorDataRec; VectorDataRec: TYPE = RECORD [ SEQUENCE dimensionPlus1:[1..65534] OF AC.Object ]; <> <> VectorStructureData: TYPE = REF VectorStructureDataRec; VectorStructureDataRec: TYPE = RECORD [ row: BOOL _ TRUE, coordinateStructure: AC.Object, dimension: NAT ]; <> MakeVectorStructure: AC.VectorStructureConstructor; PrintName: AC.ToRopeOp; ShortPrintName: AC.ToRopeOp; CoordinateStructure: AC.UnaryOp; Dimension: AC.StructureRankOp; IsVectorStructure: AC.UnaryPredicate; Characteristic: AC.StructureRankOp; <> <> Recast: AC.BinaryOp; CanRecast: AC.BinaryPredicate; ToExpr: AC.ToExprOp; LegalFirstChar: AC.LegalFirstCharOp; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; <> ImbedScalar: AC.UnaryImbedOp; <>> MakeVector: AC.ListImbedOp; <> <> <> Coordinate: AC.BinaryOp; <> <> Zero: AC.NullaryOp; One: AC.NullaryOp; Add: AC.BinaryOp; Negate: AC.UnaryOp; Subtract: AC.BinaryOp; ScalarMultiply: AC.BinaryOp; <> <<>> ComponentWiseMultiply: AC.BinaryOp; ComponentWisePower: AC.BinaryOp; ComponentWiseInvert: AC.UnaryOp; ComponentWiseDivide: AC.BinaryOp; <> Equal: AC.BinaryPredicate; <> MapUnaryElementOp: AC.BinaryMixedOp; <> <<>> MapBinaryElementOp: AC.TernaryMixedOp; <> END.