DIRECTORY Rope, IO, AlgebraClasses, Ints, BigRats, RatIntervals, Variables, Polynomials, AlgebraicNumbers, Points; SamplePoints: CEDAR DEFINITIONS ~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, VARS: Variables, AN: AlgebraicNumbers, PTS: Points, POL: Polynomials; SamplePoint: TYPE = AC.Object; SamplePointData: TYPE = REF SamplePointDataRec; SamplePointDataRec: TYPE = RECORD [ cell: AC.Object _ NIL, -- cell to which this sample point belongs basePoint: PTS.Point _ NIL, -- an (r-1)-tuple of elements of baseNumberField. definingPolynomial: POL.Polynomial _ NIL, -- a univariate algebraic polynomial over baseNumberField. isolatingInterval: RI.RatInterval _ NIL, -- for root of definingPolynomial point: PTS.Point _ NIL -- an r-tuple of elements of primitiveNumberField ]; samplePointStructureClass: AC.StructureClass; SamplePointStructureData: TYPE = REF SamplePointStructureDataRec; SamplePointStructureDataRec: TYPE = RECORD [ inputPolynomialRing: AC.Structure, minPolyRing: AC.Structure ]; SamplePointOps: TYPE = REF SamplePointOpsRec; -- prop key is $SamplePointStructure. SamplePointOpsRec: TYPE = RECORD [ cell: AC.UnaryOp, basePoint: AC.UnaryOp, definingPolynomial: AC.UnaryOp, isolatingInterval: AC.UnaryOp, point: AC.UnaryOp ]; MakeSamplePointStructure: PROC [inputPolynomialRing, minPolyRing: AC.Structure] RETURNS [samplePointStructure: AC.Structure]; IsSamplePointStructure: PROC [structure: AC.Structure] RETURNS [BOOL]; Cell: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; BasePoint: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; DefiningPolynomial: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; IsolatingInterval: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; Point: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; SetCell: PROC [samplePoint, cell: AC.Object]; Cll: AC.UnaryOp; BasePt: AC.UnaryOp; DefPoly: AC.UnaryOp; IsolInt: AC.UnaryOp; Pt: AC.UnaryOp; END. ŒSamplePoints.mesa Last Edited by: Arnon, May 3, 1986 3:53:47 pm PDT Algebraic points as they occur as cad sample points. SamplePoint Representation Class for SamplePoint Structures Instance Data for SamplePoint Structures Operations Unique to SamplePoint Structures SamplePoint Structure Constructor Extract SamplePoint Operations from Class Property Lists Conversion and IO Operations Κ―˜Jšœ™J™1J˜J˜Jšœ4™4J™šΟk ˜ Icodešœ˜Kšœ˜J˜J˜Jšœ˜J˜ Jšœ ˜ J˜ Jšœ˜Jšœ˜—head2šΟn œœ ˜J˜—Jšœœœœœ œœ œœ œ˜†headšž™Jšœ œœ˜J˜Jšœœœ˜/šœœœ˜#Jšœœ œΟc*˜AJšœ œ œŸ1˜MJšœœœŸ;˜eJšœœœŸ!˜JJšœœ œŸ1˜HJšœ˜——šœ ™ Kšœœ˜-—šœ(™(Kšœœœ˜Ašœœœ˜,Jšœœ ˜"Jšœ œ ˜K˜——šœ+™+KšœœœŸ%˜Sšœœœ˜"Kšœœ ˜Kšœ œ ˜Kšœœ ˜Kšœœ ˜Kšœœ˜K˜——šœ!™!š žœœ$œ œœ ˜}J™——šœ8™8š žœœ œ œœ˜FK™—š žœœ œ œœ ˜:K˜—š ž œœ œ œœ ˜?K˜—š žœœ œ œœ ˜HK˜—š žœœ œ œœ ˜GK˜—š žœœ œ œœ ˜;K˜——šœ™šžœœ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—Jšžœ ˜J˜—™ šžœœœ ˜-J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜J˜J˜——Jšœ˜—…—ς -