Changeset 418bd6 in git for kernel/gfan.cc

Timestamp:
Oct 1, 2009, 3:40:16 PM (15 years ago)
Author:
Christian Eder
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')
Children:
963eebd7c227d74888d6c990014a2db02a856401
Parents:
1d9469b7feae9ba3731cc5bd89f2a2a7f1611efd
Message:
added idea for termination of F5: split critical pairs in "useful" and "useless"
ones, check later on if there are "useful" ones left, else terminate the algorithm.


git-svn-id: file:///usr/local/Singular/svn/trunk@12147 2c84dea3-7e68-4137-9b89-c4e89433aadc
(No files)

Note: See TracChangeset for help on using the changeset viewer.