problems with newline at end fo file
Merge branch 'master' of https://github.com/lalitkumarj/OMSCategory
made basis_of_ordinary_space, dimension_of_ordinary_space just check the sign of the ambient space