Login
Help/Guide
About Trac
Preferences
Timeline
Browse Source
View Tickets
New Ticket
Wiki
Context Navigation
View Latest Revision
source:
git
/
kernel
/
f5data.h
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@341696
14 years
hannes
Adding Id property to all files git-svn-id: ...
spielwiese
(edit)
@418bd6
14 years
Christian Eder
added idea for termination of F5: split critical pairs in "useful" and ...
spielwiese
(edit)
@a05c71
15 years
Christian Eder
termination tests included in procedure findReducers() git-svn-id: ...
spielwiese
(edit)
@0179d5
15 years
Christian Eder
options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ...
spielwiese
(edit)
@ae5177
15 years
Christian Eder
put the header files right git-svn-id: ...
spielwiese
(edit)
@667a9c
15 years
Christian Eder
bad stuff updated git-svn-id: ...
spielwiese
(edit)
@e90881
15 years
Christian Eder
implemented deletion of known useless polynomials before the ...
spielwiese
(edit)
@fe88079
15 years
Christian Eder
interreduction stuff added, still commented out and tested ...
spielwiese
(edit)
@9cb4078
15 years
Christian Eder
implemented interreduction, still with lots of bugs => commented out ...
spielwiese
(edit)
@eab144e
15 years
Christian Eder
fmtm() example runs, cycli_n has problems, reductions are not made for ...
spielwiese
(edit)
@d51339
15 years
Christian Eder
new written reduction process, still problems getting the right rules ...
spielwiese
(edit)
@87beab7
15 years
Christian Eder
lots of stuff debugged, lots of wrong loop terminations improved, ...
spielwiese
(edit)
@fcb8022
15 years
Christian Eder
rTag update git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ...
spielwiese
(edit)
@9bb97e
15 years
Christian Eder
implementation of computeSPols, start of reduction and topReduction ...
spielwiese
(edit)
@a41f3aa
15 years
Christian Eder
criterion1() and criterion2() done, changed rules(added pointer on ...
spielwiese
(add)
@01e82c8
15 years
Christian Eder
these files replace all lpoly stuff in the f5 implementation ...
spielwiese
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog