Esempio n. 1
0
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)