CoCoA Project

01 Jan 2023

12:52 CoCoA-5 Design #1698: indent: return a string?

Are these changes checked in?
[I think probably not yet]
John Abbott

12:38 CoCoA-5 Feature #1718 (Resolved): FactorINT with time-out

Implemented (but see also issue #1719).
Remaining question: fn name, currently *@FactorINT_TimeOut@* (see discussi... John Abbott

29 Dec 2022

21:16 CoCoALib Bug #1719: FactorINT has got worse

On some inputs which have many small factors, the code spends much more time inside @IsProbPrime@ than actually compu... John Abbott

20:57 CoCoALib Bug #1719: FactorINT has got worse

It'd be nice to blame someone else for the "poorly organized" code...
Now it seems to work better. But the revise... John Abbott

22 Dec 2022

11:18 CoCoALib Bug #1719 (In Progress): FactorINT has got worse

I now have a simpler case:... John Abbott

18 Dec 2022

22:24 CoCoALib Bug #1719: FactorINT has got worse

With the current impl on 127 factors are found, and they are all small enough to be split easily.
So why weren't the... John Abbott

22:21 CoCoALib Bug #1719 (Closed): FactorINT has got worse

The following test case now works definitely worse: it does not find all factors even with a time limit of 500s
<pre... John Abbott

16 Dec 2022

17:07 CoCoA-5 Feature #1718 (In Progress): FactorINT with time-out

My first thought was to let @FactorINT@ accept an optional second arg: this is more-or-less what the CoCoALib impl do... John Abbott

17:04 CoCoA-5 Feature #1718 (Closed): FactorINT with time-out

I have found it useful to be able to impose a time-out on @FactorINT@ calls.
I already have a first impl which seems... John Abbott

14 Dec 2022

22:35 CoCoALib Support #1711 (Resolved): Development releases?

Anna has made a prototype website. Not yet publicly visible.
We'll ask the "alpha testers" to see how it works...
John Abbott

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

I have made a major revision to @doc/txt/ExternalLibs-BOOST.txt@
I think it is now up-to-date.
Closing.
John Abbott

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

I have added a new "exbug" test. I have updated the code in @CoCoALibSupplement.C@.
I have revised the CoCoA-5 manu... John Abbott

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

Added test (to @exbugs.cocoa5@).
Closing.
John Abbott

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

We are satisfied that this is a good resolution.
John Abbott