get_gb()

const Matrix * F4Computation::get_gb ( )

overridevirtual

Implements GBComputation.

Definition at line 141 of file f4-computation.cpp.

{
  const gb_array &gb = mF4GB->get_gb();
  GBSorter C(mMonoid, gb);
  auto gbsize = gb.size();
  int *gb_order = new int[gbsize];
  for (int i = 0; i < gbsize; i++)
    {
      gb_order[i] = i;
    }
 
  std::stable_sort(gb_order, gb_order + gbsize, C);
 
  // Order: increasing in monomial order
  MatrixConstructor result(mFreeModule, 0);
  for (int i = 0; i < gbsize; i++)
    {
      int which = gb_order[i];
      vec v = F4toM2Interface::to_M2_vec(
        mVectorArithmetic, mMonoid, gb[which]->f, mFreeModule);
      result.append(v);
    }
  return result.to_matrix();
}

References gb(), Matrix, mF4GB, mFreeModule, mMonoid, mVectorArithmetic, result(), and F4toM2Interface::to_M2_vec().