defined __truediv__ to fix bug in Python3;
improved docstring of _TensorManage