CoCoA » CoCoALib

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

29 Nov 2022

21:14 Design #1716 (In Progress): Qn: factor for BigInt

I had thought about identifying non-prime factors by making them negative.
But a colleague said he found that "not v... John Abbott

11:23 Design #1716 (Closed): Qn: factor for BigInt

What should *@factor@* for @BigInt@ do if there are large prime factors (too large to be found)?
Currently, it giv... John Abbott

28 Nov 2022

21:56 Support #1711: Development releases?

JAA thinks making "snapshot" TGZ releases is probably a good idea.
It really helps those volunteers who would like t... John Abbott

24 Nov 2022

15:07 Feature #1715 (New): ProductBigInt (also ProductBigRat???)

Is it worth implementing a geobucket-based *@ProductBigInt@*?
This would enable us to impl efficiently "range" ver... John Abbott

23 Nov 2022

18:29 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)

For the time being we'll not implement "build as much as possible", but instead give error if CoCoA-5 cannot be built... John Abbott

18:27 Support #1711: Development releases?

Anna says that (1) requires manually copying the file to the server running the website.
She'll probably try doing i... John Abbott

17:42 Support #1711 (In Progress): Development releases?

Questions:
(1) how burdensome would it be to make weekly snapshots available on the website?
[ how would we d... John Abbott

18:25 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Anna will think about this.
John Abbott

17:39 Bug #1600 (In Progress): Detect updated versions of external libs

Here is a copy of #1700#note-5 (which I closed because it duplicates this issue).
I wonder if there is a simple aw... John Abbott

17:36 Support #1700 (Closed): boost_1_80_0

JAA is closing this issue because it is a *near duplicate of issue #1600.*
I'll copy note-5 over to issue #1600, j... John Abbott

16:11 Feature #1692 (In Progress): Suggestion: Add "JumpTo" function to prime iterators

What should the mem fn be called?
Current prototype calls it *@JumpTo@*, so that a mem fn call would look like @pseq... John Abbott