CoCoA » CoCoALib

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

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