TEST() [9/10]

TEST	(	ResMonoidSparse	,
		encodeDecode	)

Definition at line 91 of file ResTest.cpp.

{
  ResMonoidSparse 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};
        int mon[]{0, 0, 0, 0, 0, 0, 0, 0};
        component_index comp;
        int exp2[]{0, 0, 0, 0};
        int mon2[]{0, 0, 0, 0, 0, 0, 0, 0};
 
        exp[i]++;
        exp[j]++;
        // first encode
        M.from_expvector(exp, 3, mon);
        // now decode
        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]);
        // now re-encode
        M.from_expvector(exp2, 3, mon2);
        EXPECT_TRUE(M.is_equal(mon, mon2));
        // now display
        std::cout << "i=" << i << " j=" << j << " mon = ";
        M.dump(std::cout, mon);
        std::cout << std::endl;
      }
}

References GRevLex.