source: git/kernel/f5gb.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @a9c298   9 years hannes format stuff jengelh-datetimespielwiese
(edit) @ba5e9e   9 years Oleksandr Changed configure-scripts to generate individual public config files ... jengelh-datetimespielwiese
(edit) @16f511   10 years Oleksandr Fixed the usage of "config.h" (if defined HAVE_CONFIG_H) jengelh-datetimespielwiese
(edit) @762407   11 years Oleksandr config.h is for sources files only FIX: config.h should only be used ... jengelh-datetimespielwiese
(edit) @737a68   11 years Oleksandr CHG: moved libpolys/polys/polys.h to kernel/polys.h & updated includes ... jengelh-datetimespielwiese
(edit) @47f985   11 years Oleksandr FIX: kBucketCreate needs a ring! CHG: minor bucket-related fixes jengelh-datetimespielwiese
(edit) @eedd22   12 years hannes kernel/pInline1.h -> libpolys/polys/polys.h jengelh-datetimespielwiese
(edit) @76cfef   12 years Oleksandr FIX: fixed #includes in the kernel/ sources ADD: dummy headers in ... jengelh-datetimespielwiese
(edit) @210e07   12 years Oleksandr ADD: testing headers with "make test.o" FIX: cleaning up headers in ... jengelh-datetimespielwiese
(edit) @599326   13 years krueger Anne, Kai, Frank: - changes to #include "..." statements to allow ... jengelh-datetimespielwiese
(edit) @ab76b4   13 years Christian Eder latest F5 version including F5,F5R,F5C & F5+ git-svn-id: ... jengelh-datetimespielwiese
(edit) @418bd6   13 years Christian Eder added idea for termination of F5: split critical pairs in "useful" and ... jengelh-datetimespielwiese
(edit) @a05c71   13 years Christian Eder termination tests included in procedure findReducers() git-svn-id: ... jengelh-datetimespielwiese
(edit) @d4cec61   13 years Christian Eder implemented test for termination ideas git-svn-id: ... jengelh-datetimespielwiese
(edit) @0179d5   14 years Christian Eder options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ... jengelh-datetimespielwiese
(edit) @df638fb   14 years Christian Eder renamed "f5data.cc" -> "F5cdata.cc" git-svn-id: ... jengelh-datetimespielwiese
(edit) @ae5177   14 years Christian Eder put the header files right git-svn-id: ... jengelh-datetimespielwiese
(edit) @f42fe73   14 years Christian Eder bug fix: tempPoly could be zero during reduciton process in procedure ... jengelh-datetimespielwiese
(edit) @667a9c   14 years Christian Eder bad stuff updated git-svn-id: ... jengelh-datetimespielwiese
(edit) @69aada   14 years Christian Eder updated bad reduction stuff git-svn-id: ... jengelh-datetimespielwiese
(edit) @7824583   14 years Christian Eder geobucket implementation with complete reduction of polynomials ... jengelh-datetimespielwiese
(edit) @787685   14 years Christian Eder insertion of rules ordered by their monomials, bit slower than without ... jengelh-datetimespielwiese
(edit) @c3efd3b   14 years Christian Eder first bucket stuff implemented, timings for the preprocessing given ... jengelh-datetimespielwiese
(edit) @f16a76d   14 years Christian Eder updated preprocessing git-svn-id: ... jengelh-datetimespielwiese
(edit) @e3b5ed   14 years Christian Eder added symbolic preprocessing to the reduction process git-svn-id: ... jengelh-datetimespielwiese
(edit) @6b0aa2   14 years Christian Eder new alternative reduction - still in progress! git-svn-id: ... jengelh-datetimespielwiese
(edit) @2ae96e   14 years Christian Eder first exponent vector comparison procedures git-svn-id: ... jengelh-datetimespielwiese
(edit) @bb02ea   14 years Christian Eder changed reduction, first step to optimize topReduction() for SINGULAR ... jengelh-datetimespielwiese
(edit) @c4a041   14 years Christian Eder memory optimized in reduction() git-svn-id: ... jengelh-datetimespielwiese
(edit) @f6c6b01   14 years Christian Eder updates in reduction git-svn-id: ... jengelh-datetimespielwiese
(edit) @7bd779   14 years Christian Eder smaller updates in reduction() & topReduction() git-svn-id: ... jengelh-datetimespielwiese
(edit) @19567b   14 years Christian Eder tests for timings git-svn-id: ... jengelh-datetimespielwiese
(edit) @e90881   14 years Christian Eder implemented deletion of known useless polynomials before the ... jengelh-datetimespielwiese
(edit) @66a5f8   14 years Christian Eder trying some stuff with exponent vectors, still not working with most ... jengelh-datetimespielwiese
(edit) @85a342   14 years Christian Eder criterion2() for previously computed elements deleted git-svn-id: ... jengelh-datetimespielwiese
(edit) @f6c7c9b   14 years Christian Eder deleted criterion2-tests if the element does not have the current ... jengelh-datetimespielwiese
(edit) @febf7e   14 years Christian Eder solved conflicts git-svn-id: ... jengelh-datetimespielwiese
(edit) @1534d9   14 years Christian Eder changed data structure RList, sorted insertion of rules, still ... jengelh-datetimespielwiese
(edit) @bc103b   14 years hannes *hannes: syntax git-svn-id: ... jengelh-datetimespielwiese
(edit) @24ac666   14 years Christian Eder criterion1() changed using ideals now, ExpVector tests git-svn-id: ... jengelh-datetimespielwiese
(edit) @d738b47   14 years Christian Eder *** empty log message *** git-svn-id: ... jengelh-datetimespielwiese
(edit) @c4158f   14 years Christian Eder delete some double checkings, changed list stuff for last elements in ... jengelh-datetimespielwiese
(edit) @7c81165   14 years Christian Eder updated list of critical pairs, thrown away some useless data ... jengelh-datetimespielwiese
(edit) @e6d283f   14 years Christian Eder rTag stuff done for F5C git-svn-id: ... jengelh-datetimespielwiese
(edit) @c3da59   14 years Christian Eder still problems with rTag, old structures with new idea of reduction of ... jengelh-datetimespielwiese
(edit) @55a828   14 years Christian Eder first attempt of a working F5C (F5 with interreduction) implementation ... jengelh-datetimespielwiese
(edit) @fe88079   14 years Christian Eder interreduction stuff added, still commented out and tested ... jengelh-datetimespielwiese
(edit) @9cb4078   14 years Christian Eder implemented interreduction, still with lots of bugs => commented out ... jengelh-datetimespielwiese
(edit) @338842d   14 years Christian Eder gPrevRedCheck is no longer part of LPoly, less data to take care of ... jengelh-datetimespielwiese
(edit) @c9193a   14 years Christian Eder fixed bug: zero reduction after top reduction git-svn-id: ... jengelh-datetimespielwiese
(edit) @8066e80   14 years Christian Eder deleted bugs in reduction(), mostly label stuff git-svn-id: ... jengelh-datetimespielwiese
(edit) @61944d0   14 years Christian Eder solved problems in reduction() in topReduction() considering both ... jengelh-datetimespielwiese
(edit) @598870   14 years Christian Eder still debugging git-svn-id: ... jengelh-datetimespielwiese
(edit) @70c15e   14 years Christian Eder problem in cyclic_n(4) solved git-svn-id: ... jengelh-datetimespielwiese
(edit) @eab144e   14 years Christian Eder fmtm() example runs, cycli_n has problems, reductions are not made for ... jengelh-datetimespielwiese
(edit) @d51339   14 years Christian Eder new written reduction process, still problems getting the right rules ... jengelh-datetimespielwiese
(edit) @416ea2   14 years Christian Eder new try on reduction procedures, no longer list of completed elements, ... jengelh-datetimespielwiese
(edit) @61d32c   14 years Christian Eder still searching errors in reduction() git-svn-id: ... jengelh-datetimespielwiese
(edit) @d7d5f6   14 years Christian Eder still searching bug in reduction() git-svn-id: ... jengelh-datetimespielwiese
(edit) @87beab7   14 years Christian Eder lots of stuff debugged, lots of wrong loop terminations improved, ... jengelh-datetimespielwiese
(edit) @35d0d1a   14 years Christian Eder *** empty log message *** git-svn-id: ... jengelh-datetimespielwiese
(edit) @fcb8022   14 years Christian Eder rTag update git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ... jengelh-datetimespielwiese
(edit) @9bb97e   14 years Christian Eder implementation of computeSPols, start of reduction and topReduction ... jengelh-datetimespielwiese
(edit) @8978fd   14 years Christian Eder criterion2() for spols() added git-svn-id: ... jengelh-datetimespielwiese
(edit) @a41f3aa   14 years Christian Eder criterion1() and criterion2() done, changed rules(added pointer on ... jengelh-datetimespielwiese
(edit) @5d0556   14 years Christian Eder all stuff now found in f5data.* git-svn-id: ... jengelh-datetimespielwiese
(edit) @66e7b5   14 years Christian Eder subalgorithms criticalPairs, criterion1 and criterion2 added ... jengelh-datetimespielwiese
(edit) @a3771a   14 years hannes *hannes: lists -> f5lists git-svn-id: ... jengelh-datetimespielwiese
(edit) @cce6ed3   14 years Christian Eder lists done, started implementing f5incremental and critpair ... jengelh-datetimespielwiese
(edit) @a0350e9   14 years Christian Eder added lists for critical pairs git-svn-id: ... jengelh-datetimespielwiese
(edit) @71f00c5   14 years Christian Eder lists updated git-svn-id: file:///usr/local/Singular/svn/trunk@11273 ... jengelh-datetimespielwiese
(edit) @199ae7   14 years Christian Eder incremental basis git-svn-id: ... jengelh-datetimespielwiese
(edit) @244ed5   14 years Christian Eder updated header inclusions due to lplist git-svn-id: ... jengelh-datetimespielwiese
(edit) @ed30c5   14 years Christian Eder updated input git-svn-id: file:///usr/local/Singular/svn/trunk@11207 ... jengelh-datetimespielwiese
(edit) @4cfd6d   14 years Christian Eder added function "generate_input_list" git-svn-id: ... jengelh-datetimespielwiese
(edit) @cfb8edb   14 years Christian Eder : git-svn-id: file:///usr/local/Singular/svn/trunk@11125 ... jengelh-datetimespielwiese
(edit) @ee3507   14 years hannes *hannes: conventions git-svn-id: ... jengelh-datetimespielwiese
(edit) @948192   14 years Christian Eder implementation of labeled polynomials git-svn-id: ... jengelh-datetimespielwiese
(edit) @8627ad   15 years Christian Eder *** empty log message *** git-svn-id: ... jengelh-datetimespielwiese
(edit) @0b85fc   15 years Christian Eder labeled polynomial added git-svn-id: ... jengelh-datetimespielwiese
(edit) @9a6e9f   15 years Christian Eder quicksort, label poly class git-svn-id: ... jengelh-datetimespielwiese
(edit) @fd2ac0   15 years Christian Eder *** empty log message *** git-svn-id: ... jengelh-datetimespielwiese
(edit) @171950   15 years Christian Eder new: interreduction git-svn-id: ... jengelh-datetimespielwiese
(edit) @19a378   15 years Christian Eder first test git-svn-id: file:///usr/local/Singular/svn/trunk@10693 ... jengelh-datetimespielwiese
(add) @936551   15 years wienand F5 Implementierung git-svn-id: ... jengelh-datetimespielwiese
Note: See TracRevisionLog for help on using the revision log.