Changeset 6d5e3ce in git


Ignore:
Timestamp:
Feb 19, 2013, 11:37:44 AM (11 years ago)
Author:
Janko Boehm <boehm@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4188d308699580d975efd0f6cca8dcb41c396f70')
Children:
8c9cc0318ae7a2479575fa31d68f25087cab165e
Parents:
6b4d4377c3789d9b0d247c80a84385ab6cc0e892
git-author:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-02-19 11:37:44+01:00
git-committer:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-02-19 11:59:18+01:00
Message:
Added test for sat
Location:
Tst
Files:
3 added
1 edited

Legend:

Unmodified
Added
Removed
  • Tst/New.lst

    r6b4d43 r6d5e3ce  
    1919New/ignoring_denominators_of_coefficients.tst
    2020New/syz_cleardenom.tst
     21New/sat_cleardenom.tst
    2122
Note: See TracChangeset for help on using the changeset viewer.