TEST() [6/10]

TEST	(	ResMonoidDense	,
		encodeDecode	)

Definition at line 61 of file ResTest.cpp.

{
  ResMonoidDense M(4,
                   std::vector<int>{1, 1, 1, 1},
                   std::vector<int>{},
                   MonomialOrderingType::GRevLex);
 
  // Loop through a number of exponent vectors, encode, then decode.
 
  for (int i = 0; i < M.n_vars(); i++)
    for (int j = i; j < M.n_vars(); j++)
      {
        int exp[]{0, 0, 0, 0};
        exp[i]++;
        exp[j]++;
        int mon[]{0, 0, 0, 0, 0, 0, 0, 0};
        // first encode
        M.from_expvector(exp, 3, mon);
        // now decode
        component_index comp;
        int exp2[]{0, 0, 0, 0};
        M.to_expvector(mon, exp2, comp);
        EXPECT_EQ(3, comp);
        for (int k = 0; k < M.n_vars(); k++) EXPECT_EQ(exp[k], exp2[k]);
        std::cout << "i=" << i << " j=" << j << " mon = ";
        M.dump(std::cout, mon);
        std::cout << std::endl;
      }
}

References GRevLex.