<> <> DIRECTORY AlgebraClasses, Polynomials; ASPolyDivision: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses, POL: Polynomials; Content: PROC [in: POL.Polynomial, ring: AC.Structure] RETURNS [out: POL.Polynomial]; PrimitivePart: PROC [in: POL.Polynomial, ring: AC.Structure] RETURNS [out: POL.Polynomial]; PseudoDivide: PROC [dividend, divisor: POL.Polynomial, coeffRing: AC.Structure] RETURNS [quotient, remainder: POL.Polynomial]; DivisionAlgorithm: PROC [dividend, divisor: POL.Polynomial, coeffRing: AC.Structure] RETURNS [quotient, remainder: POL.Polynomial]; <> Remainder: PROC [dividend, divisor: POL.Polynomial, polynomialsOverField: AC.Structure] RETURNS [POL.Polynomial]; ExactDivide: PROC [in1, in2: POL.Polynomial, coeffRing: AC.Structure] RETURNS [out: POL.Polynomial]; <> GreatestCommonDivisor: PROC [dividend, divisor: POL.Polynomial, coeffRing: AC.Structure] RETURNS [quotient, remainder: POL.Polynomial]; GreatestSqFreeDivisor: PROC [in: POL.Polynomial, ring: AC.Structure] RETURNS [out: POL.Polynomial]; <> <<>> <<>> END.