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)
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)
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)
