CoCoA

Testing

Bug #32: Elim(t, I)

Another problem

0.25

25 Oct 2013

Testing

Bug #279: Bug in Radical (actually a RingHom problem)

More problems

0.25

23 Oct 2013

Testing

Feature #40: Squarefree factorization - Alessio d'Ali`

Code has now been ported into CoCoALib

0.25

23 Oct 2013

Testing

Feature #409: Minimal syzygies (optimized implementation)

changed name from IsSpecial to IsInputPoly

0.50

16 Oct 2013

Testing

Bug #402: Problem with 64-bit BOOST on Linux (Werner)

Fix details

2.00

14 Oct 2013

Testing

Bug #402: Problem with 64-bit BOOST on Linux (Werner)

Werner says it seems to work

0.25

11 Sep 2013

Testing

Bug #389: problem loading library.H (parallel make -j4)

Fake progress

0.25

02 Aug 2013

Testing

Feature #381: Emacs User Interface: Easier binding for sending a line to cocoa-5

still problems with CUA

0.50

01 Aug 2013

Testing

Feature #193: BuiltinFunctions.C getting too long (2000 lines)

it works

0.25

01 Aug 2013

Testing

Feature #393: add Value::from(HPSeries)

it works

0.25

01 Aug 2013

Testing

Feature #393: add Value::from(HPSeries)

it works

0.25

01 Aug 2013

Testing

Feature #392: add Value::from(factorization<..>)

it works

0.25

01 Aug 2013

Testing

Feature #318: implement "indent" for modules

final touch: added parentheses

0.25

01 Aug 2013

Testing

Feature #237: port homog/homogenized for ideal to cocoa-5

it works

0.25

01 Aug 2013

Testing

Feature #393: add Value::from(HPSeries)

it works

0.25

24 Jul 2013

Testing

Bug #389: problem loading library.H (parallel make -j4)

it works

0.25

04 Jul 2013

Testing

Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib

More tidying

8.00

28 Jun 2013

Testing

Feature #380: Add Frobby functions to cocoa-5

Changed Frobby fn names

1.00

27 Jun 2013

Testing

Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib

Incorporated

12.00

19 Jun 2013

Testing

Design #376: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C

more checks and chek-in

0.25

03 Jun 2013

Testing

Feature #300: Add fault tolerant rational reconstruction to library

Closing

0.25

31 May 2013

Testing

Feature #298: Valgrind: keep CoCoALib at 0 memory leaks

Moving to 0.9954

0.10

31 May 2013

Testing

Bug #89: MachineInt or long as fn arg type for indices

Closing

0.15

31 May 2013

Testing

Feature #298: Valgrind: keep CoCoALib at 0 memory leaks

Clean bill of health

0.25

29 May 2013

Testing

Feature #144: Buchberger-Moeller: generic impl

Closing

0.25

29 May 2013

Testing

Feature #354: New function BinRepr (was BinExp, also known as Macaulay representation)

Closing

0.25

29 May 2013

Testing

Feature #219: myDeriv for RingDenseUPolyClean still missing

Close?

0.25

29 May 2013

Testing

Bug #119: CoCoA4io

Closing

0.25

28 May 2013

Testing

Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location

Rectifying status

0.10

28 May 2013

Testing

Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location

Closing

0.25

28 May 2013

Testing

Bug #355: Colon of zero ideal fails (zero-divisors)

now in feedback

0.50

28 May 2013

Testing

Feature #269: PPMonoids: check for exponent overflow in power function

Closing

0.25

28 May 2013

Testing

Feature #278: add CoeffVecWRT to cocoalib

Closing

6.50

28 May 2013

Testing

Feature #304: Module ordering and grading (and shifts)

fixed bug on shifts -- added test

1.50

27 May 2013

Testing

Feature #51: polynomial coefficient extraction w.r.t. variable

Closing

0.25

27 May 2013

Testing

Bug #135: Revise interface to SmallFpImpl & friends

Final touches

7.50

24 May 2013

Testing

Bug #355: Colon of zero ideal fails (zero-divisors)

testing for quotients -- amazed it worked ;-)

0.25

24 May 2013

Testing

Bug #344: basic_string::erase error in interpreter

Closing

0.10

24 May 2013

Testing

Bug #343: Interpreter SEGV

Improved robustness of SourceRegion

1.00

23 May 2013

Testing

Feature #236: Add homog (homogenized) for ideal

last test

0.50

22 May 2013

Testing

Support #353: Missing documentation and tests for myRecvTwinFloat

simple test in test-DenseUPolyRing1

1.00

21 May 2013

Testing

Feature #336: Mat(Module) should give error

seems all done

0.05

21 May 2013

Testing

Feature #336: Mat(Module) should give error

Seems fine

0.25

21 May 2013

Testing

Bug #280: EmacsUI: indentation is wrong with parentheses

No negative feedback

0.15

21 May 2013

Testing

Feature #8: source region

Design works OK for course on Alg Comp

0.25

20 May 2013

Testing

Bug #344: basic_string::erase error in interpreter

Changing state to feedback

0.25

07 May 2013

Testing

Bug #344: basic_string::erase error in interpreter

Annoying"minor" bug

0.25

24 Apr 2013

Testing

Bug #344: basic_string::erase error in interpreter

Credit where credit's due

0.10

09 Apr 2013

Testing

Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location

Multiple copies of BOOST?

0.25

08 Apr 2013

Testing

Feature #336: Mat(Module) should give error

tested, cvs-ed, public version

0.20

08 Apr 2013

Testing

Feature #273: Package for Polynomial Algebra Homomorphisms

Testing of Anna's hasty module impl

3.50

15 Mar 2013

Testing

Design #268: Exponent range (in power products)

Osnabrueck reports poorer performance

0.25

15 Mar 2013

Testing

Feature #269: PPMonoids: check for exponent overflow in power function

Implemented & checked in

2.00

27 Feb 2013

Testing

Bug #321: interpreter proposes no near misses for "bin"

Suggestions depend on arity

0.50

26 Feb 2013

Testing

Support #302: Compilation on M$Windows: Visual Studio

compile for 64bit

1.00

26 Feb 2013

Testing

Bug #118: unistd and call to access in Main.C

No problems have surfaced in 9 months

0.15

21 Feb 2013

Testing

Bug #34: CoCoAManual: obsolete entries in the manual

working on it

2.00

18 Feb 2013

Testing

Feature #283: Rational approximation

No problems have surfaced in 2 months

0.15

18 Feb 2013

Testing

Bug #102: Packages: should exported functions be automatically "Protect"ed?

Testing OK

0.50

18 Feb 2013

Testing

Feature #211: NBM: add SparsePolyRing as argument for ordering

No problems have surfaced in 7 months

0.50

18 Feb 2013

Testing

Feature #210: Normaliz: "double" cone for speed and safety

No problems have surfaced in 7 months

8.00

18 Feb 2013

Testing

Feature #224: Leading form

No problems have surfaced in 5 months

0.25

18 Feb 2013

Testing

Feature #244: Rings: default ctor & assignment

No problems have surfaced in 4 months

0.25

18 Feb 2013

Testing

Feature #221: Better RingElems

No problems have surfaced in 4 months

0.25

18 Feb 2013

Testing

Feature #261: Review the utility of RefRingElem

No problems have surfaced in 4 months

0.50

15 Feb 2013

Testing

Bug #178: IsHomog: should it throw an error when there is no grading?

ex-PolyRing1 fails

0.15

12 Feb 2013

Testing

Feature #304: Module ordering and grading (and shifts)

checking and reviving code about module orderings

1.00

11 Feb 2013

Testing

Support #302: Compilation on M$Windows: Visual Studio

1.00

11 Feb 2013

Testing

Feature #274: InputForm for output readable as input

renamed target version

0.25

11 Feb 2013

Testing

Feature #237: port homog/homogenized for ideal to cocoa-5

just testing: I had already done it..

0.50

11 Feb 2013

Testing

Support #302: Compilation on M$Windows: Visual Studio

1.00

11 Feb 2013

Testing

Support #302: Compilation on M$Windows: Visual Studio

1.00

11 Feb 2013

Testing

Bug #226: HilbertBasis segv

the fix done found with valgrind seems to solve all the problems

0.25

11 Feb 2013

Testing

Support #302: Compilation on M$Windows: Visual Studio

3.00

06 Feb 2013

Testing

Support #266: Compilation on M$Windows: cygwin

Testing in cygwin again

1.00

28 Jan 2013

Testing

Feature #298: Valgrind: keep CoCoALib at 0 memory leaks

revive valgrind habit

0.50

25 Jan 2013

Testing

Bug #226: HilbertBasis segv

another hidden bug

1.00

25 Jan 2013

Testing

Design #297: Modules design: brainstorming

first steps: data types and operations on ModuleElem

0.50

11 Jan 2013

Testing

Feature #51: polynomial coefficient extraction w.r.t. variable

0.50

12 Dec 2012

Testing

Feature #283: Rational approximation

Added tests

1.50

11 Dec 2012

Testing

Feature #283: Rational approximation

Changed name

1.00

28 Nov 2012

Testing

Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)

Portability check

0.30

20 Oct 2012

Testing

Design #268: Exponent range (in power products)

Benchmarks

1.00

18 Oct 2012

Testing

Support #266: Compilation on M$Windows: cygwin

0.50

18 Oct 2012

Testing

Support #266: Compilation on M$Windows: cygwin

1.00

11 Oct 2012

Testing

Support #262: Play with GIT

Reading documentation

0.30

10 Oct 2012

Testing

Support #262: Play with GIT

0.30

08 Oct 2012

Testing

Feature #253: W.Bruns's wish list

Satsified wish (7)

0.20

08 Oct 2012

Testing

Support #234: Update/Improve geobucket documentation

DEBUG2

0.10

04 Oct 2012

Testing

Feature #247: Use gmp default location if possible

Testing and cleaning

4.00

02 Oct 2012

Testing

Bug #249: BuiltIn Normaliz functions not available in CoCoA5Interpreter

testing

0.50

01 Oct 2012

Testing

Feature #241: AreMonomials

0.25

01 Oct 2012

Testing

Feature #247: Use gmp default location if possible

Portability check

0.10

01 Oct 2012

Testing

Feature #214: gmp header location assumption in configure script

Awaiting confirmation

0.10

01 Oct 2012

Testing

Feature #214: gmp header location assumption in configure script

Christof has written a new script

0.10

01 Oct 2012

Testing

Feature #214: gmp header location assumption in configure script

Christof has written a new script

0.10

01 Oct 2012

Testing

Feature #214: gmp header location assumption in configure script

0.25

01 Oct 2012

Testing

Support #240: GUI compilation: GMP is not naturally thread-safe

Awaiting confirmation

0.20

03 Sep 2012

Testing

Bug #217: Makedependencies of CoCoA-5 fails if BOOST is absent

Seems OK now

0.25

20 Jul 2012

Testing

Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

problems...

0.50

19 Jul 2012

Testing

Bug #207: BuiltIn Normaliz functions not available in C5 gui

Works (almost)

0.50

16 Jul 2012

Testing

Bug #207: BuiltIn Normaliz functions not available in C5 gui

checked and tested

1.00

10 Jul 2012

Testing

Feature #206: Matrix equation solving: LinKer

test for cocoalib, added to cocoa-5, test for cocoa-5, release 5.0.3

2.00

04 Jul 2012

Testing

Bug #98: RealRoots should use IsRational

Seems fine.

0.10

04 Jul 2012

Testing

Bug #201: segmentation fault with function defined in package ("PrintHGIndices"): First and Last

fixed also First and Last for [] and added test

0.50

26 Jun 2012

Testing

Feature #40: Squarefree factorization - Alessio d'Ali`

Weekly meeting 2012-06-26

4.00

22 Jun 2012

Testing

Bug #192: indent prints strings without quotes

printing strings with escaped elements

0.25

20 Jun 2012

Testing

Slug #191: Slow lex gbasis

Now it's OK

0.30

20 Jun 2012

Testing

Slug #191: Slow lex gbasis

thinking, testing..

0.20

18 Jun 2012

Testing

Feature #157: Separate ThreadsafeCounter from symbol.C

dependance on boost?

0.50

14 Jun 2012

Testing

Bug #186: LCM(0,x)

Added test

2.00

08 Jun 2012

Testing

Bug #159: Multiplicity sometimes wrong

added test, fixed manual, cvs-ed

0.50

08 Jun 2012

Testing

Bug #162: RegularityIndex <= 0

added test, cvs-ed

0.50

30 May 2012

Testing

Bug #163: RealRootsApprox bombs

No further problems

0.25

28 May 2012

Testing

Feature #157: Separate ThreadsafeCounter from symbol.C

How?

0.20

28 May 2012

Testing

Support #160: Cleanup doc for rings

final discussion

0.50

24 May 2012

Testing

Bug #137: JAA does not like the name IndetInd

last check

0.25

20 May 2012

Testing

Bug #163: RealRootsApprox bombs

Added new C5 test specially for RealRoot

0.50

16 May 2012

Testing

Support #160: Cleanup doc for rings

checked in and posted

1.00

11 May 2012

Testing

Bug #155: gcd: multivariate over non-prime finite field

added test in cocoalib: test-GOperations2.C

0.60

10 May 2012

Testing

Bug #155: gcd: multivariate over non-prime finite field

added test in cocoa-5

0.30

16 Apr 2012

Testing

Feature #40: Squarefree factorization - Alessio d'Ali`

Timings

7.00

02 Apr 2012

Testing

Bug #58: MSVC10 - more things and overhead

skype cooperation with Bruno Simoes and testing

1.00

02 Apr 2012

Testing

Bug #88: Makefile problem with GUI on linux

apparently the bug has gone.... maybe just a "make veryclean" ws needed???

1.00

02 Apr 2012

Testing

Feature #116: ordering matrices with rational coefficients

added test-MatrixForOrdering1.C, cvsed, tested on linux

1.00

01 Mar 2012

Testing

Slug #96: sort is too slow

Discovery and registration of the slug

0.50

14 Feb 2012

Testing

Feature #90: Make the new fn CoefficientsWRT available in C5

added (small) test-PPMonoidHom1.C for CoCoALib

0.50

14 Feb 2012

Testing

Feature #90: Make the new fn CoefficientsWRT available in C5

added tests (for cocoa-5 only)

1.00

08 Feb 2012

Testing

Feature #28: rename RingQ, RingZ --> RingQQ, RingZZ

cvs and test on linux

2.00

19 Jan 2012

Testing

Feature #77: Porting package "primary.cpkg" to cocoa-5

activated automatic testing of the package

0.50

23 Dec 2011

Testing

Feature #40: Squarefree factorization - Alessio d'Ali`

0.00

05 Dec 2011

Testing

Bug #36: Saturation

checked-in and added test

1.00

09 Nov 2011

Testing

Feature #18: Printing matrices: I/O unified style for CoCoA-5?

changed test outputs

0.30

09 Nov 2011