source: git/dyn_modules/syzextra/syzextra.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1a4c343   12 years Oleksandr Starting tail terms preprocessing: TODO: need a vector of "term + ... fieker-DuValspielwiese
(edit) @1cf13b   10 years Oleksandr Traverse API redesign + avoid multiplication as far as possible ... fieker-DuValspielwiese
(edit) @c81423   12 years Oleksandr better condition for running "m_checker.Initialize(m_syzLeads);" in ... fieker-DuValspielwiese
(edit) @e98c64   12 years Oleksandr adding IGNORETAILS option for computing pure Schreyer Frames (test ... fieker-DuValspielwiese
(edit) @5cecde   12 years Oleksandr Totally bitmasked: CReducerFinder: FindReducer uses ... fieker-DuValspielwiese
(edit) @495328   12 years Oleksandr made all classes inherit from SchreyerSyzygyComputationFlags chg: ... fieker-DuValspielwiese
(edit) @dd24e5   12 years Oleksandr separated FindReducer into a separate class CReducerFinder (m_div) ... fieker-DuValspielwiese
(edit) @026171   12 years Oleksandr introduced a bitmask of `leading` variables NOTE: this is the 2nd ... fieker-DuValspielwiese
(edit) @c7d29b   12 years Oleksandr final removal of old _INTERNAL_ functions and corresp. wrappers ... fieker-DuValspielwiese
(edit) @4eba3ad   10 years Oleksandr introduced SchreyerSyzygyComputationFlags for storing and passing ring ... fieker-DuValspielwiese
(edit) @92992c   12 years Oleksandr moving/adding/changing bits of documentation fieker-DuValspielwiese
(edit) @7088f18   12 years Oleksandr Old Schreyer Syzygy functions went to a namespace accesed via a class ... fieker-DuValspielwiese
(edit) @204092   12 years Oleksandr moved/separated new functions related to Schreyer Syzygy computation ... fieker-DuValspielwiese
(edit) @cd5fefc   12 years Oleksandr new p_Tail and id_Tail (separated from a wrapper) fieker-DuValspielwiese
(add) @ff7993   12 years Oleksandr introduced syzextra.{h,cc} files for cleaner separation of algorithms ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.