Activity

John Abbott's activity

From 11 Dec 2022 to 09 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:52 CoCoA-5 0.10 hour (Design #1698 (Closed): indent: return a string?): Checked in? 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
12:38 CoCoA-5 2.00 hours (Feature #1718 (Closed): FactorINT with time-out): Almost done John Abbott

21:16 CoCoALib 0.25 hour (Bug #1719 (Closed): FactorINT has got worse): IsPrime is costly John Abbott
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
20:57 CoCoALib 2.50 hours (Bug #1719 (Closed): FactorINT has got worse): Blame John Abbott

11:18 CoCoALib 0.50 hour (Bug #1719 (Closed): FactorINT has got worse): Simpler case John Abbott
11:18 CoCoALib Bug #1719 (In Progress): FactorINT has got worse: I now have a simpler case:... John Abbott

22:24 CoCoALib 0.50 hour (Bug #1719 (Closed): FactorINT has got worse): Mysterious John Abbott
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

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:07 CoCoA-5 1.50 hour (Feature #1718 (Closed): FactorINT with time-out): Some notes 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

22:35 CoCoALib 0.10 hour (Support #1711 (Feedback): Development releases?): Prototype website John Abbott
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
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
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 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing)): Added test 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 0.25 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION): 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

Also available in: Atom