TODO in is_separable check

[purva-thakre]

toqito/toqito/state_props/is_separable.py

Lines 122 to 133 in 0b62ebf

	if (
	state_rank + np.linalg.matrix_rank(pt_state_alice)
	<= 2 * state.shape[0] * state.shape[1] - state.shape[0] - state.shape[1] + 2
	or state_rank + np.linalg.matrix_rank(pt_state_bob)
	<= 2 * state.shape[0] * state.shape[1] - state.shape[0] - state.shape[1] + 2
	):
	# Determined to be separable via operational criterion of the PPT criterion for low-rank operators.
	# P. Horodecki, M. Lewenstein, G. Vidal, and I. Cirac.
	# Operational criterion and constructive checks for the separability of low-rank density matrices.
	# Phys. Rev. A, 62:032310, 2000.
	# TODO
	pass

Related to #518