DIRECTORYRope,IO,AlgebraClasses,Polynomials,RatIntervals,AlgebraicNumbers;AlgebraicNumbersImpl: CEDAR PROGRAMIMPORTS Rope, IO, RatIntervals EXPORTS AlgebraicNumbers =BEGIN OPEN AC: AlgebraClasses, POL: Polynomials, RI: RatIntervals, AlgebraicNumbers;BadGroundField: PUBLIC ERROR [groundStructure: AC.Structure] = CODE;MakeAlgebraicNumber: PUBLIC PROC [minPolyRing: AC.Structure, minimalPolynomial: POL.Polynomial, real: BOOL _ FALSE, isolatingInterval: RI.RatInterval _ NIL] RETURNS [AlgebraicNumber] ~ {data: POL.PolynomialRingData _ NARROW[minPolyRing.instanceData];groundStructure: AC.Structure _ data.coeffRing;IF groundStructure.class.flavor#field AND groundStructure.class.flavor#divisionAlgebra THEN ERROR BadGroundField[groundStructure]; IF NOT real THEN {IF groundStructure.class.algebraicallyClosedField THEN ERROR;RETURN[ NEW[AlgebraicNumberRec _ [minPolyRing: minPolyRing,minimalPolynomial: minimalPolynomial]] ]}ELSE {IF NOT groundStructure.class.realField THEN ERROR;IF groundStructure.class.realClosedField THEN ERROR;IF isolatingInterval = NIL THEN ERROR;RETURN[ NEW[AlgebraicNumberRec _ [minPolyRing: minPolyRing,minimalPolynomial: minimalPolynomial,real: TRUE,isolatingInterval: isolatingInterval]] ]};};AlgebraicNumberToRope: PUBLIC PROC [in: AlgebraicNumber] RETURNS [out: Rope.ROPE] ~ {out _ Rope.Concat[in.minPolyRing.class.toRope[in.minimalPolynomial, in.minPolyRing], "\n"];IF in.real THEN out _ Rope.Concat[out, RI.RatIntervalToRope[in.isolatingInterval] ];};WriteAlgebraicNumber: PUBLIC PROC [in: AlgebraicNumber, out: IO.STREAM] = {out.PutRope[ AlgebraicNumberToRope[in] ]}; END.     AlgebraicNumbersImpl.mesaLast Edited by: Arnon, July 19, 1985 2:54:46 pm PDTErrorsConstructorsIOReadAlgebraicNumber: PUBLIC PROC [in: IO.STREAM, minPolyRing: AC.Structure] RETURNS [out: AlgebraicNumber] ~ {minimalPolynomial: POL.Polynomial _ NARROW[minPolyRing.class.read[in, minPolyRing] ]; -- should check monic, irreducibleout _ NEW[AlgebraicNumberRec _ [minPolyRing: minPolyRing, minimalPolynomial: minimalPolynomial]];};ReadRealAlgebraicNumber: PUBLIC PROC [in: IO.STREAM, minPolyRing: AC.Structure] RETURNS [out: AlgebraicNumber] ~ {conjugatesDefinition: AlgebraicNumber _ ReadAlgebraicNumber[in, minPolyRing];isolatingInterval: RI.RatInterval _ RI.ReadRatInterval[in];out _ NEW[RealAlgebraicNumberRec _ [conjugatesDefinition: conjugatesDefinition, isolatingInterval: isolatingInterval] ]; -- groundField must be real};AlgebraicNumberFromRope: PUBLIC PROC [in: Rope.ROPE, minPolyVariable: VARS.VariableSeq _ defaultMinPolyVariable] RETURNS [out: AlgebraicNumber] = {out _ ReadAlgebraicNumber[IO.RIS[in], minPolyVariable];}; Э╩0  Ш JЪЬЩJЩ3JЩ Ъ╧k	Ш	JЪЬШIcodeЪЭЬШJЪЬШJЪЬШJЪЬШJЪЬШЧJШ head2ЪЬЭЬЭШ#JЪЭЬШJЪЭЬШJШ ЧJЪ
ЭЬЭЬЭЬЭЬЭЬ!ШTheadЩJЪ	ЬЭЬЭЬЭЬЭЬШDЧЪЬЩЪ╧nЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШ║JЪЬЭЬЭЬШ@JЪЬЭЬШ/KЪЭЬ$ЭЬ.ЭЬЭЬ"ШГЪЭЬЭЬЭШKЪЭЬ0ЭЬЭЬШ=ЪЭЬЭЬШ"JЪЬШJЪЬ$Ш$JЪЬШЧJШЧЪЭЬШKЪЭЬЭЬ!ЭЬЭЬШ2KЪЭЬ'ЭЬЭЬШ4JЪЭЬЭЬЭЬЭЬШ&ЪЭЬЭЬШ"JЪЬШJЪЬ%Ш%JЪЬЭЬШJЪЬ$Ш$JЪЬШЧJШЧJШЧЧЩЪЮЬЭЬЭЬЭЬЭЬЭЬЭЬЩnJЪЬЭЬЭЬ,╧c"ЩxJЪЬЭЬXЩaKЩJЩ ЧЪЮЬЭЬЭЬЭЬЭЬЭЬЭЬЩrJЪЬMЩMJЪЬЭЬЭЬЩ;JЪЬЭЬpЯЩФKЩJШ ЧЪЮЬЭЬЭЬЭЬЭЬ'ЭЬЩУJЪЬЭЬЭЬЩ7JЪЬЩJЩ ЧЪ
ЮЬЭЬЭЬЭЬЭЬШUJЪЬ[Ш[JЪЭЬ	ЭЬЭЬ+ШTJШJШ ЧЪ
ЮЬЭЬЭЬЭЬЭЬШKJЪЬ(Ш(JЪЬШJШ ЧJШ ЧJЪЭЬШЧ ЕЧ    x  ╚  