#NEWLINE# def test_lbp_key( ) : #NEWLINE# #INDENT# ( R , x , y , z , t ) = ring ( 'x,y,z,t' , ZZ , lex ) #NEWLINE# p1 = lbp ( sig ( ( ( 0 , ) * 4 ) , 3 ) , R . zero , 12 ) #NEWLINE# p2 = lbp ( sig ( ( ( 0 , ) * 4 ) , 4 ) , R . zero , 13 ) #NEWLINE# p3 = lbp ( sig ( ( ( 0 , ) * 4 ) , 4 ) , R . zero , 12 ) #NEWLINE# assert ( lbp_key ( p1 ) > lbp_key ( p2 ) ) #NEWLINE# assert ( lbp_key ( p2 ) < lbp_key ( p3 ) )