Timeline
Dec 13, 2013:
- 7:33 PM Ticket #542 (ringlist-driven definition of ring fails) created by
- Hello Singular-team, I am using Singular's functionality to define a …
- 4:34 PM Ticket #259 (Bug with genus normal.lib) reopened by
- Hm, your are cheating a bit, as I will explain. I have downloaded the …
- 4:10 PM Changeset in git [3f0c57]spielwiese by
- Added missing libraries to singular-libs
- 4:02 PM Ticket #541 (bug in interred over integers? (segfault)) created by
- Hello, we are observing a segfault in 'interred()' over integers. …
- 1:42 PM Changeset in git [7464b7c]spielwiese by
- fixes wrong operation counter in sba
- 11:23 AM Ticket #540 (issue in quotient() over integers?) created by
- Hello, it seems that over integers there is an open problem in …
- 11:10 AM Changeset in git [649c66]spielwiese by
- update version number for debian
- 10:47 AM Changeset in git [55233be]spielwiese by
- updates sba tests for newly implemented variant
- 10:03 AM Changeset in git [c4279b]spielwiese by
- fixes ring changes for degree-index-order in sba
Dec 12, 2013:
- 3:50 PM Changeset in git [d11734]spielwiese by
- adds new ring order conversion in sba: usage of degree - index - ringOrder now possible
- 1:58 PM Changeset in git [53beb5]spielwiese by
- tests chenged because ASSUME was introduced
- 1:55 PM Changeset in git [a973339]spielwiese by
- chg: option IDLIFT to speed up liftstd (2 args)
- 1:43 PM Changeset in git [cc6544]spielwiese by
- improves sba's syzygy handling for schreyer ordering
Dec 11, 2013:
- 6:22 PM Changeset in git [1eba39]spielwiese by
- partly fixes memory generation for degree-index-lt order
- 5:51 PM Ticket #539 (clean ring mapping code in Primdec::zeroRad) created by
- To get clean ring code in Primdec::zeroRad() (no hard-coding of …
- 5:45 PM Changeset in git [9e8ae12]spielwiese by
- chg: new version of tropical.lib by thomas
- 3:42 PM Ticket #259 (Bug with genus normal.lib) closed by
- fixed: fixed with 224b2e921d6c7b67544a659057dc7a1821e104b5 (master) …
- 3:40 PM Ticket #212 (wrong computation of genus / error when calling genus) closed by
- fixed: fixed with 224b2e921d6c7b67544a659057dc7a1821e104b5 (master) …
- 3:10 PM Changeset in git [f1babf]spielwiese by
- add: man page for singular
- 1:30 PM Changeset in git [dc2e7d5]spielwiese by
- fix: genus (tr.259) Conflicts: Tst/Short/bug_532_s.res.gz.uu
Dec 10, 2013:
- 6:58 PM Changeset in git [88c726]spielwiese by
- new: initialReduction(ideal I)
- 6:24 PM Changeset in git [3bc27a3]spielwiese by
- version 4-0-0, Dec 2013
- 3:47 PM Changeset in git [2b31ed]spielwiese by
- chg: add Singular/singularsurf to dist files
- 3:27 PM Changeset in git [4996b12]spielwiese by
- chg: grammar for ASSUME
- 3:26 PM Changeset in git [ebe753]spielwiese by
- doc: ASSUME
- 2:13 PM Changeset in git [744d97d]spielwiese by
- Ignore gcov generated files
- 12:37 PM Changeset in git [6b5a71]spielwiese by
- introduce ASSUME(<level>,<int expr>) Conflicts: Singular/ipshell.h
Dec 9, 2013:
- 6:05 PM Changeset in git [ffcd1f]spielwiese by
- fix: singularsurf is in Singular/singularsurf
- 3:44 PM Changeset in git [1d2a85]spielwiese by
- add: singularsurf to scripts
- 3:24 PM Changeset in git [f62abb]spielwiese by
- new version of grobcov.lib
- 3:14 PM Changeset in git [405407]spielwiese by
- fix: libcoeffs tests and gcc 4.8: inline routines exist several times (cannot test for equality of procedure variables)
- 2:00 PM Changeset in git [c7f9ce]spielwiese by
- fix: omalloc tests and gcc 4.8: backtrace requires -g
- 11:04 AM Changeset in git [317d81f]spielwiese by
- missing test files for tr.538
Dec 7, 2013:
- 12:07 PM Changeset in git [4a7717]spielwiese by
- Merge pull request #445 from surface-smoothers/squashed.fix.quotientZ.bug.in.primdecint.lib fixed primdecint::quotientZ bug (538)
Dec 6, 2013:
- 7:01 PM Ticket #259 (Bug with genus normal.lib) reopened by
- Replying to boehm: > Should have been fixed by Gerhard, …
- 6:00 PM Changeset in git [40f038]spielwiese by
- fixed primdecint::quotientZ bug (538)
- 5:08 PM Changeset in git [f1a309f]spielwiese by
- add: test for tr.532 - add missing files
- 4:57 PM Changeset in git [f9fc81]spielwiese by
- Merge pull request #444 from surface-smoothers/fix.normal.callbug.in.genus Fix.normal.callbug.in.genus
- 4:32 PM Changeset in git [bdda288]spielwiese by
- fix: option(warn) stuff: variable names
- 4:28 PM Changeset in git [b38bc9]spielwiese by
- new grobcov.lib
- 4:05 PM Changeset in git [d5856f]spielwiese by
- fixes & improves syzygy handling in sba
- 3:26 PM Changeset in git [9e8a6c3]spielwiese by
- modified comments
- 3:24 PM Changeset in git [3cbcea]spielwiese by
- removed modified comments
- 3:22 PM Changeset in git [9ebd82]spielwiese by
- removed unnesessary changes
- 3:20 PM Changeset in git [e1cda9]spielwiese by
- fix for bug 532
- 2:59 PM Changeset in git [f5d2647]spielwiese by
- fix: remove some LIBSINGULAR stuff, activate option(warn) for options
- 1:01 PM Changeset in git [4c1341]spielwiese by
- removed empty line
- 12:41 PM Changeset in git [b960f1]spielwiese by
- fixed syntax error
- 12:39 PM Changeset in git [42f2ad]spielwiese by
- Merge pull request #440 from mschulze/spielwiese cleaned up debian/redhat files
- 11:15 AM Changeset in git [cda3bf]spielwiese by
- fixed accidental option modifications in primdec.lib
- 9:11 AM Changeset in git [cda0b0]spielwiese by
- adds sorting of newly added syzygies in sba
Dec 5, 2013:
- 10:56 PM Changeset in git [0c15dc]spielwiese by
- adds syzygy in sba if during short s-poly generation p=0
- 8:41 PM Changeset in git [32f7e5]spielwiese by
- improves criteria checks in sba, big speedup for Arris variant
- 6:41 PM Changeset in git [7f974f]spielwiese by
- Merge pull request #442 from steenpass/sem_cores_sw fix: initialize sem_cores correctly
- 6:15 PM Changeset in git [808192]spielwiese by
- fix: initialize sem_cores correctly (cherry picked from commit fc412a66edca885f4769640fcfb4639995b20785) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 5:58 PM Changeset in git [7258bd]spielwiese by
- fix: more charstr stuff (tr.237): Z/(n^m)
- 4:55 PM Changeset in git [867a0d]spielwiese by
- add: tests for tr.237 (charstr)
- 4:35 PM Ticket #237 (charstr(basering), string(basering) for coefficien ring) closed by
- fixed: fixed in master and spielwiese
- 4:29 PM Changeset in git [0acf3e]spielwiese by
- fix: more charstr stuff (tr.237)
- 3:34 PM Changeset in git [45cc512]spielwiese by
- chg: rCharstr is now a wrapper for r->cf->cfCoeffString fixes also: charstr for integer,2,3
- 10:54 AM Changeset in git [6cce775]spielwiese by
- chg: error message for coeff: integer + parameter
- 10:35 AM Changeset in git [6c8ba3]spielwiese by
- cleaned up debian/redhat files
- 9:34 AM Changeset in git [843b28]spielwiese by
- fix: doc for tasks.lib/resources.lib/parallel.lib Conflicts: Singular/LIB/oldpolymake.lib
Dec 4, 2013:
- 8:50 PM Changeset in git [b7fbc4]spielwiese by
- Merge pull request #439 from steenpass/parallel_sw new parallel.lib
- 3:35 PM Changeset in git [2e553a]spielwiese by
- removed: more outdated README/INSTALL stuff
- 2:35 PM Changeset in git [fe6143]spielwiese by
- removed: outdated README/INSTALL stuff
- 2:22 PM Changeset in git [c5c7aa]spielwiese by
- add: include resources.lib and tasks.lib in experimental libraries (cherry picked from commit 3e6dbdda52762f276591ce6276e87b89d84d327e) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/singular-libs
- 10:22 AM Changeset in git [09118ce]spielwiese by
- fix BS: include singular.spec in dist file
Dec 3, 2013:
- 10:03 PM Changeset in git [88bb88]spielwiese by
- adds new TOP sba to tests
- 8:31 PM Changeset in git [e702ac2]spielwiese by
- fixes problems with TOP sba computations
- 6:55 PM Changeset in git [170f07]spielwiese by
- fix: do not redefine Id in primeList() (cherry picked from commit 27247503cc101d2cbfa1bca0781af8ede3311120) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 6:21 PM Changeset in git [4fb2ef5]spielwiese by
- chg: use new parallel.lib in other libraries (cherry picked from commit 2ab9e8c38b4fb4d86db2400a6f74d2c5e594d685) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/LIB/modnormal.lib Singular/LIB/modstd.lib Singular/LIB/symodstd.lib
- 6:16 PM Changeset in git [d9adbe]spielwiese by
- chg: change line breaks to unix format in symodstd.lib Nothing else is changed. (cherry picked from commit 4f912c9554a38e6cbb1bd3b5234e335eb985d6cb) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/LIB/symodstd.lib
- 6:01 PM Changeset in git [0635bc4]spielwiese by
- fix: typo
- 5:46 PM Changeset in git [41db4b]spielwiese by
- doc: more index entries for linear algebra
- 5:28 PM Changeset in git [8c1285]spielwiese by
- chg: do not initialize semaphore 0 in kernel (cherry picked from commit 8f25d6cb199cf806699eae7bccad6164df0ca21f) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/tesths.cc
- 5:21 PM Changeset in git [b3eeb2]spielwiese by
- some adaption to 4-0-0
- 2:54 PM Changeset in git [0d845f7]spielwiese by
- chg: add/update tests for resources.lib, tasks.lib, and parallel.lib (cherry picked from commit 2d84bafbea754424246bd96a138b4e45710589df) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 1:55 PM Changeset in git [dc8c23]spielwiese by
- chg: base parallel.lib on tasks.lib (cherry picked from commit 0cbbf3c2c18164653d67edfd8628967b92fa77cc) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/LIB/parallel.lib
- 1:55 PM Changeset in git [857ee3]spielwiese by
- add: resources.lib, tasks.lib (cherry picked from commit 1b24bf8a8157af4cce127446caff60fe84edd35f) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 12:03 PM Changeset in git [e21018]spielwiese by
- better message text in checklibs (texinfo)
Dec 2, 2013:
- 5:11 PM Changeset in git [9c07fe]spielwiese by
- fixes memory leaks for signatures
- 4:20 PM Changeset in git [11f939]spielwiese by
- fixes double memory deletion
- 3:29 PM Changeset in git [edb60f]spielwiese by
- new: reduceInitially(ideal I, const number p, poly g)
- 2:40 PM Changeset in git [528fa78]spielwiese by
- new: reduceInitially(ideal I, const number p)
- 11:58 AM Changeset in git [8fcfae]spielwiese by
- rewrites rewrite criteria in sba
Dec 1, 2013:
- 8:00 PM Changeset in git [7a4e77]spielwiese by
- new: reduceInitially(poly &h, const poly g)
- 6:20 PM Changeset in git [fa167e]spielwiese by
- new: pReduce(poly g, const number p)
Nov 30, 2013:
- 5:58 PM Changeset in git [a7b37d]spielwiese by
- 1. some more memory leaks fixed 2. preparation for buchber product criterion check
Nov 29, 2013:
- 7:32 PM Changeset in git [1179b5]spielwiese by
- fixes small memory leak in test of sig-safeness in reduction
- 7:31 PM Changeset in git [2b691c]spielwiese by
- fixes overwrite procedure for generation of new syzygies
- 4:48 PM Changeset in git [d34978]spielwiese by
- chg: procdir path for debian
- 3:48 PM Changeset in git [493cf3d]spielwiese by
- fixes signature computation in TOP for sba
- 3:41 PM Changeset in git [97c955]spielwiese by
- fix: ring dep. stuff in newstruct: send/receive via links (ssi:6) from master
- 9:41 AM Changeset in git [be300e]spielwiese by
- adjusts documentation for sba according to last commit (adds TOP order)
- 9:17 AM Changeset in git [f397dc]spielwiese by
- adds TOP(term over position) module order in sba
Nov 28, 2013:
- 8:16 PM Changeset in git [f7f084]spielwiese by
- changes incremental flag to sbaOrder, no longer BOOLEAN => preparation in order to introduce more module orders for sba
- 5:16 PM Changeset in git [faa12b1]spielwiese by
- adjusts tests again due to previous commit
- 5:14 PM Changeset in git [6d77472]spielwiese by
- removes debug printing, improves options
- 4:55 PM Changeset in git [f3e25c]spielwiese by
- adjusts tests for sba due to implementing better tail reduction
- 3:43 PM Changeset in git [f1cef21]spielwiese by
- fixes sba tail reduction => enabled by default => speed-up
- 1:30 PM Changeset in git [c42a9f]spielwiese by
- Merge pull request #435 from steenpass/waitpid_sw chg: do another waitpid() after nanosleep() succeeded
- 11:57 AM Changeset in git [c7bc5e]spielwiese by
- fix: return NULL for non-bb-types (op2: 1st OR 2nd op is of bb type)
- 11:10 AM Ticket #538 (primdec::quotientZ( I, J ) incorrect for J = ideal( 0 )) created by
- (I:J) for J zero ideal is (1), but quotientZ() says it is 0: […] …
- 9:09 AM Changeset in git [cfe30a]spielwiese by
- chg: do another waitpid() after nanosleep() succeeded (cherry picked from commit 9d9a7faa6bb7522c1db8caabc4c47c0aa0840caf) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 8:17 AM Changeset in git [fbc7cb]spielwiese by
- moves sba tail reduction stuff to kstd2
Nov 27, 2013:
- 7:41 PM Ticket #536 (Links to cygwins setup.exe have to be updated) closed by
- fixed: Thank you for reporting this.
- 7:03 PM Changeset in git [54e01d]spielwiese by
- Removed temporary files
- 6:43 PM Changeset in git [a529d3d]spielwiese by
- chg: singularsurf/surf/display instead of gtk-surf
- 5:42 PM Changeset in git [6b3f5d]spielwiese by
- Merge pull request #433 from steenpass/slClose_sw chg: defer shutdown in slClose()
- 4:35 PM Changeset in git [6b288b]spielwiese by
- chg: defer shutdown in slClose() (cherry picked from commit 96d98ec5e074988d6acae83de7646fc65aa7382b) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/silink.cc
- 2:47 PM Changeset in git [d3063fd]spielwiese by
- fix: wait may be undefined
- 2:45 PM Changeset in git [f3b9c82]spielwiese by
- Merge pull request #431 from steenpass/nanosleep_sw chg: restart nanosleep when interrupted by signal
- 2:34 PM Changeset in git [c6d3fc4]spielwiese by
- chg: announce Primdec::sep
- 1:53 PM Changeset in git [d9c46b]spielwiese by
- chg: restart nanosleep when interrupted by signal (cherry picked from commit f9efe23dee0924e650e1aefea029b4add8fcc7e9) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 12:28 PM Changeset in git [aee346d]spielwiese by
- chg: debug message: also for proc outside of libs
Nov 26, 2013:
- 6:47 PM Changeset in git [42d464]spielwiese by
- documenation of divisor.lib
- 5:26 PM Ticket #537 (Windows 64 Bit version) created by
- Cygwin is now available in an x86 and an x86_64 version. Therefore it …
- 5:25 PM Ticket #536 (Links to cygwins setup.exe have to be updated) created by
- Cygwin is now available in an x86 and an x86_64 version. Therefore …
- 4:51 PM Changeset in git [c91ffe3]spielwiese by
- fix for deep sba tail reduction
- 2:43 PM Changeset in git [5b5409b]spielwiese by
- flint stuff: move optional parts to the end in coeffs
- 2:09 PM Changeset in git [98e5882]spielwiese by
- fix: gcc optimizer bug: need local number variable
Nov 25, 2013:
- 4:57 PM Changeset in git [576f5b]spielwiese by
- workin sba tail reduction (disabled by default)
- 4:49 PM Changeset in git [dc4782]spielwiese by
- chg: factory/libfac is not optional, removing HAVE_FACTORY/HAVE_LIBFAC
- 4:05 PM Changeset in git [7bb7da5]spielwiese by
- chg: r_IsRingVar (extensions may not be singular rings, but uuse coeffs interface)
- 11:13 AM Changeset in git [0615d9]spielwiese by
- chg: use imagemagick instead of xv for display from master
- 10:06 AM Ticket #535 (kerenel) closed by
- need more information: I cannot reproduced it: please provide an example. And: kernel was …
- 9:15 AM Changeset in git [b085fba]spielwiese by
- adds experimental sba tailred (disabled by default)
Nov 24, 2013:
- 7:31 PM Ticket #535 (kerenel) created by
- I want to compute the kernel of a ring of homomorphism . I could not …
Nov 22, 2013:
- 5:41 PM Changeset in git [8275a9]spielwiese by
- chg: trying up oldpolymake.lib - renamed procedures that conflicted with procedures in polymake.so - fixed remaining mistakes in library due to bigintmats where previously only intmats were expected - renamed it back to polymake.lib the rename to oldpolymake.lib only happened because initially it was planned to call the polymake kernel interface polymake.lib, since it is easier for the users to not distinguish between interpreter libraries and shared objects and due to a misconception that polymake.lib was a pure interface to polymake. Since both proved to be wrong, I decided to undo the name change.
- 11:58 AM Changeset in git [40971d]spielwiese by
- chg: simplified npNegM
- 9:56 AM Changeset in git [f59aaa]spielwiese by
- adds new comparison checks in sba: counts also number of steps during the interreduction process of incremental sba variants
Nov 21, 2013:
- 8:35 PM Changeset in git [fc34c4]spielwiese by
- Merge pull request #428 from jankoboehm/spielwiese Fix for Cygwin: cast to pointer from integer of different size
- 6:42 PM Changeset in git [15b211]spielwiese by
- 1. adds operation counting in sba 2. enables partial tailred for incremental sba
- 4:33 PM Changeset in git [fd1101]spielwiese by
- Problems solved. It remains to test it more and to optimize it
- 3:03 PM Changeset in git [e8cd08]spielwiese by
- Fix for Cygwin: cast to pointer from integer of different size
- 1:21 PM Changeset in git [a2f79c]spielwiese by
- fix: compiler warning
- 12:07 PM Changeset in git [78aaec]spielwiese by
- fix: assign of derived newstructs
- 11:15 AM Changeset in git [0de0509]spielwiese by
- chg: better error check and debug stuff for newstruct/blackbox
Nov 20, 2013:
- 4:54 PM Changeset in git [a9c298]spielwiese by
- format stuff
- 4:35 PM Changeset in git [9aa61a]spielwiese by
- Merge pull request #427 from steenpass/sigkill_sw chg: adjust timeouts in ssiClose()
- 4:28 PM Changeset in git [8265677]spielwiese by
- chg: adjust timeouts in ssiClose() (cherry picked from commit be2fdf57a6b3208d836335e6863aaa10834d6629) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 4:07 PM Changeset in git [e212bd]spielwiese by
- First Version: implemented some a new function that computes hilb, but there are some errors
- 3:57 PM Changeset in git [e40145]spielwiese by
- fix: assign expr_list to list elements: l[1]=1:2;l[1]=l[1],2;
- 12:44 PM Changeset in git [3fd3f3]spielwiese by
- more tests for tr 501 (std/syz for modules over qring with ring-coeff)
- 12:37 PM Ticket #501 (bug in syz for ideal in quotient ring) closed by
- fixed: module std over ring coeffs fixed
- 10:19 AM Changeset in git [448b65]spielwiese by
- chg: normalize extgcd to lc=1
Nov 19, 2013:
- 6:39 PM Changeset in git [601105]spielwiese by
- chg: use syzComp in initenterstrongPairs
Nov 18, 2013:
- 7:03 PM Changeset in git [9d864a]spielwiese by
- fix: run mod_init in the package of the library
- 11:55 AM Changeset in git [5a097e]spielwiese by
- chg: allow digits in package names (during auto-load)
- 11:21 AM Ticket #534 (Implementation of the "Sums of Powers Algorithm" for the efficient and ...) created by
- The Sums of Powers Algorithm (SPA) is the only efficient and …
Nov 15, 2013:
- 6:10 PM Changeset in git [96e5c4]spielwiese by
- Fix config-checks: SING_CHECK_POLYMAKE depends on SING_CHECK_GFANLIB
- 5:14 PM Changeset in git [989d6b]spielwiese by
- Minor fixes + cleanup
- 5:13 PM Changeset in git [bbeddf]spielwiese by
- Fixed BS: gfanlib/cddlib checking/building/embedding fix: cddlib configure checks add: static building-in fix: return code for _mod_init functions
- 5:09 PM Changeset in git [1684c3]spielwiese by
- Fix BS to use python-config fix: more default python base-names add: extra python compiler flags
- 4:45 PM Changeset in git [c6f0451]spielwiese by
- Ignore build files in source directory
- 4:06 PM Changeset in git [69d7df]spielwiese by
- fix: handling of potential ring-dep objects (def,list) in newstruct
- 3:11 PM Ticket #501 (bug in syz for ideal in quotient ring) reopened by
- the simple example works now, but the little bit harder not: […]
- 11:51 AM Changeset in git [3625cb]spielwiese by
- pfister: modstd over algebraic extension fields
Nov 14, 2013:
- 11:34 PM Changeset in git [2f1fda5]spielwiese by
- Updated sba test due to Ederc's update
- 7:57 PM Changeset in git [805db88]spielwiese by
- Avoid "if ((P)) " since clang treats such statements specially
- 6:25 PM Changeset in git [b5f27dd]spielwiese by
- Fix BS: missing rlimit.h in the distro
- 5:49 PM Changeset in git [7cb76d]spielwiese by
- Adaptation to FLINT interface changes
- 4:12 PM Changeset in git [9bee53]spielwiese by
- fix: wrong comment on errors in n_Div for Z
- 4:11 PM Changeset in git [7395dd]spielwiese by
- fix: missing -lcddgmp flag when linking libgfan.so
- 12:55 AM Changeset in git [4b5171]spielwiese by
- Fix compiler error: "friend declaration specifying a default argument must be a definition" in gfanlib/gfanlib_polyhedralfan.h friend PolyhedralFan refinement(const PolyhedralFan &a, const PolyhedralFan &b, int cutOffDimension=-1, bool allowASingleConeOfCutO... ^
Nov 13, 2013:
- 7:25 PM Changeset in git [6416f83]spielwiese by
- fix: newstruct, '.', etc. from master
- 6:52 PM Changeset in git [b207eb]spielwiese by
- chg: tests changed (newstruct stuff)
- 4:48 PM Changeset in git [39d427]spielwiese by
- chg: allow l[i].j from master
- 3:47 PM Changeset in git [0e2f8c]spielwiese by
- fix: extgcd(x,x) fails with NTL: try without
- 10:42 AM Changeset in git [f9d20d7]spielwiese by
- adds debug information on number of top s-reductions in sba
- 10:31 AM Changeset in git [867d59]spielwiese by
- chg: format of error message
- 10:26 AM Changeset in git [dc0968a]spielwiese by
- add: better error message (ring from list)
Note: See TracTimeline
for information about the timeline view.
