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)