CoCoA

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