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, *_ = 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)