initializeWithMatrix()

void newf4::GBF4Computation::initializeWithMatrix

(

const Matrix *

M

)

Definition at line 27 of file GBF4Computation.cpp.

{
   PolynomialListStreamCollector S(mVectorArithmetic.ring()->characteristic(),
                                   mVariableWeights.size(),  // TODO: is this correct?
                                   1,  // TODO: is this correct??
                                   mInput);
   matrixToStream(M,S);
}

References Matrix, matrixToStream(), mInput, mVariableWeights, and mVectorArithmetic.