A positive semi-definite block matrix (a state if it is normalized) is said to be separable if it is the sum of simple tensors of positive semi-definite matrices. A state is said to be entangled if it is not separable. It is very difficult to detect th