DIRECTORYBasics,Rope,Convert,List USING [AList, Assoc, PutAssoc],MathExpr USING [AtomClass, CompoundClass, MatrixClass],MathDB;MathDBImpl: CEDAR PROGRAM IMPORTS List, ConvertEXPORTS MathDB ~BEGINAtomClass: TYPE ~ MathExpr.AtomClass;CompoundClass: TYPE ~ MathExpr.CompoundClass;MatrixClass: TYPE ~ MathExpr.MatrixClass;ROPE: TYPE ~ Rope.ROPE;AList: TYPE ~ List.AList;GlobalAtomClasses: List.AList _ NIL;GlobalCompoundClasses: List.AList _ NIL;GlobalMatrixClasses: List.AList _ NIL;AtomClassNames: PUBLIC LIST OF ATOM _ NIL;CompoundClassNames: PUBLIC LIST OF ATOM _ NIL;MatrixClassNames: PUBLIC LIST OF ATOM _ NIL;ResetAtomClasses: PUBLIC PROC[] ~ {GlobalAtomClasses _ NIL;AtomClassNames _ NIL;};ResetCompoundClasses: PUBLIC PROC[] ~ {GlobalCompoundClasses _ NIL;CompoundClassNames _ NIL;};ResetMatrixClasses: PUBLIC PROC[] ~ {GlobalMatrixClasses _ NIL;MatrixClassNames _ NIL;};InstallAtomClass: PUBLIC PROC[class: AtomClass] ~ {GlobalAtomClasses _ List.PutAssoc[key: class.name, val: class, aList: GlobalAtomClasses];AtomClassNames _ CONS[class.name, AtomClassNames];};InstallCompoundClass: PUBLIC PROC[class: CompoundClass] ~ {GlobalCompoundClasses _ List.PutAssoc[key: class.name, val: class, aList: GlobalCompoundClasses];CompoundClassNames _ CONS[class.name, CompoundClassNames];};InstallMatrixClass: PUBLIC PROC[class: MatrixClass] ~ {GlobalMatrixClasses _ List.PutAssoc[key: class.name, val: class, aList: GlobalMatrixClasses];MatrixClassNames _ CONS[class.name, MatrixClassNames];};LookupAtomClass: PUBLIC PROC[name: ATOM] RETURNS[AtomClass] ~ {atomClass: AtomClass _ NARROW[List.Assoc[key: name, aList: GlobalAtomClasses]];IF atomClass = NIL THEN ERROR notFound;RETURN[atomClass];};LookupCompoundClass: PUBLIC PROC[name: ATOM] RETURNS[CompoundClass] ~ {compoundClass: CompoundClass _ NARROW[List.Assoc[key: name, aList: GlobalCompoundClasses]];IF compoundClass = NIL THEN ERROR notFound;RETURN[compoundClass];};LookupMatrixClass: PUBLIC PROC[name: ATOM] RETURNS[MatrixClass] ~ {matrixClass: MatrixClass _ NARROW[List.Assoc[key: name, aList: GlobalMatrixClasses]];IF matrixClass = NIL THEN ERROR notFound;RETURN[matrixClass];};DescriptionFromName: PUBLIC PROC[className: ATOM] RETURNS[ROPE]~ {a: AtomClass;c: CompoundClass;m: MatrixClass;a _ LookupAtomClass[className ! notFound => CONTINUE];IF a#NIL THEN RETURN[Convert.RopeFromAtom[from: className, quote: FALSE] ];c _ LookupCompoundClass[className ! notFound => CONTINUE];IF c#NIL THEN RETURN[c.description];m _ LookupMatrixClass[className ! notFound => CONTINUE];IF m#NIL THEN RETURN[Convert.RopeFromAtom[from: className, quote: FALSE] ];ERROR notFound;};DescriptionsFromNames: PUBLIC PROC [in: LIST OF ATOM] RETURNS[LIST OF ROPE] ~ {out, out2: LIST OF ROPE;IF in = NIL THEN RETURN[NIL];out _ out2 _ LIST[DescriptionFromName[in.first] ];FOR l: LIST OF ATOM _ in.rest, l.rest UNTIL l=NIL DOout2 _ out2.rest _ LIST[DescriptionFromName[l.first] ];ENDLOOP;RETURN[out];};GlobalOperatorTable: List.AList _ NIL;ResetOperatorTable: PUBLIC PROC[] ~ {GlobalOperatorTable _ NIL;};AddOperator: PUBLIC PROC[class: CompoundClass, familyName: ATOM] ~ {family: LIST OF REF _ NARROW[List.Assoc[key: familyName, aList: GlobalOperatorTable]];IF family=NIL THEN {GlobalOperatorTable _ List.PutAssoc[key: familyName, val: LIST[class.name], aList: GlobalOperatorTable];RETURN};family _ CONS[class.name, family]; -- maybe should put at endGlobalOperatorTable _ List.PutAssoc[key: familyName, val: family, aList: GlobalOperatorTable];};OpFamiliesNames: PUBLIC PROC[] RETURNS[LIST OF ATOM]~ {names: LIST OF ATOM _ NIL;FOR l:List.AList _ GlobalOperatorTable, l.rest UNTIL l = NIL DOnames _ CONS[NARROW[l.first.key], names];ENDLOOP;RETURN[names];};OpFamilyNames: PUBLIC PROC[familyName: ATOM] RETURNS[LIST OF ATOM]~ {family: LIST OF REF _ NARROW[List.Assoc[key: familyName, aList: GlobalOperatorTable]];names: LIST OF ATOM _ NIL;IF family=NIL THEN ERROR notFound;FOR l:LIST OF REF _ family, l.rest UNTIL l = NIL DOnames _ CONS[NARROW[l.first], names];ENDLOOP;RETURN[names];};CompareOps: PUBLIC PROC[op1, op2: ATOM] RETURNS[Basics.Comparison]~ {SELECT op1 FROM$sum, $difference => SELECT op2 FROM$sum, $difference => RETURN[equal];$negation => RETURN[less];$product, $fraction, $pow => RETURN[less];$dDx, $partialDeriv => RETURN[less];ENDCASE => RETURN[equal];$negation => SELECT op2 FROM$sum, $difference => RETURN[greater];$negation => RETURN[equal];$product, $fraction => RETURN[equal];$pow => RETURN[less];$dDx, $partialDeriv => RETURN[less];ENDCASE => RETURN[equal];$product, $fraction => SELECT op2 FROM$sum, $difference => RETURN[greater];$negation => RETURN[equal];$product, $fraction => RETURN[equal];$pow => RETURN[less];$dDx, $partialDeriv => RETURN[less];ENDCASE => RETURN[equal];ENDCASE => RETURN[equal];};RopesFromAtoms: PUBLIC PROC [in: LIST OF ATOM] RETURNS[LIST OF ROPE] ~ {out, out2: LIST OF ROPE;IF in = NIL THEN RETURN[NIL];out _ out2 _ LIST[Convert.RopeFromAtom[from: in.first, quote: FALSE] ];FOR l: LIST OF ATOM _ in.rest, l.rest UNTIL l=NIL DOout2 _ out2.rest _ LIST[Convert.RopeFromAtom[from: l.first, quote: FALSE] ];ENDLOOP;RETURN[out];};KillAssoc: PUBLIC PROC [key: REF ANY, aList: AList] RETURNS[AList]~ {l, l1: AList _ NIL;l _ aList;UNTIL l = NIL DOIF l.first.key = key THEN {IF l1 = NIL THEN RETURN[l.rest]; -- ref was first object on listl1.rest _ l.rest;RETURN[aList];};l1 _ l;l _ l.rest;ENDLOOP;RETURN [aList]; -- not found};notFound: PUBLIC ERROR = CODE;ResetAtomClasses[];ResetCompoundClasses[];ResetMatrixClasses[];ResetOperatorTable[];END.   	*  MathDBImpl.mesaCarl Waldspurger, August 22, 1986 3:29:18 pm PDTMath Object "DataBase" OperationsAbbreviations from Imported InterfacesPrivate (Name, Class) ALists for Expression Classes, by Expr TypePublic Lists of Expression Class Names, by Expr TypeOperations on Public Lists of Expression Class Names, by Expr Typeeffects:  Resets (i.e. destroys) the global AtomClass DataBaseeffects:  Resets (i.e. destroys) the global CompoundClass DataBaseeffects:  Resets (i.e. destroys) the global MatrixClass DataBaseeffects:  Installs class in global AtomClass DataBaseadd atom class to database - not very efficient, but does the job add atom class name to indexeffects:  Installs class in global CompoundClass DataBaseadd compound class to database - not very efficient, but does the jobadd compound class name to indexeffects:  Installs class in global MatrixClass DataBaseadd matrix class to database add matrix class name to indexeffects:  Returns the AtomClass object associated with name.          SIGNALS notFound if no association existseffects:  Returns the CompoundClass object associated with name.          SIGNALS notFound if no association existseffects:  Returns the MatrixClass object associated with name.          SIGNALS notFound if no association existseffects:  lookup the class in the entire (Atom, Compound, and Matrix) Expression Class database, and return its description.  Signals error if not found.effects:  lookup the class of each element in the entire (Atom, Compound, and Matrix) Expression Class database, and return its description.  Signals error if some class not found not found.Public Lists of Operator Names (Operators assumed to be CompoundExprs)Operations on Public Lists of Operator Nameseffects:  Installs an operator name in the public listeffects:  Returns the list of all Op familieseffects:  Returns the list of Op Names associated with familyName.          SIGNALS notFound if no association existsOperator Precedenceeffects:  compute operator precedenceUtility ProcApply RopeFromAtom to each element if NOT descriptions, else DescriptionFromName to each element.kills the value associated with key in aList, if any.  Destructive to list structure, and only removes the first occurrence.  Like List.DRemove.Signals & ErrorsStart Code (Reset Database) Э╩
)  Ш JЪЬЩJЪЬ0Щ0JШ JЪ╧n!Щ!JШ codeЪ╧k	Ш	KЪЬШKЪЬШKЪЬШKЪЬЮЬШ$KЪЬ	ЮЬ)Ш7KЪЬШKШ KШ ЧЪЭ
ЬЮЬЮЬШKЪЮЬШKЪЮЬ	ШKШ KЪЮШKШ ЧheadЪЭ&Щ&KШ KЪЬЮЬШ%KЪЬЮЬШ-KЪЬЮЬШ)KЪЮЬЮЬЮЬШKЪЬЮЬШKШ ЧЪЭAЩAKЪЭЬЮЬШ$KЪЭЬЮЬШ(KЪЭЬЮЬШ&ЧЪЭ4Щ4KЪЭЬЮЬЮЬЮЬЮЬЮЬШ*KЪЭЬЮЬЮЬЮЬЮЬЮЬШ.KЪЭЬЮЬЮЬЮЬЮЬЮЬШ,ЧЪЭBЩBЪЭЬЮЬШ#KЪЬ>Щ>KЪЬЮЬШKЪЬЮЬШKШKШ ЧЪЭЬЮЬШ'KЪЬBЩBKЪЬЮЬШKЪЬЮЬШKШKШ ЧЪЭЬЮЬШ%KЪЬ@Щ@KЪЬЮЬШKЪЬЮЬШKШЧKШ ЪЭЬЮЬЮЬШ3KЪЬ5Щ5KЩ KЪЬBЩBKШYKШ KЪЬЩKЪЬЮЬШ2KШKШ ЧЪЭЬЮЬЮЬШ;KЪЬ9Щ9KЩ KЪЬEЩEKШaKШ KЪЬ Щ KЪЬЮЬ!Ш:KШKШ ЧЪЭЬЮЬШ7KЪЬ7Щ7KЩ KЪЬЩKШ]KШ KЪЬЩKЪЬЮЬШ6KШЧKШ KШ Ъ
ЭЬЮЬЮЬЮЬЮЬШ?KЪЬ<Щ<KЪЬ3Щ3KЩ KЪЬЮЬ2ШOKЪЮЬЮЬЮЬЮЬ
Ш'KЪЮЬШKШKШ ЧЪ
ЭЬЮЬЮЬЮЬЮЬШGKЪЬ@Щ@KЪЬ3Щ3KЩ KЪЬЮЬ6Ш[KЪЮЬЮЬЮЬЮЬ
Ш+KЪЮЬШKШKШ ЧЪ
ЭЬЮЬЮЬЮЬЮЬШCKЪЬ>Щ>KЪЬ3Щ3KЩ KЪЬЮЬ4ШUKЪЮЬЮЬЮЬЮЬ
Ш)KЪЮЬШKШKШ ЧKШ ЪЭЬЮЬЮЬЮЬЮЬЮЬШBKЪЬЩЩЩKЪЬШKЪЬШKЪЬШKЪЬ,ЮЬШ6KЪ
ЮЬЮЬЮЬЮЬ.ЮЬШKKЪЬ0ЮЬШ:KЪЮЬЮЬЮЬЮЬШ$KЪЬ.ЮЬШ8KЪ
ЮЬЮЬЮЬЮЬ.ЮЬШKKЪЮЬ
ШKШKШ ЧЪЭЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШOKЪЬ╛Щ╛JЪЬЮЬЮЬЮЬШJЪ
ЮЬЮЬЮЬЮЬЮЬШJЪЬЮЬ!Ш2ЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ4JЪЬЮЬ Ш7JЪЮЬШЧJЪЮЬШJШЧЧЪЭFЩFKЪЭЬЮЬШ&ЧЪЭ,Щ,ЪЭЬЮЬЮЬШ%KЪЭЬЮЬШKШKШ ЧЪЭЬЮЬЮЬ#ЮЬШDKЪЬ6Щ6KЪ	ЬЮЬЮЬЮЬЮЬ:ШVЪЮЬЮЬЮЬШKЪЬ:ЮЬ*ШhKЪЮШKШЧKЪЬ	ЮЬ╧cШ=KЪЬ^Ш^KШKШ ЧЪЭЬЮЬЮЬЮЬЮЬЮЬЮЬШ7KЪЬ-Щ-KЪ	ЬЮЬЮЬЮЬЮЬШЪЮЬ,ЮЬЮЬЮШ?KЪЬЮЬЮЬШ)KЪЮЬШЧKЪЮЬШKШKШ ЧЪЭЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШEKЪЬBЩBKЪЬ
ЮЬ"Щ3KЪ	ЬЮЬЮЬЮЬЮЬ:ШVKЪ	ЬЮЬЮЬЮЬЮЬШKЪЮЬЮЬЮЬЮЬ
Ш"ЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ3KЪЬЮЬЮЬШ%KЪЮЬШЧKЪЮЬШKШЧЧЪЭЩЪ
Э
ЬЮЬЮЬЮЬЮЬШEKЪЬ%Щ%ЪЮЬЮШЪЬЮЬЮШ$KЪЬЮЬШ#KЪЬЮЬШKЪЬЮЬШ*KЪЬЮЬШ$KЪЮЬЮЬШЧЪЬЮЬЮШKЪЬЮЬ
Ш%KЪЬЮЬШKЪЬЮЬШ%KЪЬЮЬШKЪЬЮЬШ$KЪЮЬЮЬШЧЪЬЮЬЮШ&KЪЬЮЬ
Ш%KЪЬЮЬШKЪЬЮЬШ%KЪЬЮЬШKЪЬЮЬШ$KЪЮЬЮЬШЧKЪЮЬЮЬШЧKШЧЧЪЭЩЪЭЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШHJЪЬaЩaJЪЬЮЬЮЬЮЬШJЪ
ЮЬЮЬЮЬЮЬЮЬШJЪЬЮЬ-ЮЬШGЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ4JЪЬЮЬ,ЮЬШLJЪЮЬШЧJЪЮЬШJШJЩ ЧЪЭ	ЬЮЬЮЬЮЬЮЬЮЬ
ШEKЪЬРЩРЪЬЮЬШKЪЬ
Ш
ЪЮЬЮЬЮШЪЮЬЮЬШKЪ	ЮЬЮЬЮЬЮЬ
ЯШ@KШKЪЮЬШKЪЬШЧKШKШKЪЮЬШЧKЪЮЬ
ЯШKЪЬШЧЧЧЪЭЩKЪЬ
ЮЬЮЬЮЬШKШ ЧЪЭЩKШKШKШKЪЬШKШ KШ KШ ЧЪЮЬШKШ ЧЧ ЕЧ    J  )Э  