# # ChangeLog for Singular/cnf2ideal.py in git # # Generated by Trac 1.2.3 # Apr 28, 2024, 4:10:11 AM Thu, 27 Jul 2006 09:02:17 GMT Michael Brickenstein [0e9ea9] * Singular/cnf2ideal.py (modified) + cleanup git-svn-id: file:///usr/local/Singular/svn/trunk@9358 ... Tue, 25 Jul 2006 13:39:19 GMT Michael Brickenstein [d961eb] * Singular/cnf2ideal.py (modified) *bricken: + magma support git-svn-id: ... Tue, 25 Jul 2006 13:23:09 GMT Michael Brickenstein [d8e1214] * Singular/cnf2ideal.py (modified) *bricken: + magma support git-svn-id: ... Tue, 25 Jul 2006 08:04:43 GMT Michael Brickenstein [d420d9] * Singular/cnf2ideal.py (modified) *bricken: much enhanced git-svn-id: ... Mon, 24 Jul 2006 13:30:40 GMT Michael Brickenstein [79c813] * Singular/cnf2ideal.py (modified) *bricken: +PolyBoRi git-svn-id: ... Wed, 04 May 2005 15:44:42 GMT Michael Brickenstein [28d253] * Singular/cnf2ideal.py (added) *bricken: initial version of converter for DIMACS format ...