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

30 Nov 2022

22:02 Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA

I have revised the file *@doc/txt/INSTALL.txt@* to include the info here (and quite a bit more).
Closing! John Abbott

17:25 Support #613 (Feedback): Which ubuntu / debian packages are needed to compile CoCoA

Check that the notes in this issue are aligned with those in the documentation.
Then close this issue -- OK?
John Abbott

19:45 Support #1711: Development releases?

Here is a summary of our discussion:
* Anna will make a new web page (with clearly written that snapshots are just f... John Abbott

19:21 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

John Abbott wrote:
> Since IsCoprime can behave "unexpectedly" in ZZ[x]...
> Should we limit the applicability of I... Anna Maria Bigatti

18:36 Feature #1488: BuiltIn Interreduce-Function

Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5) Anna Maria Bigatti

18:31 Support #1481 (Closed): Release CoCoALib 0.99800

Anna Maria Bigatti wrote:
> All is done now, except publishing the documentation (I'm still investigating some techn... Anna Maria Bigatti

17:13 Design #1716: Qn: factor for BigInt

Should we permit the user to impose a time limit on *@factor/FactorINT@*?
Is this sensible? Doubling the amount of ... John Abbott

17:08 Design #1716: Qn: factor for BigInt

I have checked the code (& updated it).
It seems that the PollardRho loop can anyway output composite factors, thoug... John Abbott