<> <> <<>> <> <<>> 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, ]; END.