DIRECTORYRope,IO,Basics,Ascii,Atom,MathExpr,MathConstructors,AlgebraClasses,Ints,Variables;VariablesImpl: CEDAR PROGRAMIMPORTS IO, Rope, Ascii, MathExpr, MathConstructors, AlgebraClassesEXPORTS Variables= BEGIN OPEN Variables, AC: AlgebraClasses;VariablesError: PUBLIC SIGNAL [reason: ATOM _ $Unspecified] = CODE;bitsPerWord: CARDINAL = Basics.bitsPerWord;CARD: TYPE = LONG CARDINAL;ROPE: TYPE = Rope.ROPE;STREAM: TYPE = IO.STREAM;Object: TYPE = AC.Object;Method: TYPE = AC.Method;EXPR: TYPE =  MathExpr.EXPR;TypeError: PUBLIC ERROR [message: ATOM _ $Unspecified] = CODE;PrintName: PUBLIC AC.ToRopeOp = {RETURN["Variables"];};ShortPrintName: PUBLIC AC.ToRopeOp = {RETURN["V"];};IsVariables: PUBLIC AC.UnaryPredicate = {RETURN[AC.StructureEqual[arg, Variables] ];};Recast: PUBLIC AC.BinaryOp = {isVarInSSSMethod: Method;IF AC.StructureEqual[firstArg.class, Variables] THEN RETURN[firstArg];isVarInSSSMethod _ AC.LookupMethodInStructure[$isVarInSSS, firstArg.class];IF isVarInSSSMethod# NIL THEN {uSUEltFromSSSEltMethod: Method _ AC.LookupMethodInStructure[$USUEltFromSSSElt, firstArg.class];RETURN[AC.ApplyNoLkpNoRecastObject[uSUEltFromSSSEltMethod, LIST[firstArg] ] ];};RETURN[NIL];}; CanRecast: PUBLIC AC.BinaryPredicate = {firstArgStructure: Object _ IF firstArg.flavor = StructureElement THEN firstArg.class ELSE IF firstArg.flavor = Structure THEN firstArg ELSE ERROR;IF AC.StructureEqual[firstArgStructure, Variables] THEN RETURN[TRUE];IF AC.LookupMethodInStructure[$singleSetStructure, firstArgStructure]#NIL THEN {underlyingSet: Object _ AC.ApplyLkpNoRecastObject[$underlyingSet, firstArgStructure, LIST[firstArg.class] ];universe: Object _ AC.ApplyLkpNoRecastObject[$universe, underlyingSet.class, LIST[underlyingSet.class] ];RETURN[ AC.StructureEqual[universe, Variables] ];};RETURN[FALSE];};MakeSuperscript: PUBLIC PROC[base, superscript: EXPR] RETURNS[EXPR] ~ {RETURN[MathExpr.MakeCompoundExpr[$superscript, LIST[[$base, base], [$superscript, superscript]]]];};MakeHat: PUBLIC PROC[base, hat: EXPR] RETURNS[EXPR] ~ {RETURN[MathExpr.MakeCompoundExpr[$hat, LIST[[$base, base], [$hat, hat]]]];};MakePrime: PUBLIC PROC[base: EXPR] RETURNS[EXPR] ~ {RETURN[MathExpr.MakeCompoundExpr[$prime, LIST[[$a, base]] ] ];};ToExpr: PUBLIC AC.ToExprOp = {name: ROPE _ NARROW[in.data];end: INT _ Rope.Length[name];pos: INT;base, dec: ROPE;baseAtom, decAtom: EXPR;pos _ Rope.Find[name, "Sub"];IF pos>=0 THEN {base _ Rope.Substr[name, 0, pos];dec _ Rope.Substr[name, pos+3, end - pos - 2];baseAtom _ MathConstructors.MakeVariable[base];decAtom _ MathConstructors.MakeInt[dec ! MathConstructors.badFormat => decAtom _ MathConstructors.MakeVariable[dec] ];RETURN[MathConstructors.MakeSubscript[baseAtom, decAtom] ];};pos _ Rope.Find[name, "Super"];IF pos>=0 THEN {base _ Rope.Substr[name, 0, pos];dec _ Rope.Substr[name, pos+5, end - pos - 4];baseAtom _ MathConstructors.MakeVariable[base];decAtom _ MathConstructors.MakeInt[dec ! MathConstructors.badFormat => decAtom _ MathConstructors.MakeVariable[dec] ];RETURN[MakeSuperscript[baseAtom, decAtom] ];};pos _ Rope.Find[name, "Hat"];IF pos>=0 THEN {base _ Rope.Substr[name, 0, pos];dec _ Rope.Substr[name, pos+3, end - pos - 2];baseAtom _ MathConstructors.MakeVariable[base];decAtom _ MathConstructors.MakeInt[dec ! MathConstructors.badFormat => decAtom _ MathConstructors.MakeVariable[dec] ];RETURN[MakeHat[baseAtom, decAtom] ];};pos _ Rope.Find[name, "Prime"];IF pos>=0 THEN {base _ Rope.Substr[name, 0, pos];baseAtom _ MathConstructors.MakeVariable[base];RETURN[MakePrime[baseAtom] ];};RETURN[MathConstructors.MakeVariable[name] ];};LegalFirstChar: PUBLIC AC.LegalFirstCharOp = {RETURN[Ascii.Letter[char] ];};Read: PUBLIC AC.ReadOp ~ { -- old versionRETURN[NEW[AC.ObjectRec _ [class: Variables,flavor: StructureElement,data: IO.GetID[in]] ] ];};FromRope: PUBLIC AC.FromRopeOp = {stream: IO.STREAM _ IO.RIS[in];RETURN[ Read[stream, structure] ];};ToRope: PUBLIC AC.ToRopeOp = {data: VariableData _ NARROW[in.data];RETURN[ data ];};Write: PUBLIC AC.WriteOp = {IO.PutRope[ stream, ToRope[in] ]}; Equal: PUBLIC AC.BinaryPredicate ~ {firstData: VariableData _ NARROW[firstArg.data];secondData: VariableData _ NARROW[secondArg.data];RETURN[ Rope.Equal[firstData, secondData] ]}; VariablesDesired: PUBLIC AC.UnaryToListOp ~ {RETURN[ LIST[Variables] ];};VariableClass: Object _ AC.MakeClass["VariableClass", NIL, NIL];Variables: PUBLIC Object _ AC.MakeStructure["Variables", VariableClass, NIL];categoryMethod: Method _ AC.MakeMethod[Value, FALSE, NEW[AC.Category _ set], NIL, "category"];groundStructureMethod: Method _ AC.MakeMethod[Value, FALSE, NIL, NIL, "groundStructure"];shortPrintNameMethod: Method _ AC.MakeMethod[ToRopeOp, FALSE, NEW[AC.ToRopeOp _ ShortPrintName], NIL, "shortPrintName"];recastMethod: Method _ AC.MakeMethod[BinaryOp, TRUE, NEW[AC.BinaryOp _ Recast], NIL, "recast"];canRecastMethod: Method _ AC.MakeMethod[BinaryPredicate, TRUE, NEW[AC.BinaryPredicate _ CanRecast], NIL, "canRecast"];toExprMethod: Method _ AC.MakeMethod[ToExprOp, FALSE, NEW[AC.ToExprOp _ ToExpr], NEW[AC.UnaryToListOp _ VariablesDesired], "toExpr"];legalFirstCharMethod: Method _ AC.MakeMethod[LegalFirstCharOp, FALSE, NEW[AC.LegalFirstCharOp _ LegalFirstChar], NIL, "legalFirstChar"];readMethod: Method _ AC.MakeMethod[ReadOp, FALSE, NEW[AC.ReadOp _ Read], NIL, "read"];fromRopeMethod: Method _ AC.MakeMethod[FromRopeOp, TRUE, NEW[AC.FromRopeOp _ FromRope], NIL, "fromRope"];toRopeMethod: Method _ AC.MakeMethod[ToRopeOp, TRUE, NEW[AC.ToRopeOp _ ToRope], NIL, "toRope"];parenMethod: Method _ AC.MakeMethod[UnaryOp, FALSE, NEW[AC.UnaryOp _ AC.Copy], NIL, "paren"];equalMethod: Method _ AC.MakeMethod[BinaryPredicate, TRUE, NEW[AC.BinaryPredicate _ Equal], NEW[AC.UnaryToListOp _ VariablesDesired], "equals"];AC.AddMethodToClass[$category, categoryMethod, VariableClass];AC.AddMethodToClass[$groundStructure, categoryMethod, VariableClass];AC.AddMethodToClass[$shortPrintName, shortPrintNameMethod, VariableClass];AC.AddMethodToClass[$recast, recastMethod, VariableClass];AC.AddMethodToClass[$canRecast, canRecastMethod, VariableClass];AC.AddMethodToClass[$toExpr, toExprMethod, VariableClass];AC.AddMethodToClass[$legalFirstChar, legalFirstCharMethod, VariableClass];AC.AddMethodToClass[$read, readMethod, VariableClass];AC.AddMethodToClass[$fromRope, fromRopeMethod, VariableClass];AC.AddMethodToClass[$toRope, toRopeMethod, VariableClass];AC.AddMethodToClass[$paren, parenMethod, VariableClass];AC.AddMethodToClass[$eqFormula, equalMethod, VariableClass];AC.InstallStructure[Variables];END.     VariablesImpl.mesaLast Edited by: Arnon, July 19, 1985 2:54:46 pm PDTTypesStructure OperationsI/O and ConversionComparisonStandard Desired Arg StructuresName Variables explicitly, instead of using AC.DefaultDesiredArgStructures, so that if a Variables method found by lookup from a subclass, then will recast its args correctly (i.e. to )Start CodevariableMethod: Method _ AC.MakeMethod[FromRopeOp, FALSE, NEW[AC.FromRopeOp _ FromRope], NIL, "variable"];AC.AddMethodToClass[$variable, variableMethod, VariableClass];‌تx  ک Jڑœ™J™3J™ ڑدk	ک	JڑœکIcodeڑ‌œکKکKڑœکKکJڑœ	ک	JکJکJکJڑœ
ک
—Jک head2ڑدnœ‌œ‌کJڑ‌œ‌œ9کCJڑ‌œ
کJک —Jڑœ‌œ‌œ‌œک+headڑ‍™Jڑ
‍œ‌œ‌œ
‌œ‌œکCKڑœ‌œک+Kڑ‌œ‌œ‌œ‌œکKڑ‌œ‌œ‌œکKڑ‌œ‌œ‌œ‌œکKڑœ‌œ‌œکKڑœ‌œ‌œکJڑ‌œ‌œ‌œکKک Jڑ
‍	œ‌œ‌œ‌œ‌œک>—ڑ‍™ڑ‍	œ‌	œک!Jڑ‌œکJکJک —ڑ‍œ‌	œک&Jڑ‌œکJکJک —ڑ‍œ‌œ‌œک)Jڑ‌œ‌œ"ک+Jک——ڑœ™ڑ‍œ‌œ‌œکKڑœکJڑ‌œ‌œ+‌œ‌œکFKڑœ‌œ6کKڑ‌œ‌œ‌œکKڑœ!‌œ<ک_Kڑ‌œ‌œ2‌œکNKک—Kڑ‌œ‌œکJڑœکJک —ڑ‍	œ‌œ‌œک(Jڑœ‌œ$‌œ‌œ‌œ‌œ
‌œ‌œک“Kڑ
‌œ‌œ.‌œ‌œ‌œکEڑ‌œ‌œA‌œ‌œکPJڑœ‌œ;‌œکlJڑœ‌œ8‌œکiKڑ‌œ‌œ'ک1Kک—Kڑ‌œ‌œکJڑœکJک —ڑ‍œ‌œ‌œ‌œ‌œ‌œکGKڑ‌œ)‌œ/کbKکKک —ڑ‍œ‌œ‌œ‌œ‌œ‌œک7Kڑ‌œ!‌œکJKکKک —ڑ‍	œ‌œ‌œ‌œ‌œ‌œک4Kڑ‌œ#‌œک>KکKک —ڑ‍œ‌	œکJڑœ‌œ‌œ
کJڑœ‌œکJڑœ‌œک	Jڑœ‌œکJڑœ‌œکJڑœکڑ‌œ‌œکJڑœ!ک!Jڑœ.ک.Jڑœ/ک/JڑœvکvJڑ‌œ5ک;Jک—Jڑœکڑ‌œ‌œکJڑœ!ک!Jڑœ.ک.Jڑœ/ک/JڑœvکvJڑ‌œ&ک,Jک—Jڑœکڑ‌œ‌œکJڑœ!ک!Jڑœ.ک.Jڑœ/ک/JڑœvکvJڑ‌œک$Jک—Jڑœکڑ‌œ‌œکJڑœ!ک!Jڑœ/ک/Jڑ‌œ‍	œکJک—Jڑ‌œ'ک-JڑœکJک —ڑ‍œ‌	œک.Kڑ‌œکJکJک —ڑ‍œ‌œ‌œدcک)ڑ‌œ‌œ‌œکKڑœکKکKڑœ‌œ
کKڑœک—KکKک —ڑ‍œ‌œ‌œک"Kڑ	œ‌œ‌œ‌œ‌œکKڑ‌œک"KکKک —ڑ‍œ‌œ‌œکKڑœ‌œ
ک%Kڑ‌œ	کKکKک —ڑ‍œ‌œ‌œکJڑ‌œک Jڑœک——ڑœ
™
ڑ‍œ‌œ‌œک$Kڑœ‌œک0Kڑœ‌œک2Jڑ‌œ%ک+Jڑœک——™ڑ‍œ‌œ‌œک-Jڑœ,‌œ‹™¹Jڑ‌œ‌œکJک——™
Jڑ
‍œ‌œ‍œ‌œ‌œک@Jڑ‍	œ‌œ
‌œ‍	œ‍œ‌œکMJک Jڑœ‌œ‌œ‌œ‌œ‌œک^Jڑ	œ ‌œ‌œ‌œ‌œکYJڑœ‌œ‌œ‌œ‌œ‌œکxJڑœ‌œ‌œ‌œ‌œ‌œک_Jڑœ‌œ‌œ‌œ‌œ‌œکvJڑœ‌œ‌œ‌œ‌œ‌œ‌œ.ک…Jڑœ‌œ‌œ‌œ‌œ%‌œکˆJڑœ‌œ‌œ‌œ‌œ‌œ
کVJڑœ‌œ‌œ‌œ‌œ‌œکiJڑœ‌œ‌œ‌œ‌œ‌œک_Jڑœ‌œ‌œ‌œ‌œ‌œ™jJڑœ‌œ‌œ‌œ‌œ‌œ‌œک]Jڑœ‌œ‌œ‌œ‌œ‌œ‌œ.کگJک Jڑ‌œ<ک>Jڑ‌œCکEJڑ‌œHکJJڑ‌œ8ک:Jڑ‌œ>ک@Jڑ‌œ8ک:Jڑ‌œHکJJڑ‌œ4ک6Jڑ‌œ<ک>Jڑ‌œ8ک:Jڑ‌œ<™>Jڑ‌œ6ک8Jڑ‌œ:ک<Jک Jڑ‌œ‍	œکJک Jک —Jڑ‌œکJک Jک — …—    .  $¼  