/**
* Constructor.
*
* @param red pseudo reduction engine.
* @param rf coefficient ring factory. <b>Note:</b> red must be an instance of PseudoReductionSeq.
*/
public GroebnerBasePseudoRecSeq(
PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf) {
super(red);
this.red = red;
cofac = rf;
GenPolynomialRing<C> rp = (GenPolynomialRing<C>) cofac;
baseCofac = rp.coFac;
// engine = (GreatestCommonDivisorAbstract<C>)GCDFactory.<C>getImplementation( baseCofac );
// not used:
engine = (GreatestCommonDivisorAbstract<C>) GCDFactory.<C>getProxy(baseCofac);
}
