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_products2():
print('------')
F1 = PosetProduct(())
M, pack, unpack = get_product_compact(F1)
print('M: %s' % M)
element = ()
F1.belongs(element)
print('elements: %s' % F1.format(element))
s = pack(*(element, ))
print('packed: %s' % str(s))
u, = unpack(s)
print('depacked: %s' % str(u))
assert_equal(u, element)
def check_products2():
print('------')
F1 = PosetProduct(())
M, pack, unpack = get_product_compact(F1)
print('M: %s' % M)
element = ()
F1.belongs(element)
print('elements: %s' % F1.format(element))
s = pack(*(element,))
print('packed: %s' % str(s))
u, = unpack(s)
print('depacked: %s' % str(u))
assert_equal(u, element)
