def test_right_inverse(): P = parse_poset('((J x W) x s) x (m x Hz)') coords = [(1, 1), [(0, 0, 1), (1, 0), (0, 0, 0), (0, 1)]] #print 'coords', coords i0 = get_id_indices(P) #print 'i0', i0 # compose _i0coords = compose_indices(P, i0, coords, list) #print 'i0coords', i0coords _Q, _coords2 = transform_right_inverse(P, coords, PosetProduct)