source: git/dyn_modules/syzextra/syzextra.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4ca3e3   11 years Oleksandr Compiler warnings elimination + cosmetics spielwiese
(edit) @da9d52   11 years Oleksandr Cleanup time-stamping and debug output from Release build add: save ... spielwiese
(edit) @daa4e5   11 years Oleksandr Using s/k-buckets in TraverseTail and SchreyerSyzygyNF TODO: refine! spielwiese
(edit) @68fedf   11 years Oleksandr Mixed hybrid/traverse syzygy computation mathod (2) add: attribute ... spielwiese
(edit) @31a08c2   12 years Oleksandr Adaptation/update due to renaming of options(test&verbose) by Hans spielwiese
(edit) @9936d6   11 years Oleksandr Syzygy preprocessing + more testing/benchmarking TODO: remote ... spielwiese
(edit) @13a431   12 years Oleksandr Turn off unwanted debug output (by default!) spielwiese
(edit) @6bfd78   11 years Oleksandr Added CDivisorEnumerator(2) - to be used by CReducerFinder add: ... spielwiese
(edit) @1a4c343   12 years Oleksandr Starting tail terms preprocessing: TODO: need a vector of "term + ... spielwiese
(edit) @1cf13b   10 years Oleksandr Traverse API redesign + avoid multiplication as far as possible ... spielwiese
(edit) @c81423   12 years Oleksandr better condition for running "m_checker.Initialize(m_syzLeads);" in ... spielwiese
(edit) @e98c64   12 years Oleksandr adding IGNORETAILS option for computing pure Schreyer Frames (test ... spielwiese
(edit) @5cecde   12 years Oleksandr Totally bitmasked: CReducerFinder: FindReducer uses ... spielwiese
(edit) @495328   12 years Oleksandr made all classes inherit from SchreyerSyzygyComputationFlags chg: ... spielwiese
(edit) @dd24e5   12 years Oleksandr separated FindReducer into a separate class CReducerFinder (m_div) ... spielwiese
(edit) @026171   12 years Oleksandr introduced a bitmask of `leading` variables NOTE: this is the 2nd ... spielwiese
(edit) @c7d29b   12 years Oleksandr final removal of old _INTERNAL_ functions and corresp. wrappers ... spielwiese
(edit) @4eba3ad   10 years Oleksandr introduced SchreyerSyzygyComputationFlags for storing and passing ring ... spielwiese
(edit) @7088f18   12 years Oleksandr Old Schreyer Syzygy functions went to a namespace accesed via a class ... spielwiese
(edit) @204092   12 years Oleksandr moved/separated new functions related to Schreyer Syzygy computation ... spielwiese
(edit) @cd5fefc   12 years Oleksandr new p_Tail and id_Tail (separated from a wrapper) spielwiese
(add) @ff7993   12 years Oleksandr introduced syzextra.{h,cc} files for cleaner separation of algorithms ... spielwiese
Note: See TracRevisionLog for help on using the revision log.