DIRECTORYMathExpr USING [EXPR],Rope USING [ROPE];MathConstructors: CEDAR DEFINITIONS ~ BEGINROPE: TYPE ~ Rope.ROPE;EXPR: TYPE ~ MathExpr.EXPR;MakePlaceHolder: PROC[] RETURNS[EXPR];MakeInt: PROC[n: ROPE] RETURNS[EXPR];MakeReal: PROC[r: REAL] RETURNS[EXPR];MakeVariable: PROC[var: ROPE] RETURNS[EXPR];MakeNot: PROC[a: EXPR] RETURNS[EXPR];MakeNegation: PROC[a: EXPR] RETURNS[EXPR];MakeAnd: PROC[a, b: EXPR] RETURNS[EXPR];MakeOr: PROC[a, b: EXPR] RETURNS[EXPR];MakeSum: PROC[addend, augend: EXPR] RETURNS[EXPR];MakeComplex: PROC[a, b: EXPR] RETURNS[EXPR];MakeDifference: PROC[subtrahend, minuend: EXPR] RETURNS[EXPR];MakeProduct: PROC[multiplier, multiplicand: EXPR] RETURNS[EXPR];MakeFraction: PROC[numerator, denominator: EXPR] RETURNS[EXPR];MakeParen: PROC[a: EXPR] RETURNS[EXPR];MakePow: PROC[base, exponent: EXPR] RETURNS[EXPR];MakeRadical: PROC[radicand, n: EXPR] RETURNS[EXPR];MakeSummation: PROC[lb, ub, summand: EXPR] RETURNS[EXPR];MakeIntegral: PROC[llim, ulim, integrand, wrt: EXPR] RETURNS[EXPR];MakeMatrix: PROC[nRows, nCols: NAT, rows: LIST OF LIST OF EXPR] RETURNS[EXPR];MakeEqFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR]; MakeNotEqFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR]; MakeLtFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR]; MakeLeFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR];MakeGtFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR];MakeGeFormula: PROC[lhs, rhs: EXPR] RETURNS[EXPR]; badFormat: ERROR;END.   ╪  MathConstructors.mesaCarl Waldspurger, August 19, 1986 7:30:44 pm PDTType Abbreviations High Level Expression Constructorseffects:  Constructs and returns an integer expression for n.          SIGNALS badFormat if n is not a legal integer.effects:  Constructs and returns a real expression for n.effects:  Constructs and returns a variable expression for var.          SIGNALS badFormat if n is not a legal variable (e.g. invalid chars).Signals & ErrorsЭ╩█  Ш JЪЬЩJЪЬ0Щ0JШ JШ codeЪ╧k	Ш	KЪЬ	ЭЬЭЬШKЪЬЭЬЭЬШKШ ЧJШ Ъ╧nЬЭЬЭЬШ&JШ JЪЭШЧШ JЪЮЩШ JЪЭЬЭЬЭЬШJЪЭЬЭЬЭЬШJШ ЧJЩ ЪЮ"Щ"KШ KЪЮЬЭЬЭЬЭЬШ&KШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ%KЪЬ=Щ=KЪЬ8Щ8ЧKШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ&KЪЬ9Щ9ЧKШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ,KЪЬ?Щ?KЪЬNЩNKЩ ЧKЪЮЬЭЬЭЬЭЬЭЬЭШ%KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ*KШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ(KШ ЧKЪ
ЮЬЭЬЭЬЭЬЭЬШ'KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ2KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ,KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ>KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ@KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ?KШ KЪ
Ю	ЬЭЬЭЬЭЬЭЬШ'KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ2KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ3KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ9KШ KЪ
ЮЬЭЬЭЬЭЬЭЬШCKШ KЪЮ
ЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШNKШ KЪ
ЮЬЭЬЭЬЭЬЭЬШ2KЪЬШKЪ
ЮЬЭЬЭЬЭЬЭЬШ6KШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ3KШ ЧЪ
ЮЬЭЬЭЬЭЬЭЬШ2KШ ЧЪ
ЮЬЭЬЭЬЭЬЭЬШ2KШ ЧKЪ
ЮЬЭЬЭЬЭЬЭЬШ3KШ ЧЪЮЩKЩ KЪЬЭЬШKШ KШ ЧЪЭЬШKШ ЧЧЧ ЕЧ    ╩  }  