CoCoA » CoCoALib

29 Dec 2022

21:16 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 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 Bug #1719 (In Progress): FactorINT has got worse

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

21 Dec 2022

18:28 Design #1720 (New): DivAlg in CoCoALib

We have... Anna Maria Bigatti

18:04 Feature #1488: BuiltIn Interreduce-Function

Anna Maria Bigatti wrote:
> Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5)
Create the doc... Anna Maria Bigatti

18 Dec 2022

22:24 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 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

07:21 Support #1711 (Feedback): Development releases?

The page is ready: https://cocoa.dima.unige.it/cocoa/cocoalib/snapshot.shtml.
I have a personal script which calls @... Anna Maria Bigatti

15 Dec 2022

09:15 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

If all else fails, the issue in CoCoA 5 could be fixed in the same manner as ... Nico Mexis

14 Dec 2022

22:35 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

21:05 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