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