<> <> <<>> DIRECTORY Rope, AlgebraClasses; ASPolynomialFactorization: CEDAR DEFINITIONS ~ BEGIN <> ContentPPFactorization: TYPE = AlgebraClasses.Object; CompleteFactorization: TYPE = AlgebraClasses.Object; SquareFreeFactorization: TYPE = AlgebraClasses.Object; FactorPower: TYPE = AlgebraClasses.Object; CompleteFactorizationData: TYPE = REF CompleteFactorizationDataRec; CompleteFactorizationDataRec: TYPE = RECORD [ input: Object, content: CompleteFactorization _ NIL, factors: Sequences.Sequence _ NIL -- of FactorPower's ]; ContentPPFactorizationData: TYPE = REF ContentPPFactorizationDataRec; ContentPPFactorizationDataRec: TYPE = RECORD [ input: Object, content: Object _ NIL, primitivePart: Object _ NIL ]; SquareFreeFactorizationData: TYPE = REF SquareFreeFactorizationDataRec; SquareFreeFactorizationDataRec: TYPE = RECORD [ input: Object, -- assumed primitive factors: Sequences.Sequence _ NIL -- of FactorPower's ]; FactorPowerData: TYPE = REF FactorPowerDataRec; FactorPowerDataRec: TYPE = RECORD [ factor: Object, power: NAT, ]; <>
NameStructureData: TYPE = REF
NameStructureDataRec;
NameStructureDataRec: TYPE = RECORD [
data1: AlgebraClasses.Object, --
Comment
data2: AlgebraClasses.Object --
Comment ]; <> Make
NameStructure: AlgebraClasses.
StructureConstructorProc; <> PrintName: AlgebraClasses.ToRopeOp; ShortPrintName: AlgebraClasses.ToRopeOp; Is
NameStructure: AlgebraClasses.UnaryPredicate;
SelectorProc: AlgebraClasses.UnaryOp; <> <<>>
SelectorProc: AlgebraClasses.UnaryOp; <> <<>> StructureData: AlgebraClasses.UnaryToListOp; <> <> Recast: AlgebraClasses.BinaryOp; CanRecast: AlgebraClasses.BinaryPredicate; ToExpr: AlgebraClasses.ToExprOp; LegalFirstChar: AlgebraClasses.LegalFirstCharOp; Read: AlgebraClasses.ReadOp; FromRope: AlgebraClasses.FromRopeOp; ToRope: AlgebraClasses.ToRopeOp; Write: AlgebraClasses.WriteOp; <>
ConstructorProc: AlgebraClasses.ListImbedOp; <>
BinaryOp: AlgebraClasses.BinaryOp;
UnaryOp: AlgebraClasses.UnaryOp; END.