def check_products(): F1 = R_Weight F2 = R_Time F3 = R_Energy M, pack, unpack = get_product_compact(F1, F2, F3) print(M) s = pack(F1.get_top(), F2.get_bottom(), F3.get_top()) print(s) u = unpack(s) assert_equal(u, s) F1 = R_Time F2 = PosetProduct(()) F3 = R_Energy F = PosetProduct((F1, F2, F3)) print('F: %s' % F) M, pack, unpack = get_product_compact(F1, F2, F3) print('M: %s' % M) element = (F1.get_top(), F2.get_bottom(), F3.get_top()) print('elements: %s' % F.format(element)) s = pack(*element) print('packed: %s' % str(s)) u = unpack(s) print('depacked: %s' % str(u)) assert_equal(u, element)
def check_square(): I = Interval(0.0, 1.0) P = PosetProduct((I, I)) assert P.get_bottom() == (0.0, 0.0) assert P.get_top() == (1.0, 1.0) assert P.leq((0.0, 0.0), (0.0, 0.5)) assert not P.leq((0.0, 0.1), (0.0, 0.0))