Project

General

Profile

Activity

From 01 Nov 2022 to 30 Nov 2022

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

13 Nov 2022

02:30 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
(This concerns an intermediate version of CoCoALib. The issue is not present in the current release 0.99800.)
John...
Ulrich von der Ohe

12 Nov 2022

14:23 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
The BOOST "find" script does not give error if more than 1 installed version is found;
instead is simply picks one (...
John Abbott
14:21 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
I have revised the @configure@ options, and several auxiliary scripts (after feedback/suggestions from Anna & Ulrich... John Abbott
13:58 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
I think I have progress here with helpful testing & feedback from Ulrich.
It is quite a nightmare trying to make p...
John Abbott
13:55 Bug #1600: Detect updated versions of external libs
Is this a duplicate of issue #1700?
John Abbott
13:53 Support #1700: boost_1_80_0
On my MacBook I get over 100000 (one hundred thousand) lines of warnings when compiling.
I think there is some mild ...
John Abbott

04 Nov 2022

14:31 Feature #1676 (Rejected): txt2tags: include in source distribution?
We should probably distribute source code with precompiled doc so no one actually needs @txt2tags@.
John Abbott
13:45 Bug #1705: ProgressReporter: prepare for new loop?
I have revised the impl -- it now works better.
Much of this code is quite similar to @CpuTimeLimit@.
The commo...
John Abbott

03 Nov 2022

14:31 Bug #1705: ProgressReporter: prepare for new loop?
John Abbott wrote:
> A likely cause is that the frequency of proper time checks is too low (because of the very fast...
Anna Maria Bigatti
 

Also available in: Atom