sin^2 tests (not passing)
some fixes for sets
Use MIT license
Check if an expression is postive
Merge branch 'dev'