Timeline



May 11, 2012:

5:48 PM Changeset in git [871c44]spielwiese by Martin Lee <martinlee84@…>
chg: make test use psr gcd
5:46 PM Changeset in git [2488dc3]spielwiese by Martin Lee <martinlee84@…>
chg: use other GCD if input is not dense in chinrem_gcd
5:39 PM Changeset in git [e89ff5]spielwiese by Oleksandr Motsak <motsak@…>
moved proc Tail to the dyn. module add: Tail command within syzextra (for poly/vector/ideal/module)
4:24 PM Changeset in git [ea095d]spielwiese by Martin Lee <martinlee84@…>
fix: switched off compression
3:55 PM Changeset in git [d7eac3]spielwiese by Oleksandr Motsak <motsak@…>
update the result of Old/integers.tst due to the new additive type (bigintmat)
3:51 PM Changeset in git [0d1984]spielwiese by Oleksandr Motsak <motsak@…>
better factory test (for 'make check') add: output test parameters: p,i chg: no immediate exit on failed test add: accumulate the return value
3:10 PM Changeset in git [860d71]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #108 from mmklee/factory_clean_up_sw Factory clean up sw

May 10, 2012:

6:58 PM Changeset in git [b0ca43c]spielwiese by Oleksandr Motsak <motsak@…>
new global option for auto-testing the Syzygy property ("SYZCHECK") NOTE: it is On for now... TODO: disable later!
6:47 PM Changeset in git [9752db]spielwiese by Martin Lee <martinlee84@…>
chg: use irreducibility criterion also in characteristic 0
5:56 PM Changeset in git [fdde6ce]spielwiese by Oleksandr Motsak <motsak@…>
Further SingularC Schreyer Syzygy/Resolution computation add: options as basering attributes: add: option for tail-reduced output (experimentall!) add: option for the computation of leading syzygy with OR without 2nd syz. term chg: renamed main recursive procedures chg: SSTraverseTail (SSTraverse) takes an element itself now (instead of taking index i and looking up Tail[i])
4:43 PM Changeset in git [8d2416]spielwiese by Martin Lee <martinlee84@…>
chg: added polys from #424,#425 and sage_trac #12928 to test
4:23 PM Changeset in git [6f0279]spielwiese by Martin Lee <martinlee84@…>
fix: wrong exit condition
1:59 PM Changeset in git [75f10d]spielwiese by Hans Schoenemann <hannes@…>
add: bigintmat stuff from master
12:36 PM Ticket #424 (critical bug in multivariate polynomial factorization over GF(2)) closed by mlee
fixed: solved in current master branch
12:34 PM Ticket #425 (segmentation fault with multivariate polynomial factorization) closed by mlee
fixed: solved in current master branch
12:20 PM Changeset in git [542864]spielwiese by Martin Lee <martinlee84@…>
chg: use irreducibility criterion
11:06 AM Ticket #425 (segmentation fault with multivariate polynomial factorization) created by Paul.Zimmermann@…
from within Sage 4.8: […] cf …
11:02 AM Ticket #424 (critical bug in multivariate polynomial factorization over GF(2)) created by Paul.Zimmermann@…
[…] Cf trac.sagemath.org/sage_trac/ticket/12928

May 9, 2012:

7:34 PM Changeset in git [f37467]spielwiese by Oleksandr Motsak <motsak@…>
Compute the whole inter-reduced & tail-reduced Syz(lead) instead of L(Syz(lead))! add: SSCompute2LeadingSyzygyTerms chg: test the syz. property only in @DEBUG mode fix: removed no SB warning during NF
6:25 PM Changeset in git [845c260]spielwiese by Martin Lee <martinlee84@…>
chg: created stats and result for new test chg: moved gcd_univar_p_create to Tst/Long
3:59 PM Changeset in git [e95e4ed]spielwiese by Martin Lee <martinlee84@…>
chg: removed fex directory
3:41 PM Changeset in git [6ff7fd]spielwiese by Martin Lee <martinlee84@…>
chg: moved tests from factory/fex to these new tests
2:55 PM Ticket #423 (syntax for matrices over coefficient domains) created by burcin
Hans says that the bigintmat type is essentially a matrix of …
1:33 PM Changeset in git [9dbf5c]spielwiese by Martin Lee <martinlee84@…>
chg: towards removal of ftest directory
10:52 AM Changeset in git [c8302b]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #103 from mmklee/factory_fixes_sw Factory fixes sw

May 8, 2012:

4:45 PM Changeset in git [a5b5df]spielwiese by Martin Lee <martinlee84@…>
chg: removed ftest directory
4:42 PM Changeset in git [26644b1]spielwiese by Hans Schoenemann <hannes@…>
chg: help system, lib2doc updated add: primepower as a comment from master
3:10 PM Changeset in git [fefaa8]spielwiese by Martin Lee <martinlee84@…>
chg: removed winnt directory
2:51 PM Changeset in git [1d92bf]spielwiese by Martin Lee <martinlee84@…>
chg: deleted abs_fac outside of factory
2:50 PM Changeset in git [e699d8]spielwiese by Martin Lee <martinlee84@…>
chg: deleted abs_fac and related stuff
2:35 PM Changeset in git [c7417a]spielwiese by Martin Lee <martinlee84@…>
chg: deleted stuff related to sparse modular gcd outside of factory
2:33 PM Changeset in git [e88604]spielwiese by Martin Lee <martinlee84@…>
chg: deleted sparse modular gcd from sm_sparsemod.*
1:14 PM Changeset in git [5c0bf0]spielwiese by Hans Schoenemann <hannes@…>
removed: clapsing.cc::primepower: not nedded anymore
12:59 PM Changeset in git [0c4a5ce]spielwiese by Martin Lee <martinlee84@…>
chg: removed unused header
12:04 PM Changeset in git [768c0c]spielwiese by Martin Lee <martinlee84@…>
chg: removed unused switches
11:05 AM Changeset in git [9a12097]spielwiese by Martin Lee <martinlee84@…>
chg: use NTL zz_p* instead of ZZ_p*, deleted unneccessary includes

May 7, 2012:

7:00 PM Changeset in git [4b2e47]spielwiese by Oleksandr Motsak <motsak@…>
first iteration: mostly prototype in Singular Script... without preliminary computation of 2nd syz. terms and any optimizations! add: Mi (critical leading syzygy terms) add: basic "Reduce"!
5:39 PM Changeset in git [dccd6d]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #101 from mmklee/factory_without_ntl fix: issues with building factory without NTL
5:34 PM Changeset in git [517530]spielwiese by Martin Lee <martinlee84@…>
fix: issues with building factory without NTL
3:56 PM Changeset in git [8f57c0]spielwiese by Oleksandr Motsak <motsak@…>
further Schreyer Syzygy impl. add: compute M_i add: starting to traverse
3:55 PM Changeset in git [e7676a]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #100 from mmklee/ezgcd_sw Ezgcd sw
3:03 PM Changeset in git [68a3479]spielwiese by Martin Lee <martinlee84@…>
fix: deleted unnecessary init of FLINT polys
12:46 PM Changeset in git [18a660]spielwiese by Martin Lee <martinlee84@…>
chg: use FLINT in bivariate factorization
11:29 AM Changeset in git [60cc12]spielwiese by Martin Lee <martinlee84@…>
chg: added new tests for gcd from http://home.bway.net/lewis/fermat/gcdcomp and "Evaluation of the Heuristic Polynomial GCD"

May 4, 2012:

11:14 PM Changeset in git [edd818]spielwiese by Martin Lee <martinlee84@…>
fix: do not add lead coeff to factorization if it's 1 fix: do not compute factorization twice
4:25 PM Changeset in git [42253a]spielwiese by Martin Lee <martinlee84@…>
chg: deleted fieldGCD related stuff outside of factory
4:17 PM Changeset in git [e16f7d]spielwiese by Martin Lee <martinlee84@…>
chg: deleted fieldGCD
2:31 PM Changeset in git [7a1151]spielwiese by Martin Lee <martinlee84@…>
fix: compiler warnings

May 3, 2012:

3:53 PM Changeset in git [1e4b53]spielwiese by Martin Lee <martinlee84@…>
chg: first test LC's before doing a full termination test in GCD
12:29 PM Changeset in git [0d5627]spielwiese by Martin Lee <martinlee84@…>
fix: include config.h instead of factoryconf.h
12:10 PM Changeset in git [2156ec]spielwiese by Martin Lee <martinlee84@…>
chg: compute content in QGCD

May 2, 2012:

2:00 PM Changeset in git [e26667]spielwiese by Martin Lee <martinlee84@…>
chg: use cofactors in EZGCD to test divisibility
1:41 PM Changeset in git [597783]spielwiese by Martin Lee <martinlee84@…>
chg: compute cofactors of gcd and use them to test divisibility chg: do not use bounds in gcd over Fq

Apr 28, 2012:

10:13 PM Changeset in git [a03496]spielwiese by Martin Lee <martinlee84@…>
fix: gmp 5.x does not define __GMP_BITS_PER_MP_LIMB any more which is needed in FLINT's longlong.h
10:11 PM Changeset in git [d1dc39]spielwiese by Martin Lee <martinlee84@…>
fix: deleted unused variables

Apr 27, 2012:

9:26 PM Changeset in git [6b6c82]spielwiese by Oleksandr Motsak <motsak@…>
starting the new resolution/syzygy prototyping: initial copypasta a-la Sres + ring changing + sorting + separation...
4:27 PM Changeset in git [0fd171]spielwiese by Oleksandr Motsak <motsak@…>
no flint detection/usage by default NOTE: using flint leads to compiling problems at the moment - it should not be used by default
1:26 PM Changeset in git [7d1232]spielwiese by Hans Schoenemann <hannes@…>
experimental: several links to the same port (cherry picked from commit 0e368b1eaeedc0d3bf686832d825f5da7bc3a81b) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/extra.cc Singular/links/ssiLink.cc (changes already ported)

Apr 26, 2012:

3:50 PM Changeset in git [cb7827]spielwiese by Martin Lee <martinlee84@…>
chg: compute cofactors in chinrem_gcd and use them to test divisibility
10:46 AM Changeset in git [4704674]spielwiese by Martin Lee <martinlee84@…>
chg: avoid divisibility tests chg: use a bound on coeffs in chinrem_gcd

Apr 25, 2012:

8:38 PM Changeset in git [fe02b1]spielwiese by Oleksandr Motsak <motsak@…>
my rewrite of bigintmat as a matrix of numbers from any coeff. domain fix: several bugs and mem. leaks add: improved interface (mostly backward compatible) chg: many minor improvements add: started documenting with doxygen comments add: lots of assumes NOTE: NULL should NOT be used as a coeff. domain (use coeffs_BIGINT for Q!)
8:29 PM Changeset in git [84fc1f]spielwiese by Oleksandr Motsak <motsak@…>
moved Hans's bigintmat from libmisc to libcoeffs (almost verbatim)

Apr 24, 2012:

4:38 PM Changeset in git [9f84ad]spielwiese by Martin Lee <martinlee84@…>
chg: try to use evaluation points that preserve sparseness chg: handling of SW_RATIONAL
3:11 PM Ticket #422 (please make license of minpoly.* clearer) closed by hannes
fixed: GPL, with Sebastian Jabor as author
2:43 PM Changeset in git [6f8d6f]spielwiese by Martin Lee <martinlee84@…>
chg: added example from P. Zimmermann to factorizep_s.tst
1:01 PM Changeset in git [c244d04]spielwiese by Martin Lee <martinlee84@…>
chg: deleted unused old functions + editing chg: added description

Apr 23, 2012:

4:58 PM Changeset in git [3c25c9]spielwiese by Martin Lee <martinlee84@…>
chg: more trivial checks

Apr 20, 2012:

6:03 PM Changeset in git [9127cc]spielwiese by Hans Schoenemann <hannes@…>
add: basics for bigintmat
3:22 PM Ticket #420 (T_1 does not work correctly in a qring) closed by hannes
fixed: fixed by the new library sing.lib …

Apr 18, 2012:

8:30 PM Ticket #422 (please make license of minpoly.* clearer) created by brlink@…
Singular/minpoly.* have their own copyright header: […] but no …
1:37 PM Ticket #414 (Overflow in echoing large numbers from coefficient rings) closed by hannes
fixed: output routine is fixed, I hope that this but is only an output problem
1:26 PM Changeset in git [aa2bcca]spielwiese by Hans Schoenemann <hannes@…>
fix: #414: output of n in Z/2^m (from master)
11:57 AM Ticket #413 (Fix (a single) hardcoded 'g++' (in Singular 3-1-3-3)) closed by barakat
fixed: Martin fixed it already
11:50 AM Ticket #412 (vdim does not give a warning in case of internal int overflow) closed by barakat
duplicate
10:32 AM Ticket #421 (Reduce over the integers) created by boehm@…
ring r=integer,(x,y),dp; ideal I = 11x+5y; ideal J = 5x,5y; …

Apr 16, 2012:

3:17 PM Changeset in git [bee6ff]spielwiese by Hans Schoenemann <hannes@…>
fix: test not needed: GetLm sets p and r
3:02 PM Ticket #420 (T_1 does not work correctly in a qring) created by deviatov@…
T_1 from sing.lib does not work corectly in a qring: […] Should …
2:49 PM Ticket #418 (Is check for AR needed in omalloc configure?) closed by hannes
fixed: fixed: do not abort configure, if ar is not found This allows to …
12:13 PM Ticket #419 (NoetherNormal gives wrong answer in special cases) created by decker
LIB "algebra.lib"; ring R; noetherNormal(ideal(0)); [1]: _[1]=0 …

Apr 15, 2012:

4:25 AM Ticket #418 (Is check for AR needed in omalloc configure?) created by anonymous
See Sage ticket 7832 (sorry, it won't let me link to this) for the …

Apr 14, 2012:

1:39 PM Changeset in git [f7a4e9]spielwiese by Martin Lee <martinlee84@…>
chg: towards better EZGCD

Apr 13, 2012:

11:19 AM Changeset in git [a9a6dcb]spielwiese by Martin Lee <martinlee84@…>
chg: reduce overhead in gcd

Apr 11, 2012:

7:34 PM Changeset in git [1b2a52]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #97 from mmklee/factory_without_ntl fix: issues with building without NTL
7:12 PM Changeset in git [015711]spielwiese by Martin Lee <martinlee84@…>
fix: issues with building without NTL
4:56 PM Changeset in git [fcbfae]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #96 from mmklee/config fixing the BS after the previous merge of flint in SW removed config.h.in
4:53 PM Changeset in git [ea4f38]spielwiese by Martin Lee <martinlee84@…>
removed config.h.in
4:22 PM Changeset in git [e243418]spielwiese by Martin Lee <martinlee84@…>
chg: use convex dense compression in gcd
3:47 PM Changeset in git [16a0df]spielwiese by Martin Lee <martinlee84@…>
chg: added function to compute convex hull of support of two bivariate polynomials
3:46 PM Changeset in git [c723d80]spielwiese by Martin Lee <martinlee84@…>
chg: test divisibility of primitive part
3:15 PM Ticket #417 (Sheaf cohomology commands based on local duality are not correct for ...) created by decker
Here is an example: LIB "sheafcoh.lib"; ring R = 0,(s,t,x(0..3)),Dp; …
3:11 PM Changeset in git [4ec288]spielwiese by Oleksandr Motsak <motsak@…>
Merge pull request #94 from mmklee/swSingularFlint first support of flint in singular:SW TODO: improve the configure tests TODO: should flint be prefered over NTL by default? TODO: suppress linking to different versions of libgmp.so in the same time due to flint
3:04 PM Changeset in git [98adcd]spielwiese by Hans Schoenemann <hannes@…>
chg: handling of alias (from master)
Note: See TracTimeline for information about the timeline view.