Esempio n. 1
0
def test_lbp_key():
    p1 = lbp(sig((0,) * 4, 3), [], 12)
    p2 = lbp(sig((0,) * 4, 4), [], 13)
    p3 = lbp(sig((0,) * 4, 4), [], 12)

    assert lbp_key(p1, lex) > lbp_key(p2, lex)
    assert lbp_key(p2, lex) < lbp_key(p3, lex)
Esempio n. 2
0
def test_lbp_key():
    R, x,y,z,t = ring("x,y,z,t", ZZ, lex)

    p1 = lbp(sig((0,) * 4, 3), R.zero, 12)
    p2 = lbp(sig((0,) * 4, 4), R.zero, 13)
    p3 = lbp(sig((0,) * 4, 4), R.zero, 12)

    assert lbp_key(p1) > lbp_key(p2)
    assert lbp_key(p2) < lbp_key(p3)
Esempio n. 3
0
def test_lbp_key():
    R, x, y, z, t = ring("x,y,z,t", ZZ, lex)

    p1 = lbp(sig((0, ) * 4, 3), R.zero, 12)
    p2 = lbp(sig((0, ) * 4, 4), R.zero, 13)
    p3 = lbp(sig((0, ) * 4, 4), R.zero, 12)

    assert lbp_key(p1) > lbp_key(p2)
    assert lbp_key(p2) < lbp_key(p3)