  A decomposition form is introduced in this report to establish a criterion
for the bi-partite separability of Bell diagonal states. A such criterion takes
a quadratic form of the coefficients of a given Bell diagonal states and can be
derived via a simple algorithmic calculation of its invariants. In addition,
the criterion can be extended to a quantum system of higher dimension.
