CoCoA » CoCoALib

18 Feb 2021

17:21 2.50 hours (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Revised John Abbott

17 Feb 2021

20:33 0.50 hour (Design #1558 (Closed): CpuTimeLimit: more frequent clock checks)

Speedtest John Abbott

11:16 0.40 hour (Design #1538 (Closed): RingElem from string (ReadExpr))

Code review John Abbott

11:06 0.20 hour (Design #1547 (Closed): Require decimal mode for ostream?)

Conclusion John Abbott

10:27 0.30 hour (Design #1547 (Closed): Require decimal mode for ostream?)

Mostly done John Abbott

10:09 0.10 hour (Design #1547 (Closed): Require decimal mode for ostream?)

Some notes John Abbott

11:02 0.10 hour (Design #1529 (Closed): INPUT questions)

Closing John Abbott

11:01 0.10 hour (Design #1523 (Closed): Input fns: action when when istream is in bad state?)

Seems OK now John Abbott

10:02 0.10 hour (Bug #1473 (Closed): isystem not working as expected)

Anna? John Abbott

09:59 0.20 hour (Design #794 (Rejected): ar gives warnings on fedora 23)

Outdated John Abbott

16 Feb 2021

18:46 0.25 hour (Bug #1522 (Closed): SEGV: avoid long linked lists of loaves in MemPools)

A test John Abbott

18:13 0.10 hour (Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example)

Confirmation John Abbott

18:03 0.30 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)

Becoming irrelevant? John Abbott

17:34 0.20 hour (Feature #898 (In Progress): New function: cardinality of finite field?)

Now gives error instead of 0 John Abbott

17:27 0.20 hour (Feature #898 (In Progress): New function: cardinality of finite field?)

Possible name John Abbott

17:19 0.20 hour (Feature #1219 (In Progress): Frobby version number)

Frobby John Abbott

13:43 0.20 hour (Bug #1575 (New): DynamicBitset missing arg checks)

Guidelines John Abbott

10 Feb 2021

22:11 0.50 hour (Design #1576 (In Progress): cmp for machine integers)

Cut and paste John Abbott

21:46 0.20 hour (Design #1576 (In Progress): cmp for machine integers)

Also John Abbott

21:41 0.75 hour (Design #1511 (Closed): Use C++14 constexpr)

John Abbott

20:36 1.00 hour (Design #1511 (Closed): Use C++14 constexpr)

John Abbott

08 Feb 2021

16:13 0.30 hour (Design #1576 (In Progress): cmp for machine integers)

Some notes John Abbott

15:29 0.75 hour (Design #925 (In Progress): MachineInt or long for args which are indices (yet again))

NTL John Abbott

15:00 1.00 hour (Design #1572 (Resolved): Use noexcept)

CoCoA_ASSERT allowed John Abbott

06 Feb 2021

22:00 1.50 hour (Design #1572 (Resolved): Use noexcept)

Mostly done John Abbott

04 Feb 2021

14:49 2.00 hours (Design #1572 (Resolved): Use noexcept)

A doubt John Abbott

03 Feb 2021

18:18 0.20 hour (Feature #1419 (New): DynamicBitset::IamAll1s)

Tricky John Abbott

02 Feb 2021

17:04 1.00 hour (Design #934 (In Progress): MachineInt: change semantics?)

Mmmm John Abbott

30 Jan 2021

18:47 4.00 hours (Bug #1570 (Closed): FloatStr sometimes produces NUL chars)

Phew! John Abbott

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