DIRECTORY Rope, Basics, IO, AlgebraClasses, Points; Reals: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses, PTS: Points; ROPE: TYPE = Rope.ROPE; Real: TYPE = REF RealRep; RealRep: TYPE = RECORD [ val: REAL ]; RealPoint: TYPE = PTS.Point; Reals: AC.Structure; Read: PROC [in: IO.STREAM] RETURNS [out: Real]; FromRope: PROC [in: Rope.ROPE] RETURNS [out: Real]; ToRope: PROC [in: Real] RETURNS [out: Rope.ROPE]; Write: PROC [stream: IO.STREAM, in: Real]; FromREAL: PROC [real: REAL] RETURNS [Real]; ToREAL: PROC [real: Real] RETURNS [REAL]; Add: PROC [firstArg, secondArg: Real] RETURNS [result: Real]; Negate: PROC [arg: Real] RETURNS [result: Real]; Subtract: PROC [firstArg, secondArg: Real] RETURNS [result: Real]; Multiply: PROC [firstArg, secondArg: Real] RETURNS [result: Real]; Invert: PROC [arg: Real] RETURNS [result: Real]; Divide: PROC [firstArg, secondArg: Real] RETURNS [result: Real]; Sign: PROC [arg: Real] RETURNS [Basics.Comparison]; Abs: PROC [arg: Real] RETURNS [result: Real]; Compare: PROC [firstArg, secondArg: Real] RETURNS [Basics.Comparison]; END. „Reals.mesa Last Edited by: Arnon, June 10, 1985 4:19:22 pm PDT Types and Variables I/O and Conversion Arithmetic Comparison Κk˜Jšœ ™ J™3J˜šΟk ˜ Jšœ˜J˜Jšœ˜Jšœ˜Jšœ˜—J˜Ihead2šœœ ˜Jš œœœœœ ˜.J˜headšΟn™codešœœœ˜M˜—Mšœœœ ˜šœ œœ˜Mšœ˜ Mšœ˜—Jšœ œœ˜J˜Jšœœ ˜—šœ™š žœœœœœ ˜/J˜—šžœœ œœ ˜3J˜—šžœœ œ œ˜1J˜—Jšžœœ œœ ˜+J˜Mšžœœœœ˜+M˜Mšžœœœœ˜)—šž ™ šžœœœ˜=J˜—šžœœ œ˜0J˜—šžœœœ˜BJ˜—šžœœœ˜BJ˜—šžœœ œ˜0J˜—šžœœœ˜@J˜——šœ ™ šžœœ œ˜3J™—šžœœ œ˜-J˜—Jšžœœœ˜FJ˜—J™J˜Jšœ˜—…—H7