CoCoA Project

01 Dec 2022

12:17 CoCoA-5 Bug #1717 (Resolved): CRASH: equality test to a FUNCTION

Here is what I found.
The decision about which types may be compared with *@=@* is determined by *@opEqualMap@*.
Th... John Abbott

12:17 CoCoA-5 0.50 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Found something dodgy John Abbott

11:51 CoCoA-5 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

More info John Abbott

11:51 CoCoA-5 Bug #1717 (In Progress): CRASH: equality test to a FUNCTION

The relevant @assert@ is at @Interpreter.C:1581@
A slightly shorter failing case is:... John Abbott

11:45 CoCoA-5 0.20 hour (Bug #1717 (Closed): CRASH: equality test to a FUNCTION)

Relevant source John Abbott

11:45 CoCoA-5 Bug #1717: CRASH: equality test to a FUNCTION

Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... John Abbott

11:43 CoCoA-5 Bug #1717 (Closed): CRASH: equality test to a FUNCTION

Julian Danner reported the following crash via email:... John Abbott

30 Nov 2022

22:07 CoCoA-5 Support #1393: GUI with Qt5

I have revised the release script, and also @configure@ to handle the case of a source tree without the GUI code.
... John Abbott

22:07 CoCoA-5 1.50 hour (Support #1393 (Feedback): GUI with Qt5)

Revised release script John Abbott

15:59 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Proposal John Abbott

15:59 CoCoA-5 Support #1393: GUI with Qt5

The easy solution is to continue to distribute as we already do (with GPLv3+, but leaving the Qt stuff with GPLv3).
... John Abbott

22:02 CoCoALib 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

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

Done! John Abbott

17:25 CoCoALib 0.20 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)

Check & close John Abbott

17:25 CoCoALib 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 CoCoALib 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:45 CoCoALib 0.50 hour (Support #1711 (Feedback): Development releases?)

Ideas John Abbott

17:13 CoCoALib 0.10 hour (Design #1716 (Closed): Qn: factor for BigInt)

Time limit? John Abbott

17:13 CoCoALib 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 CoCoALib 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

17:08 CoCoALib 0.50 hour (Design #1716 (Closed): Qn: factor for BigInt)

Current state John Abbott

15:57 CoCoA-5 0.20 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Who can help? John Abbott

15:57 CoCoA-5 Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly

I am not sure who would be able to help with this (Qt-gui on Microsoft)
I have set target version to "sooner or la... John Abbott

29 Nov 2022

21:14 CoCoALib 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

21:14 CoCoALib 0.50 hour (Design #1716 (Closed): Qn: factor for BigInt)

KISS? John Abbott

11:23 CoCoALib 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 CoCoALib 0.20 hour (Support #1711 (Feedback): Development releases?)

Comments John Abbott

21:56 CoCoALib 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

21:53 CoCoA-5 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)

Oh joy! John Abbott

21:53 CoCoA-5 Design #1696: Which BOOST libs are actually needed?

Nico Mexis confirms that *both @filesystem@ and @system@* are needed on *Cygwin* -- because it has boost 1.66
I have... John Abbott

26 Nov 2022

14:52 CoCoA-5 Bug #1714 (Feedback): IsDivisible error (in QuotRing)

Problem was in *@SparsePolyRingBase::IdealImpl::myDivMod@* (in file @SparsePolyOps-idea.C@)
We did not check for th... John Abbott

14:52 CoCoA-5 1.00 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Got it! John Abbott

14:18 CoCoA-5 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Different error John Abbott

14:18 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)

I can also trigger NYI:... John Abbott

24 Nov 2022

15:07 CoCoALib 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

13:36 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)

The problem exists also in char 0... John Abbott

13:36 CoCoA-5 0.10 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Also char 0 John Abbott

12:17 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)

Simpler failing case:... John Abbott

12:17 CoCoA-5 0.10 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Simpler John Abbott

12:13 CoCoA-5 0.25 hour (Bug #1714 (Closed): IsDivisible error (in QuotRing))

Some notes John Abbott

12:13 CoCoA-5 Bug #1714 (In Progress): IsDivisible error (in QuotRing)

Bug confirmed with current internal version.
Does not depend on char; same bug with other chars.
John Abbott

12:11 CoCoA-5 Bug #1714 (Closed): IsDivisible error (in QuotRing)

Bernhard Andraschko reported by email the folllowing:... John Abbott

23 Nov 2022

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

KISS John Abbott

18:29 CoCoALib 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 CoCoALib 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

18:27 CoCoALib 0.10 hour (Support #1711 (Feedback): Development releases?)

Burden John Abbott

17:42 CoCoALib 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

17:42 CoCoALib 0.20 hour (Support #1711 (Feedback): Development releases?)

Questions John Abbott

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

Anna will think about this.
John Abbott

18:25 CoCoALib 0.10 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Anna John Abbott

18:17 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Bounced John Abbott

18:17 CoCoA-5 Support #1393: GUI with Qt5

Email bounced. John Abbott

17:53 CoCoA-5 Support #1393: GUI with Qt5

I have just written to @fullmetalcoder@ asking whether we may re-distribute @QcodeEdit@ under GPLv3+ rather than GPLv... John Abbott

17:53 CoCoA-5 0.25 hour (Support #1393 (Feedback): GUI with Qt5)

paper-shuffling John Abbott

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

Suggestion John Abbott

17:39 CoCoALib 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 CoCoALib 0.25 hour (Support #1700 (Closed): boost_1_80_0)

Closing: near duplicate John Abbott

17:36 CoCoALib 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

17:32 CoCoA-5 0.25 hour (Bug #1695 (Closed): boost-find-lib.sh)

Resolved? John Abbott

17:32 CoCoA-5 Bug #1695 (Feedback): boost-find-lib.sh

JAA thinks this has probably been resolved by the new configuration system.
So changing to *feedback* status.
John Abbott

17:25 CoCoA-5 Design #1697 (Feedback): Specifying BOOST in configure

Anna: I think this issue no longer exists with the new/revised configuration system (scripts).
Correct? If so, plea... John Abbott

17:25 CoCoA-5 0.25 hour (Design #1697 (Closed): Specifying BOOST in configure)

New configure system solves this? John Abbott

16:11 CoCoALib 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

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

Fn name? John Abbott

10:09 CoCoA-5 0.25 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Notes about building Normaliz John Abbott

10:09 CoCoA-5 Bug #1713: Windows: Qt-Gui does not link correctly

Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
I use a "personal instal... John Abbott

21 Nov 2022

20:52 CoCoALib 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:52 CoCoALib 0.50 hour (Bug #1712 (Closed): Windows: New configuration script)

Checked in John Abbott

18 Nov 2022

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

More opinion John Abbott

16:39 CoCoALib 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

06:50 CoCoALib 0.20 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Question John Abbott

06:50 CoCoALib 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 CoCoALib 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

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

Ambiguity John Abbott

17:39 CoCoALib 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:39 CoCoALib 0.25 hour (Support #1711 (Feedback): Development releases?)

Some notes John Abbott

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

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

17:24 CoCoALib 0.50 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Updated John Abbott

17:24 CoCoALib 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 CoCoALib 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

17:00 CoCoALib 0.25 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Which is better? John Abbott

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

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

16:56 CoCoALib 0.40 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Some test cases John Abbott

16:34 CoCoALib 0.25 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

Some thoughts John Abbott

16:34 CoCoALib 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 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]

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

16:29 CoCoALib 0.40 hour (Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x])

John Abbott

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

Nico Mexis reported by email:... John Abbott

15:42 CoCoA-5 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2)

Some notes John Abbott

15:42 CoCoA-5 Design #1709: Test tut-CoCoLA2

I think there are 7 places to revise...
Just search for @LinKer@ and see which ones actually are printed.
John Abbott

12 Nov 2022

14:23 CoCoALib 0.10 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

BOOST John Abbott

14:23 CoCoALib 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 CoCoALib 0.25 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

Some notes John Abbott

14:21 CoCoALib 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 CoCoALib 10.00 hours (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

Progress John Abbott

13:58 CoCoALib 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 CoCoALib Bug #1600: Detect updated versions of external libs

Is this a duplicate of issue #1700?
John Abbott

13:55 CoCoALib 0.10 hour (Bug #1600 (In Progress): Detect updated versions of external libs)

Duplicate? John Abbott

13:53 CoCoALib 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

13:53 CoCoALib 1.50 hour (Support #1700 (Closed): boost_1_80_0)

Oh joy! John Abbott

11 Nov 2022

22:21 CoCoA-5 Design #1709 (Closed): Test tut-CoCoLA2

@tut-CoCoLa2.cocoa5@
prints out the result of @LinKer@ which may vary from call to call.
Change the test so that ... John Abbott