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_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))
