CoCoA » CoCoALib

29 Jan 2021

20:19 0.10 hour (Design #1572 (Resolved): Use noexcept)

Progress John Abbott

20:16 0.10 hour (Design #1511 (Closed): Use C++14 constexpr)

Progress chart John Abbott

20:12 1.00 hour (Feature #152 (Closed): Replace bool3 by tribool)

Cleaned John Abbott

15:26 2.00 hours (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))

Anna Maria Bigatti

11:26 0.10 hour (Design #1563 (Closed): BigRat: ctor from machine int)

John Abbott

10:00 0.10 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

I thought so... John Abbott

09:56 0.40 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Uh oh! John Abbott

09:31 0.75 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Test cases John Abbott

28 Jan 2021

21:37 1.50 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Think I've fixed it! John Abbott

20:35 0.20 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Clue city! John Abbott

19:48 0.20 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

MantissaAndExponent10 John Abbott

19:25 0.20 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Weird John Abbott

19:17 0.10 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Bad exp John Abbott

19:13 0.50 hour (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Ouch! John Abbott

26 Jan 2021

13:47 0.40 hour (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Impromptu testing John Abbott

22 Jan 2021

20:44 1.50 hour (Feature #152 (Closed): Replace bool3 by tribool)

Updated John Abbott

17:15 0.40 hour (Feature #152 (Closed): Replace bool3 by tribool)

Not so sure John Abbott

16:22 0.10 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))

Mod p is quick John Abbott

15:05 1.50 hour (Bug #1565 (Closed): IsInRadical: gives "weird" error)

Avoids duplicate computations John Abbott

10:34 0.20 hour (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))

Anna Maria Bigatti

19 Jan 2021

14:03 0.50 hour (Bug #1565 (Closed): IsInRadical: gives "weird" error)

Seems OK now John Abbott

13:27 0.20 hour (Bug #1565 (Closed): IsInRadical: gives "weird" error)

Some notes John Abbott

15 Jan 2021

21:15 0.20 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)

Dodgy code? John Abbott

21:07 0.10 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)

Copied from issue 122 John Abbott

21:09 0.10 hour (Feature #122 (Closed): Porting "LinKer")

Duplicate John Abbott

09:18 0.20 hour (Feature #122 (Closed): Porting "LinKer")

What is the difference... John Abbott

18:01 0.25 hour (Support #1265 (Closed): Unregistered TXT files in doc)

Progress chart John Abbott

17:55 0.50 hour (Design #1563 (Closed): BigRat: ctor from machine int)

Updated John Abbott

17:08 0.50 hour (Design #1563 (Closed): BigRat: ctor from machine int)

Impl John Abbott

17:05 0.15 hour (Design #1563 (Closed): BigRat: ctor from machine int)

Agreed John Abbott

16:18 0.30 hour (Design #1563 (Closed): BigRat: ctor from machine int)

Some notes John Abbott

17:13 0.10 hour (Design #1180 (Closed): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg))

Update John Abbott

10:02 0.20 hour (Feature #1559 (In Progress): Default ctor for rings)

Some notes John Abbott

14 Jan 2021

14:31 0.20 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)

LinKerZZ John Abbott

14:27 0.10 hour (Feature #122 (Closed): Porting "LinKer")

Status? John Abbott

12 Jan 2021

14:32 1.00 hour (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Uses CPU time John Abbott

08 Jan 2021

18:46 0.30 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Better now John Abbott

09:48 0.75 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

An idea John Abbott

18:11 2.00 hours (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Some progress John Abbott

16:11 0.20 hour (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Wondering... John Abbott

10:07 0.25 hour (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Speed check John Abbott

13:03 0.75 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Added tests John Abbott

07 Jan 2021

20:54 0.20 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Called from John Abbott

20:42 0.20 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

More checks John Abbott

20:19 0.25 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

No test case? John Abbott

20:26 0.25 hour (Support #1555 (Closed): Software licence)

Suggestion John Abbott

20:04 0.75 hour (Design #855 (Closed): Copyright and authorship?)

cocoalib mostly done John Abbott

20:02 1.50 hour (Slug #1557 (Closed): Reading list of rationals is too slow)

Found a bug John Abbott

06 Jan 2021

11:40 0.25 hour (Slug #1557 (Closed): Reading list of rationals is too slow)

StackOverflow John Abbott

11:32 1.00 hour (Slug #1557 (Closed): Reading list of rationals is too slow)

More notes John Abbott

05 Jan 2021

21:55 0.20 hour (Slug #1557 (Closed): Reading list of rationals is too slow)

Profiler John Abbott