#NEWLINE# def test_internal_external_VT2T2( ) : #NEWLINE# #INDENT# ( ii , jj ) = symbols ( 'i j' , below_fermi = True ) #NEWLINE# ( aa , bb ) = symbols ( 'a b' , above_fermi = True ) #NEWLINE# ( k , l ) = symbols ( 'k l' , below_fermi = True , cls = Dummy ) #NEWLINE# ( c , d ) = symbols ( 'c d' , above_fermi = True , cls = Dummy ) #NEWLINE# v = Function ( 'v' ) #NEWLINE# t = Function ( 't' ) #NEWLINE# dums = _get_ordered_dummies #NEWLINE# exprs = [ ( ( v ( k , l , c , d ) * t ( aa , c , ii , k ) ) * t ( bb , d , jj , l ) ) , ( ( v ( l , k , c , d ) * t ( aa , c , ii , l ) ) * t ( bb , d , jj , k ) ) , ( ( v ( k , l , d , c ) * t ( aa , d , ii , k ) ) * t ( bb , c , jj , l ) ) , ( ( v ( l , k , d , c ) * t ( aa , d , ii , l ) ) * t ( bb , c , jj , k ) ) ] #NEWLINE# for permut in exprs [ 1 : ] : #NEWLINE# #INDENT# assert ( dums ( exprs [ 0 ] ) != dums ( permut ) ) #NEWLINE# assert ( substitute_dummies ( exprs [ 0 ] ) == substitute_dummies ( permut ) ) #NEWLINE# #UNINDENT# exprs = [ ( ( v ( k , l , c , d ) * t ( aa , c , ii , k ) ) * t ( d , bb , jj , l ) ) , ( ( v ( l , k , c , d ) * t ( aa , c , ii , l ) ) * t ( d , bb , jj , k ) ) , ( ( v ( k , l , d , c ) * t ( aa , d , ii , k ) ) * t ( c , bb , jj , ii ) ) , ( ( v ( l , k , d , c ) * t ( aa , d , ii , l ) ) * t ( c , bb , jj , k ) ) ] #NEWLINE# for permut in exprs [ 1 : ] : #NEWLINE# #INDENT# assert ( dums ( exprs [ 0 ] ) != dums ( permut ) ) #NEWLINE# assert ( substitute_dummies ( exprs [ 0 ] ) == substitute_dummies ( permut ) ) #NEWLINE# #UNINDENT# exprs = [ ( ( v ( k , l , c , d ) * t ( c , aa , ii , k ) ) * t ( bb , d , jj , l ) ) , ( ( v ( l , k , c , d ) * t ( c , aa , ii , l ) ) * t ( bb , d , jj , k ) ) , ( ( v ( k , l , d , c ) * t ( d , aa , ii , k ) ) * t ( bb , c , jj , l ) ) , ( ( v ( l , k , d , c ) * t ( d , aa , ii , l ) ) * t ( bb , c , jj , k ) ) ] #NEWLINE# for permut in exprs [ 1 : ] : #NEWLINE# #INDENT# assert ( dums ( exprs [ 0 ] ) != dums ( permut ) ) #NEWLINE# assert ( substitute_dummies ( exprs [ 0 ] ) == substitute_dummies ( permut ) )