CoCoA » CoCoALib

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

21 Nov 2022

20:52 Bug #1712 (Resolved): Windows: New configuration script

I have checked in my revised version.
I hope Anna can make a new interim release soon (see also issue #1711 about ... John Abbott

20 Nov 2022

22:49 Bug #1712: Windows: New configuration script

I have been provided with a new configuration script and a new ... Nico Mexis

18 Nov 2022

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

Ulrich may indeed be correct to be sceptical: the revision I made to the @configure@ script made 2 changes at more-or... John Abbott

17 Nov 2022

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

John Abbott wrote:
> Earlier we did try to implement a "make as much as possible" strategy, but this led to an
> ex... Ulrich von der Ohe

06:50 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Since *@IsCoprime@* can behave "unexpectedly" in @ZZ[x]@...
Should we limit the applicability of *@IsCoprime@*?
F... John Abbott

16 Nov 2022

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

I understand Ulrich's viewpoint.
Ideally the configuration & build systems for CoCoALib and CoCoA-5 (with GUI) wou... John Abbott

20:29 Bug #1712 (Closed): Windows: New configuration script

The new configuration script contains a few minor issues for Windows machines:
* ... Nico Mexis

17:39 Support #1711: Development releases?

JAA can see the advantage: Ulrich had kindly made several patches to the last "official release" from about 6 months... John Abbott

17:33 Support #1711 (Feedback): Development releases?

Ulrich suggested that we make "development releases" frequently available.
Advantages include that others can work... John Abbott

17:24 Bug #1710 (Resolved): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

I have modified the source code (following Nico's suggestions, more or less)
I have added a caution to the doc. I h... John Abbott

17:00 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Here is a test case where I am unsure what the correct result should be:... John Abbott

16:56 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Here are some simple test cases:... John Abbott

16:34 Bug #1710 (In Progress): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

In response to note-1:
Without doubt, in @ZZ[x]@ we must have @gcd(10, 10*x) = 10@; conceivably it could also be -... John Abbott

16:29 Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Nico also send the following by email:... John Abbott

09:33 Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

Nico Mexis reported by email:... John Abbott