DIRECTORY MathExpr USING [EXPR], Rope USING [ROPE]; MathConstructors: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; EXPR: TYPE ~ MathExpr.EXPR; MakePlainSym: PROC[c: CHAR] RETURNS[EXPR]; MakePlainRope: PROC[r: ROPE] RETURNS[EXPR]; MakeOverlaySym: PROC[r: ROPE] RETURNS[EXPR]; MakeBigMathSym: PROC[c: CHAR] RETURNS[EXPR]; MakeSmallMathSym: PROC[c: CHAR] RETURNS[EXPR]; MakeItalSym: PROC[c: CHAR] RETURNS[EXPR]; MakeMathItalSym: PROC[c: CHAR] RETURNS[EXPR]; MakeLine: PROC[] RETURNS[EXPR]; MakeSpace: PROC[size: ATOM] RETURNS[EXPR]; MakePlaceHolder: PROC[] RETURNS[EXPR]; MakeInfinity: PROC[] RETURNS[EXPR]; MakeBool: PROC[n: ROPE] RETURNS[EXPR]; MakeInt: PROC[n: ROPE] RETURNS[EXPR]; MakeReal: PROC[r: REAL] RETURNS[EXPR]; MakeVariable: PROC[var: ROPE] RETURNS[EXPR]; GreekNameToChar: PROC[name: ROPE] RETURNS[CHAR]; CharToGreekName: PROC[c: CHAR] RETURNS[ROPE]; MakeGreekVar: PROC[name: 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]; MakeSubscript: PROC[base, subscript: 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]; MakeIndefiniteIntegral: PROC[integrand, wrt: 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]; MakeSet: PROC[cardinality: NAT, elements: LIST OF EXPR, row: BOOL] RETURNS[EXPR]; MakePoint: PROC[dimension: NAT, elements: LIST OF EXPR, row: BOOL] RETURNS[EXPR]; MakeSequence: PROC[dimension: NAT, elements: LIST OF EXPR, row: BOOL] RETURNS[EXPR]; MakeVector: PROC[dimension: NAT, elements: LIST OF EXPR, row: BOOL] RETURNS[EXPR]; MakeMatrix: PROC[nRows, nCols: NAT, rows: LIST OF LIST OF EXPR] RETURNS[EXPR]; badFormat: ERROR; END. MathConstructors.mesa Carl Waldspurger, August 29, 1986 1:55:55 pm PDT Type Abbreviations Atom Constructors effects: Returns a symbol expression which is all the chars in r superimposed. effects: Constructs and returns an expression for +infinity. effects: Constructs and returns an BOOL expression for n. SIGNALS badFormat if n is not a legal BOOL. 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). effects: Returns the greek TeX character named by name. SIGNALS badFormat if names is unrecognized effects: Returns the name associated with the greek TeX character c. If no such association exists, returns "unknown". effects: Constructs and returns a greek variable expression for the lowercase greek letter associated with name (e.g. "gamma", "lambda"). SIGNALS badFormat if name does not name a greek letter. Miscellaneous Compounds Logical Operators Matrix Expressions effects: Constructs and returns a set expression of size cardinality from elements. SIGNALS badFormat if cardinality doesn't exactly match cardinality(elements). effects: Constructs and returns a point expression of size dimension from elements. SIGNALS badFormat if dimension doesn't exactly match dimension(elements). effects: Constructs and returns a sequence expression of size dimension from elements. SIGNALS badFormat if dimension doesn't exactly match dimension(elements). effects: Constructs and returns a vector expression of size dimension from elements. SIGNALS badFormat if dimension doesn't exactly match dimension(elements). effects: Constructs and returns a matrix expression of size nRows by nCols from rows. SIGNALS badFormat if dimensions given don't exactly match dimension(rows). Signals & Errors Κι˜Jšœ™Jšœ0™0J˜J˜codešΟk ˜ Kšœ œœ˜Kšœœœ˜K˜—J˜šΟnœœ œ˜&J˜Jš˜—headšž™Jšœœœ˜Jšœœ œ˜—šž™š ž œœœœœ˜*K˜—š ž œœœœœ˜+K˜—š žœœœœœ˜,KšœO™OK˜—š žœœœœœ˜,K˜—š žœœœœœ˜.K˜—š ž œœœœœ˜)K˜—š žœœœœœ˜-K˜—šžœœœœ˜K˜—š ž œœœœœ˜*K˜—šžœœœœ˜&K˜—šž œœœœ˜#Kšœ=™=K˜—š žœœœœœ˜&Kšœ:™:Kšœ5™5K™—š žœœœœœ˜%Kšœ=™=Kšœ8™8K˜—š žœœœœœ˜&Kšœ9™9K˜—š ž œœœœœ˜,Kšœ?™?KšœN™NK™—š žœœœœœ˜0Kšœ8™8Kšœ4™4K˜—š žœœœœœ˜-KšœE™EKšœ;™;K˜—š ž œœœœœ˜-KšœD™DšœO™OK™>———šž™š žœœœœœ˜%K˜—š ž œœœœœ˜*K˜—š žœœœœœ˜(K˜—š žœœœœœ˜'K˜—š žœœœœœ˜2K˜—š ž œœœœœ˜,K˜—š žœœœœœ˜>K˜—š ž œœœœœ˜@K˜—š ž œœœœœ˜?K˜—š ž œœœœœ˜'K˜—š žœœœœœ˜2K˜—š ž œœœœœ˜9K˜—š ž œœœœœ˜3K˜—š ž œœœœœ˜9K˜—š ž œœœœœ˜CK˜—Kš žœœœœœ˜A—šž™š ž œœ œœœ˜2Kšœ˜—š žœœ œœœ˜6K˜—š ž œœ œœœ˜3K˜—š ž œœ œœœ˜2K˜—š ž œœ œœœ˜2K˜—š ž œœ œœœ˜3K™——šž™šžœœœ œœœœœœ˜RKšœS™SKšœV™VK™—šž œœ œ œœœœœœ˜RKšœS™SK™RK™—šž œœ œ œœœœœœ˜UKšœV™VK™RK™—šž œœ œ œœœœœœ˜SKšœT™TK™RK™—šž œœœœœ œœœ˜NKšœU™UK™S——šž™Kšœ œ˜K˜K˜—šœ˜K˜——…— ψω