#NEWLINE# def test_ANP_unify( ) : #NEWLINE# #INDENT# mod = [ QQ ( 1 ) , QQ ( 0 ) , QQ ( ( - 2 ) ) ] #NEWLINE# a = ANP ( [ QQ ( 1 ) ] , mod , QQ ) #NEWLINE# b = ANP ( [ ZZ ( 1 ) ] , mod , ZZ ) #NEWLINE# assert ( a . unify ( b ) [ 0 ] == QQ ) #NEWLINE# assert ( b . unify ( a ) [ 0 ] == QQ ) #NEWLINE# assert ( a . unify ( a ) [ 0 ] == QQ ) #NEWLINE# assert ( b . unify ( mod ) [ 0 ] == ZZ )