CoCoA

22 Dec 2022

11:18 CoCoALib 0.50 hour (Bug #1719 (Closed): FactorINT has got worse)

Simpler case John Abbott

18 Dec 2022

22:24 CoCoALib 0.50 hour (Bug #1719 (Closed): FactorINT has got worse)

Mysterious John Abbott

16 Dec 2022

17:07 CoCoA-5 1.50 hour (Feature #1718 (Closed): FactorINT with time-out)

Some notes John Abbott

07:21 CoCoALib 3.00 hours (Support #1711 (Feedback): Development releases?)

Anna Maria Bigatti

14 Dec 2022

22:35 CoCoALib 0.10 hour (Support #1711 (Feedback): Development releases?)

Prototype website John Abbott

22:33 CoCoA-5 1.50 hour (Design #1697 (Closed): Specifying BOOST in configure)

Major update John Abbott

21:05 CoCoALib 0.75 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Almost done John Abbott

16:44 CoCoA-5 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Added test John Abbott

16:23 CoCoA-5 0.25 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Closing John Abbott

01 Dec 2022

12:17 CoCoA-5 0.50 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Found something dodgy John Abbott

11:51 CoCoA-5 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

More info John Abbott

11:45 CoCoA-5 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Relevant source John Abbott

30 Nov 2022

22:07 CoCoA-5 1.50 hour (Support #1393 (Feedback): GUI with Qt5)

Revised release script John Abbott

15:59 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Proposal John Abbott

22:02 CoCoALib 0.50 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)

Done! John Abbott

17:25 CoCoALib 0.20 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)

Check & close John Abbott

19:45 CoCoALib 0.50 hour (Support #1711 (Feedback): Development releases?)

Ideas John Abbott

17:13 CoCoALib 0.10 hour (Design #1716 (Closed): Qn: factor for BigInt)

Time limit? John Abbott

17:08 CoCoALib 0.50 hour (Design #1716 (Closed): Qn: factor for BigInt)

Current state John Abbott

15:57 CoCoA-5 0.20 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Who can help? John Abbott

29 Nov 2022

21:14 CoCoALib 0.50 hour (Design #1716 (Closed): Qn: factor for BigInt)

KISS? John Abbott

28 Nov 2022

21:56 CoCoALib 0.20 hour (Support #1711 (Feedback): Development releases?)

Comments John Abbott

21:53 CoCoA-5 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)

Oh joy! John Abbott