source: git/Singular/LIB/schreyer.lib

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @f604741   6 years hannes cleanup: schreyer.lib fieker-DuValspielwiese
(edit) @32d0c9c   6 years hannes removed syzextra-myNF.* fieker-DuValspielwiese
(edit) @fd8f89e   6 years hannes removed more debug stuff from syzextra fieker-DuValspielwiese
(edit) @852347   6 years hannes removed some debug/profiling from schreyer.lib fieker-DuValspielwiese
(edit) @810381   6 years hannes chg: version/date of libs, p2 fieker-DuValspielwiese
(edit) @7510bb   8 years hannes format fieker-DuValspielwiese
(edit) @b64aace   8 years Oleksandr Re-enable experimental iterative interface for Schreyer resolution engine fieker-DuValspielwiese
(edit) @5971c6   9 years hannes format fieker-DuValspielwiese
(edit) @f5125c6   9 years Oleksandr Fixed the header documentation for schreyer.lib fieker-DuValspielwiese
(edit) @aca790   9 years Oleksandr Cleanup documentation&example for s_res + added reference to the article fieker-DuValspielwiese
(edit) @6fcbe89   9 years Oleksandr Cleanup / fix schreyer.lib::mod_init fieker-DuValspielwiese
(edit) @cee2052   9 years Oleksandr Moved procs for operations with graded modules into a separate ... fieker-DuValspielwiese
(edit) @227571   9 years Oleksandr Simplified/corrected grtranspose + distinct assume levels fieker-DuValspielwiese
(edit) @6618297   9 years Oleksandr Cleaup / refactoring graded reordering/transpose + Added assume checks ... fieker-DuValspielwiese
(edit) @d853f2   9 years Oleksandr Added grtranspose & grorder for lists of/and individual GRADED modules fieker-DuValspielwiese
(edit) @71e7cb8   9 years Oleksandr Fix: graded transpose needs reordering fieker-DuValspielwiese
(edit) @ad5536d   9 years Oleksandr Fixed undesireable output of view: -1 = deg(0) -> "." fieker-DuValspielwiese
(edit) @2b006e   9 years Oleksandr Adding prototypes for utility helpers to deal with graded ... fieker-DuValspielwiese
(edit) @5c0f71   9 years Oleksandr Minor changes to syzextra chg: output details about the terms skipped ... fieker-DuValspielwiese
(edit) @048ea3   9 years Oleksandr Make sure that input is tailreduced and interreduced (for s_res) fieker-DuValspielwiese
(edit) @75f460   9 years hannes format fieker-DuValspielwiese
(edit) @350269   9 years Oleksandr Fix package/namespace/exportto problem in schreyer.lib (mod_init) ... fieker-DuValspielwiese
(edit) @a8af6f0   9 years Oleksandr Fix wrong RINGCHANGE attribute reading fieker-DuValspielwiese
(edit) @4c420e   9 years Oleksandr Added s_res_bm : benchmarking resolution computation (slower than ... fieker-DuValspielwiese
(edit) @d79a74   9 years Oleksandr Default s_res to work over basering and return the usual resolution ... fieker-DuValspielwiese
(edit) @a2239c   9 years Oleksandr Documentation for schreyer.lib fieker-DuValspielwiese
(edit) @db5a01   9 years Oleksandr Fix schreyer.lib: documentation & exports & cleanup & testing fieker-DuValspielwiese
(edit) @78337a   9 years Oleksandr Minor cleanup in schreyer.lib / testing routines fieker-DuValspielwiese
(edit) @a7575a1   9 years Oleksandr Revert "avoid empty procedures - keep Top-namespace clean (a start)" ... fieker-DuValspielwiese
(edit) @0ab2c4c   9 years Oleksandr Ensure monic input to Schreyer resolution computation fieker-DuValspielwiese
(edit) @ba19a8   9 years hannes avoid empty procedures - keep Top-namespace clean (a start) fieker-DuValspielwiese
(edit) @572103   10 years Oleksandr New NumberStatsInit and NumberStatsPrint are available in syzextra ... fieker-DuValspielwiese
(edit) @ed3876   10 years Oleksandr syzextra: Better tree output & prot fieker-DuValspielwiese
(edit) @90fa9d   10 years Oleksandr Fix bucket reusage + cleanup in debug output fieker-DuValspielwiese
(edit) @542685e   10 years Oleksandr Updating + Fixing fieker-DuValspielwiese
(edit) @d2c687   10 years Oleksandr Switched off all debuging features in the lib fieker-DuValspielwiese
(edit) @a742eb   10 years Oleksandr Updated testing settings -> release for schreyer.lib fieker-DuValspielwiese
(edit) @84dc03b   11 years Oleksandr Fixed 'make check' without syzextra.so (no infinite idle wait) fieker-DuValspielwiese
(edit) @8152f7   11 years Oleksandr Adding treeoutput add: syz.term output in Latex format Note: make ... fieker-DuValspielwiese
(edit) @c760e25   11 years Oleksandr Added TREEOUTPUT to testSimple (e.g. called by make check) fieker-DuValspielwiese
(edit) @a3337a   11 years Oleksandr Added TestSSSres and ComputeResolution chg/fix: better SCheck TODO: ... fieker-DuValspielwiese
(edit) @91c7251   11 years Oleksandr HYBRIDNF==2 seems to be bad now... stick to testing pure mathods fieker-DuValspielwiese
(edit) @7eaf72   11 years Oleksandr Added profiler usage during SSres for testAGR(&hard) add: use ... fieker-DuValspielwiese
(edit) @da9d52   11 years Oleksandr Cleanup time-stamping and debug output from Release build add: save ... fieker-DuValspielwiese
(edit) @68fedf   12 years Oleksandr Mixed hybrid/traverse syzygy computation mathod (2) add: attribute ... fieker-DuValspielwiese
(edit) @9936d6   11 years Oleksandr Syzygy preprocessing + more testing/benchmarking TODO: remote ... fieker-DuValspielwiese
(edit) @1cf13b   10 years Oleksandr Traverse API redesign + avoid multiplication as far as possible ... 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) @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) @c93fda   12 years Oleksandr more testing/comparing resolution computations add: 2 more longer ... 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) @14e93b   12 years Oleksandr moved the main driver function ComputeSyzygy to the dyn.module TODO: ... fieker-DuValspielwiese
(edit) @2c16b8   12 years Oleksandr first call to sort cannot ask for temp ring attributes + minor changes fieker-DuValspielwiese
(edit) @9e69e0   12 years Oleksandr better error detection in SSCompute2LeadingSyzygyTerms TODO: Wrong ... fieker-DuValspielwiese
(edit) @9cf220   12 years Oleksandr more extensive testing of AGR examples fieker-DuValspielwiese
(edit) @fe35f2   12 years Oleksandr finall code migration to C/C++ (syzextra) add: ... fieker-DuValspielwiese
(edit) @f6c459   10 years Oleksandr Cleanup and minor changes fieker-DuValspielwiese
(edit) @d353e4f   12 years Oleksandr better options for testing SSres fieker-DuValspielwiese
(edit) @210d1b   12 years Oleksandr fixing a Sort problem for 0-input (wrong output rank of 0?) fieker-DuValspielwiese
(edit) @33161fd   12 years Oleksandr implemented FindReducer in syzextra chg: (SS)FindReducer don't need ... fieker-DuValspielwiese
(edit) @8b368ff   11 years Oleksandr Minor chages + defaults fieker-DuValspielwiese
(edit) @b2fb0c   12 years Oleksandr added HybridNF && related design changes! add: introduced: ... fieker-DuValspielwiese
(edit) @d058ea   12 years Oleksandr SSCompute2LeadingSyzygyTerms should use Compute2LeadingSyzygyTerms be ... fieker-DuValspielwiese
(edit) @c1931a4   12 years Oleksandr new testing procedure testALLA: several tests in many setups! fieker-DuValspielwiese
(edit) @8e650e   12 years Oleksandr options are attached as attributes to SSinit fieker-DuValspielwiese
(edit) @74afe1f   12 years Oleksandr moved 'Compute2LeadingSyzygyTerms' into the dyn.mod. TODO/TEST: ... fieker-DuValspielwiese
(edit) @8b78ee   12 years Oleksandr sorting for Syz/Res project: add: inplace sorting 'Sort_c_ds' add: ... fieker-DuValspielwiese
(edit) @7b7c2c   12 years Oleksandr further Syz/Resolutions: chg: sorting: "ds" ->> "c,ds" (since ... fieker-DuValspielwiese
(edit) @43e3e7   10 years Oleksandr Final overview fix (schreyer.lib) fieker-DuValspielwiese
(edit) @370468   10 years Oleksandr Final overview of schreyer.lib fieker-DuValspielwiese
(edit) @b1645e   10 years Oleksandr Moved general descriptiomn to the header + references fieker-DuValspielwiese
(edit) @789d6f   10 years Oleksandr More formatting for schreyer.lib fieker-DuValspielwiese
(edit) @33694c   10 years Oleksandr Update the documentation for schreyer.lib fieker-DuValspielwiese
(edit) @3686937   11 years Oleksandr Added '$Id$' as a comment to all libs (LIB/*.lib) fieker-DuValspielwiese
(edit) @380a17b   11 years hannes fix: new version numbers for libs fieker-DuValspielwiese
(edit) @4c20ee   11 years hannes fix: new version numbers for libs fieker-DuValspielwiese
(edit) @b5d6f0   11 years Oleksandr Use .so dynamic modules (no more _g.so[g]?!) fieker-DuValspielwiese
(edit) @f63b13   11 years Oleksandr Optional starting of Google Profiler NOTE: also needs to link with ... fieker-DuValspielwiese
(edit) @643877c   11 years Oleksandr Expose function m2_end function Conflicts: Singular/LIB/schreyer.lib ... fieker-DuValspielwiese
(edit) @7fe9f8b   12 years Oleksandr Added new experimental library "derham.lib" add: derham.lib as an ... fieker-DuValspielwiese
(edit) @ff12c6   12 years Oleksandr Testing of ClearContent&ClearDenominators add: testing the use of ... fieker-DuValspielwiese
(edit) @e89ff5   12 years Oleksandr moved proc Tail to the dyn. module add: Tail command within syzextra ... fieker-DuValspielwiese
(edit) @b0ca43c   12 years Oleksandr new global option for auto-testing the Syzygy property ("SYZCHECK") ... fieker-DuValspielwiese
(edit) @fdde6ce   12 years Oleksandr Further SingularC Schreyer Syzygy/Resolution computation add: options ... fieker-DuValspielwiese
(edit) @f37467   12 years Oleksandr Compute the whole inter-reduced & tail-reduced Syz(lead) instead of ... fieker-DuValspielwiese
(edit) @4b2e47   12 years Oleksandr first iteration: mostly prototype in Singular Script... without ... fieker-DuValspielwiese
(edit) @8f57c0   12 years Oleksandr further Schreyer Syzygy impl. add: compute M_i add: starting to traverse fieker-DuValspielwiese
(edit) @6b6c82   12 years Oleksandr starting the new resolution/syzygy prototyping: initial copypasta ... fieker-DuValspielwiese
(edit) @71e402   12 years Oleksandr one should better not manipulate "am" ordering directly NOTE: use ... fieker-DuValspielwiese
(add) @4c6c938   12 years Oleksandr added a new experimental library: schreyer.lib for working with ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.