MONONE: Partially documented; "written in nc case". (Monomials.)
PRINTRATCF: Documented and implemented. (Interface.)
PRINTQPOLRATFACTOR: Documented and implemented. (Interface.)
QPOLMONMULT: Documented and implemented. (Polynomials.)
NORMALFORM: Documented and implemented. (Reduction.)
REDANDCFNEGATIVE: Documented. (Done in char0.)
RATCF2NUMERATOR: Documented. (Done in char0.)
RATCF2DENOMINATOR: Documented. (Done in char0.)
REDANDCF2RATCF: Documented. (Done in char0.)
REDANDCFS2RATCF: Documented. (Done in char0.)
RATCF!-: Documented. (Done in char0.)
SHORTENRATCF: Documented. (Done in char0.)
INTEGERISE: Documented. (Done in char0.)
PolNum: Documented. (Done in char0.)
PolDen: Documented. (Done in char0.)
PutPolNum: Documented. (Done in char0.)
PutPolDen: Documented. (Done in char0.)
mkQPol: Documented. (Done in char0.)
Num!&Den2QPol: Documented. (Done in char0.)
Num!&Den!&Tm2QPol: Documented. (Done in char0.)
Tm2QPol: Documented. (Done in char0.)
QPol2LRatTm: Provisorically documented. (Done in char0.)
PreenQPol: Documented. (Done in char0.)
NormalFormStep: Documented. (Done in char0.)
SubtractQPol1: Documented. (Done in char0.)
DestructQPolSimpSemiLinComb: Documented. (Done in char0.)
DestructQPolCoeffTimes: Documented. (Done in char0.)
REDANDCOEFFONE: Documented. (Done, but should be moved to RESTORECHAR0.)

Should perhaps add AUGREDAND2QPOL in polynom.sl, for completeness?


%  To char0.sl: [SubtractQPol1, NormalFormStep, PreenQPol, SHORTENRATCF,
		 INTEGERISE]

%  Auxiliaries:

% Shorten PolNum/Den = PolQuot in situ, without checking content.
%(DE QShortenQPol (qpol) ...)

% (DE RtCfNegate (rtcf) (RPLACA rtcf (MINUS (CAR rtcf))))

%	redand := ratcoef*redand. CORRECT TO q(uot)pol, ratcoef(f)?

(DE Char0DestructQPolCoeffTimes (qpol ratcoef) ....


(COPYD 'REDANDCF2RATCF 'Char0REDANDCF2RATCF)
(COPYD 'REDANDCFS2RATCF 'Char0REDANDCFS2RATCF)
(COPYD 'RATCF2NUMERATOR 'Char0RATCF2NUMERATOR)
(COPYD 'RATCF2DENOMINATOR 'Char0RATCF2DENOMINATOR)
(COPYD 'SubtractQPol1 'DenseContentChar0SubtractQPol1)
(COPYD 'NormalFormStep 'DenseContentChar0NormalFormStep)
%(COPYD 'PreenQPol 'DenseContentChar0PreenQPol)
(COPYD 'DestructQPolCoeffTimes 'Char0DestructQPolCoeffTimes)
(COPYD 'DestructQPolSimpSemiLinComb
       'DenseContentChar0DestructQPolSimpSemiLinComb)

% Already incorporated:
%(DM CfNegP (cfs) (CONS 'MINUSP (CDR cfs)))
%(DM CfNegate (cfs) (CONS 'MINUS (CDR cfs)))
