First commit
Basic mathematical structures
Added some tests