Make it easier to adjust verification for positive-only minors
tree12d77703ddef31d140aafec7f5be5d7112b42982
-rw-r--r-- 9 .gitignore
-rw-r--r-- 1071 LICENSE
-rw-r--r-- 23067 M.myr
-rw-r--r-- 1675 README
-rw-r--r-- 599 bld.proj
-rw-r--r-- 3730 expound.myr
-rw-r--r-- 72197 factorization-coords.myr
-rw-r--r-- 29731 kc.myr
-rw-r--r-- 5456 latex.myr
-rw-r--r-- 26470 mkQ.myr
-rw-r--r-- 11475 mutations.myr
-rw-r--r-- 40094 roots.myr
-rw-r--r-- 19932 s5.myr
-rw-r--r-- 26691 something.myr
-rw-r--r-- 12132 types.myr
-rw-r--r-- 12441 util.myr
-rw-r--r-- 28438 verification.myr
-rw-r--r-- 2421 zzz.myr