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)