Changeset 0179d5 in git for Singular/LIB/general.lib

Timestamp:
Jul 16, 2009, 9:47:51 AM (14 years ago)
Author:
Christian Eder
Branches:
(u'spielwiese', 'f6c3dc58b0df4bd712574325fe76d0626174ad97')
Children:
4feee0a979cff0b1422136e2611e127a8267eb8d
Parents:
d4f44f4f228fbb8258ce8e9927141d37d4470719
Message:
options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, "2" = F5C, ""(no option set at all) = F5C
this version only produces top reductions


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

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