FreeAlgebraQuotient()

FreeAlgebraQuotient::FreeAlgebraQuotient	(	const FreeAlgebra &	A,
		const ConstPolyList &	GB,
		int	maxdeg )

Definition at line 11 of file FreeAlgebraQuotient.cpp.

  : mFreeAlgebra(A),
    mGroebner(A,GB,maxdeg,0),
    mMaxdeg(maxdeg)
{
  // this NCGroebner object is used for reductions only.
  // will eventually separate the 'reduction' code from the 'GB' code
  // into two separate classes, but for now we have just one.
  mGroebner.initReductionOnly();
}

References mFreeAlgebra, mGroebner, and mMaxdeg.