Merge branch 'semilinear' of https://github.com/michalt/newton
Merge branch 'master' of https://github.com/mschlund/newton
Merge branch 'master' of https://github.com/mschlund/newton
minor corrections, added check for zero in IsCovered