2019-03-16 | Chengsong | correctness test with enumeration | changeset | files |
2019-03-15 | Chengsong | :test whether bsimp(bders(r, s)) == ders_simp(r,s) | changeset | files |
2019-03-15 | Chengsong | removing PRED | changeset | files |
2019-03-13 | Chengsong | more comments | changeset | files |
2019-03-13 | Chengsong | i | changeset | files |
2019-03-13 | Chengsong | run | changeset | files |
No more entries |