There are still many functions in the header `utils.hpp` not implemented yet, which are however not needed for our purpose.
JingMatrix