Sqrt Decomposition

This implementation is from CP4 Book.

Explanation : to be added.