69     CHECK(Times(w1, w2).Member());  in TestSemiring()
73     CHECK(ApproxEqual(Times(w1, Times(w2, w3)), Times(Times(w1, w2), w3)));  in TestSemiring()
78     CHECK(Times(w1, Weight::One()) == w1);  in TestSemiring()
79     CHECK(Times(Weight::One(), w1) == w1);  in TestSemiring()
85     CHECK(!Times(w1, Weight::NoWeight()).Member());  in TestSemiring()
86     CHECK(!Times(Weight::NoWeight(), w1).Member());  in TestSemiring()
91       CHECK(ApproxEqual(Times(w1, w2), Times(w2, w1)));  in TestSemiring()
94     CHECK(Times(w1, Weight::Zero()) == Weight::Zero());  in TestSemiring()
95     CHECK(Times(Weight::Zero(), w1) == Weight::Zero());  in TestSemiring()
104     CHECK(Power(w1, 3) == Times(w1, Times(w1, w1)));  in TestSemiring()
108       CHECK(ApproxEqual(Times(w1, Plus(w2, w3)),  in TestSemiring()
109                         Plus(Times(w1, w2), Times(w1, w3))));  in TestSemiring()
111       CHECK(ApproxEqual(Times(Plus(w1, w2), w3),  in TestSemiring()
112                         Plus(Times(w1, w3), Times(w2, w3))));  in TestSemiring()
130     Weight p = Times(w1, w2);  in TestDivision()
135         CHECK(ApproxEqual(p, Times(w1, d)));  in TestDivision()
143         CHECK(ApproxEqual(p, Times(d, w2)));  in TestDivision()
151         CHECK(ApproxEqual(p, Times(d, w1)));  in TestDivision()
164     CHECK(Times(w1, w2).Reverse() == Times(rw2, rw1));  in TestReverse()