2014-06-02 15:18:45 +02:00
|
|
|
logical function is_in_wavefunction(key,keys,Nint,N_past_in,Ndet)
|
|
|
|
|
implicit none
|
|
|
|
|
|
|
|
|
|
integer, intent(in) :: Nint, N_past_in, Ndet
|
|
|
|
|
integer(bit_kind), intent(in) :: keys(Nint,2,Ndet)
|
|
|
|
|
integer(bit_kind), intent(in) :: key(Nint,2)
|
|
|
|
|
|
|
|
|
|
integer :: i, ibegin, iend, istep, l
|
|
|
|
|
integer*8 :: det_ref, det_search
|
|
|
|
|
integer*8, external :: det_search_key
|
|
|
|
|
|
|
|
|
|
is_in_wavefunction = .False.
|
|
|
|
|
ibegin = 1
|
|
|
|
|
iend = N_det
|
|
|
|
|
ASSERT (N_past > 0)
|
|
|
|
|
ASSERT (N_det >= N_past)
|
|
|
|
|
|
|
|
|
|
det_ref = det_search_key(key,Nint)
|
|
|
|
|
|
|
|
|
|
istep = ishft(iend-ibegin+1,-1)
|
|
|
|
|
i=ibegin+istep
|
|
|
|
|
do while (istep > 1)
|
|
|
|
|
i = ibegin + istep
|
|
|
|
|
det_search = det_search_key(psi_det_sorted_bit(1,1,i),Nint)
|
|
|
|
|
! print *, istep, det_ref, det_search
|
|
|
|
|
if ( det_search > det_ref ) then
|
|
|
|
|
iend = i
|
|
|
|
|
else if ( det_search == det_ref ) then
|
|
|
|
|
exit
|
|
|
|
|
else
|
|
|
|
|
ibegin = i
|
|
|
|
|
endif
|
|
|
|
|
istep = ishft(iend-ibegin+1,-1)
|
|
|
|
|
i = ibegin + istep
|
|
|
|
|
end do
|
|
|
|
|
! pause
|
|
|
|
|
|
|
|
|
|
do while (det_search_key(psi_det_sorted_bit(1,1,i),Nint) == det_ref)
|
|
|
|
|
i = i-1
|
|
|
|
|
if (i == 0) then
|
|
|
|
|
exit
|
|
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
i += 1
|
|
|
|
|
do while (det_search_key(psi_det_sorted_bit(1,1,i),Nint) == det_ref)
|
|
|
|
|
if ( (key(1,1) /= psi_det_sorted_bit(1,1,i)).or. &
|
|
|
|
|
(key(1,2) /= psi_det_sorted_bit(1,2,i)) ) then
|
|
|
|
|
continue
|
|
|
|
|
else
|
|
|
|
|
is_in_wavefunction = .True.
|
|
|
|
|
!DEC$ LOOP COUNT MIN(3)
|
|
|
|
|
do l=2,Nint
|
|
|
|
|
if ( (key(l,1) /= psi_det_sorted_bit(l,1,i)).or. &
|
|
|
|
|
(key(l,2) /= psi_det_sorted_bit(l,2,i)) ) then
|
|
|
|
|
is_in_wavefunction = .False.
|
|
|
|
|
exit
|
|
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
if (is_in_wavefunction) then
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
endif
|
|
|
|
|
i += 1
|
|
|
|
|
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
integer function connected_to_ref(key,keys,Nint,N_past_in,Ndet)
|
2014-05-21 16:37:54 +02:00
|
|
|
use bitmasks
|
|
|
|
|
implicit none
|
|
|
|
|
integer, intent(in) :: Nint, N_past_in, Ndet
|
|
|
|
|
integer(bit_kind), intent(in) :: keys(Nint,2,Ndet)
|
|
|
|
|
integer(bit_kind), intent(in) :: key(Nint,2)
|
|
|
|
|
|
|
|
|
|
integer :: N_past
|
|
|
|
|
integer :: i, l
|
|
|
|
|
integer :: degree_x2
|
|
|
|
|
logical :: det_is_not_or_may_be_in_ref, t
|
|
|
|
|
double precision :: hij_elec
|
|
|
|
|
|
|
|
|
|
! output : 0 : not connected
|
|
|
|
|
! i : connected to determinant i of the past
|
|
|
|
|
! -i : is the ith determinant of the refernce wf keys
|
|
|
|
|
|
|
|
|
|
ASSERT (Nint > 0)
|
|
|
|
|
ASSERT (Nint == N_int)
|
|
|
|
|
|
|
|
|
|
connected_to_ref = 0
|
|
|
|
|
N_past = max(1,N_past_in)
|
|
|
|
|
if (Nint == 1) then
|
|
|
|
|
|
|
|
|
|
do i=N_past-1,1,-1
|
|
|
|
|
degree_x2 = popcnt(xor( key(1,1), keys(1,1,i))) + &
|
|
|
|
|
popcnt(xor( key(1,2), keys(1,2,i)))
|
|
|
|
|
if(degree_x2 == 0)then
|
|
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
if (degree_x2 > 5) then
|
|
|
|
|
cycle
|
2014-05-28 23:12:00 +02:00
|
|
|
else
|
|
|
|
|
connected_to_ref = i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
!DIR$ FORCEINLINE
|
2014-05-24 02:39:18 +02:00
|
|
|
t = det_is_not_or_may_be_in_ref(key,Nint)
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( t ) then
|
2014-05-17 14:20:55 +02:00
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
|
2014-06-02 15:18:45 +02:00
|
|
|
logical, external :: is_in_wavefunction
|
|
|
|
|
if (is_in_wavefunction(key,keys,Nint,N_past_in,Ndet)) then
|
|
|
|
|
connected_to_ref = -1
|
|
|
|
|
endif
|
2014-05-21 16:37:54 +02:00
|
|
|
return
|
2014-06-02 15:18:45 +02:00
|
|
|
|
|
|
|
|
! do i=N_past,Ndet
|
|
|
|
|
! if ( (key(1,1) /= keys(1,1,i)).or. &
|
|
|
|
|
! (key(1,2) /= keys(1,2,i)) ) then
|
|
|
|
|
! cycle
|
|
|
|
|
! endif
|
|
|
|
|
! connected_to_ref = -i
|
|
|
|
|
! return
|
|
|
|
|
! enddo
|
|
|
|
|
! return
|
2014-05-21 16:37:54 +02:00
|
|
|
|
|
|
|
|
else if (Nint==2) then
|
|
|
|
|
|
|
|
|
|
do i=N_past-1,1,-1
|
|
|
|
|
degree_x2 = popcnt(xor( key(1,1), keys(1,1,i))) + &
|
|
|
|
|
popcnt(xor( key(1,2), keys(1,2,i))) + &
|
|
|
|
|
popcnt(xor( key(2,1), keys(2,1,i))) + &
|
|
|
|
|
popcnt(xor( key(2,2), keys(2,2,i)))
|
|
|
|
|
if(degree_x2 == 0)then
|
|
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
if (degree_x2 > 5) then
|
|
|
|
|
cycle
|
2014-05-28 23:12:00 +02:00
|
|
|
else
|
|
|
|
|
connected_to_ref = i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
!DIR$ FORCEINLINE
|
2014-05-24 02:39:18 +02:00
|
|
|
t = det_is_not_or_may_be_in_ref(key,Nint)
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( t ) then
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
|
|
|
|
|
!DIR$ LOOP COUNT (1000)
|
2014-06-02 15:18:45 +02:00
|
|
|
do i=N_past,Ndet
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( (key(1,1) /= keys(1,1,i)).or. &
|
|
|
|
|
(key(1,2) /= keys(1,2,i)).or. &
|
|
|
|
|
(key(2,1) /= keys(2,1,i)).or. &
|
|
|
|
|
(key(2,2) /= keys(2,2,i)) ) then
|
|
|
|
|
cycle
|
|
|
|
|
endif
|
2014-05-17 14:20:55 +02:00
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
enddo
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
else if (Nint==3) then
|
|
|
|
|
|
|
|
|
|
do i=N_past-1,1,-1
|
|
|
|
|
degree_x2 = popcnt(xor( key(1,1), keys(1,1,i))) + &
|
|
|
|
|
popcnt(xor( key(1,2), keys(1,2,i))) + &
|
|
|
|
|
popcnt(xor( key(2,1), keys(2,1,i))) + &
|
|
|
|
|
popcnt(xor( key(2,2), keys(2,2,i))) + &
|
|
|
|
|
popcnt(xor( key(3,1), keys(3,1,i))) + &
|
|
|
|
|
popcnt(xor( key(3,2), keys(3,2,i)))
|
|
|
|
|
if(degree_x2 == 0)then
|
|
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
if (degree_x2 > 5) then
|
|
|
|
|
cycle
|
2014-05-28 23:12:00 +02:00
|
|
|
else
|
|
|
|
|
connected_to_ref = i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
!DIR$ FORCEINLINE
|
2014-05-24 02:39:18 +02:00
|
|
|
t = det_is_not_or_may_be_in_ref(key,Nint)
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( t ) then
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
|
2014-06-02 15:18:45 +02:00
|
|
|
do i=N_past,Ndet
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( (key(1,1) /= keys(1,1,i)).or. &
|
|
|
|
|
(key(1,2) /= keys(1,2,i)).or. &
|
|
|
|
|
(key(2,1) /= keys(2,1,i)).or. &
|
|
|
|
|
(key(2,2) /= keys(2,2,i)).or. &
|
|
|
|
|
(key(3,1) /= keys(3,1,i)).or. &
|
|
|
|
|
(key(3,2) /= keys(3,2,i)) ) then
|
|
|
|
|
cycle
|
|
|
|
|
endif
|
2014-05-17 14:20:55 +02:00
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
enddo
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
else
|
|
|
|
|
|
|
|
|
|
do i=N_past-1,1,-1
|
|
|
|
|
degree_x2 = popcnt(xor( key(1,1), keys(1,1,i))) + &
|
|
|
|
|
popcnt(xor( key(1,2), keys(1,2,i)))
|
|
|
|
|
!DEC$ LOOP COUNT MIN(3)
|
|
|
|
|
do l=2,Nint
|
|
|
|
|
degree_x2 = degree_x2 + popcnt(xor( key(l,1), keys(l,1,i))) +&
|
|
|
|
|
popcnt(xor( key(l,2), keys(l,2,i)))
|
|
|
|
|
enddo
|
|
|
|
|
if(degree_x2 == 0)then
|
|
|
|
|
connected_to_ref = -i
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
if (degree_x2 > 5) then
|
|
|
|
|
cycle
|
2014-05-28 23:12:00 +02:00
|
|
|
else
|
|
|
|
|
connected_to_ref = i
|
|
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
!DIR$ FORCEINLINE
|
2014-05-24 02:39:18 +02:00
|
|
|
t = det_is_not_or_may_be_in_ref(key,Nint)
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( t ) then
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
|
2014-06-02 15:18:45 +02:00
|
|
|
do i=N_past,Ndet
|
2014-05-21 16:37:54 +02:00
|
|
|
if ( (key(1,1) /= keys(1,1,i)).or. &
|
|
|
|
|
(key(1,2) /= keys(1,2,i)) ) then
|
|
|
|
|
cycle
|
|
|
|
|
else
|
|
|
|
|
connected_to_ref = -1
|
|
|
|
|
!DEC$ LOOP COUNT MIN(3)
|
|
|
|
|
do l=2,Nint
|
|
|
|
|
if ( (key(l,1) /= keys(l,1,i)).or. &
|
|
|
|
|
(key(l,2) /= keys(l,2,i)) ) then
|
|
|
|
|
connected_to_ref = 0
|
|
|
|
|
exit
|
|
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
if (connected_to_ref /= 0) then
|
|
|
|
|
return
|
|
|
|
|
endif
|
|
|
|
|
endif
|
|
|
|
|
enddo
|
|
|
|
|
|
|
|
|
|
endif
|
|
|
|
|
|
2014-05-17 14:20:55 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
logical function det_is_not_or_may_be_in_ref(key,Nint)
|
2014-05-21 16:37:54 +02:00
|
|
|
use bitmasks
|
|
|
|
|
implicit none
|
|
|
|
|
BEGIN_DOC
|
|
|
|
|
! If true, det is not in ref
|
|
|
|
|
! If false, det may be in ref
|
|
|
|
|
END_DOC
|
2014-05-26 13:09:32 +02:00
|
|
|
integer, intent(in) :: Nint
|
|
|
|
|
integer(bit_kind), intent(in) :: key(Nint,2)
|
2014-05-21 16:37:54 +02:00
|
|
|
integer(bit_kind) :: key_int
|
|
|
|
|
integer*1 :: key_short(bit_kind)
|
|
|
|
|
!DIR$ ATTRIBUTES ALIGN : 32 :: key_short
|
|
|
|
|
equivalence (key_int,key_short)
|
|
|
|
|
|
|
|
|
|
integer :: i, ispin, k
|
|
|
|
|
|
|
|
|
|
det_is_not_or_may_be_in_ref = .False.
|
|
|
|
|
do ispin=1,2
|
|
|
|
|
do i=1,Nint
|
|
|
|
|
key_int = key(i,ispin)
|
|
|
|
|
do k=1,bit_kind
|
|
|
|
|
det_is_not_or_may_be_in_ref = &
|
|
|
|
|
det_is_not_or_may_be_in_ref .or. &
|
|
|
|
|
key_pattern_not_in_ref(key_short(k), i, ispin)
|
|
|
|
|
enddo
|
|
|
|
|
if(det_is_not_or_may_be_in_ref) then
|
2014-05-17 14:20:55 +02:00
|
|
|
return
|
2014-05-21 16:37:54 +02:00
|
|
|
endif
|
|
|
|
|
enddo
|
2014-05-17 14:20:55 +02:00
|
|
|
enddo
|
2014-05-21 16:37:54 +02:00
|
|
|
|
2014-05-17 14:20:55 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
BEGIN_PROVIDER [ logical, key_pattern_not_in_ref, (-128:127,N_int,2) ]
|
2014-05-21 16:37:54 +02:00
|
|
|
use bitmasks
|
|
|
|
|
implicit none
|
|
|
|
|
BEGIN_DOC
|
|
|
|
|
! Min and max values of the integers of the keys of the reference
|
|
|
|
|
END_DOC
|
|
|
|
|
|
|
|
|
|
integer :: i, j, ispin
|
|
|
|
|
integer(bit_kind) :: key
|
|
|
|
|
integer*1 :: key_short(bit_kind)
|
|
|
|
|
equivalence (key,key_short)
|
|
|
|
|
integer :: idx, k
|
|
|
|
|
|
|
|
|
|
key_pattern_not_in_ref = .True.
|
|
|
|
|
|
|
|
|
|
do j=1,N_det
|
|
|
|
|
do ispin=1,2
|
|
|
|
|
do i=1,N_int
|
|
|
|
|
key = psi_det(i,ispin,j)
|
|
|
|
|
do k=1,bit_kind
|
|
|
|
|
key_pattern_not_in_ref( key_short(k), i, ispin ) = .False.
|
|
|
|
|
enddo
|
|
|
|
|
enddo
|
|
|
|
|
enddo
|
2014-05-17 14:20:55 +02:00
|
|
|
enddo
|
2014-05-21 16:37:54 +02:00
|
|
|
|
2014-05-17 14:20:55 +02:00
|
|
|
END_PROVIDER
|
|
|
|
|
|
