CoCoA

18 Dec 2022

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

17:07 CoCoA-5 Feature #1718 (In Progress): FactorINT with time-out

My first thought was to let @FactorINT@ accept an optional second arg: this is more-or-less what the CoCoALib impl do... John Abbott

17:04 CoCoA-5 Feature #1718 (Closed): FactorINT with time-out

I have found it useful to be able to impose a time-out on @FactorINT@ calls.
I already have a first impl which seems... John Abbott

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

22:33 CoCoA-5 Design #1697 (Closed): Specifying BOOST in configure

I have made a major revision to @doc/txt/ExternalLibs-BOOST.txt@
I think it is now up-to-date.
Closing.
John Abbott

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

16:44 CoCoA-5 Bug #1714 (Closed): IsDivisible error (in QuotRing)

Added test (to @exbugs.cocoa5@).
Closing.
John Abbott

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

We are satisfied that this is a good resolution.
John Abbott

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

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 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

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

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

19:12 CoCoA-5 Design #1709: Test tut-CoCoLA2

Reminder for me: check both LinKer and eigenfactors Anna Maria Bigatti

18:36 CoCoALib Feature #1488: BuiltIn Interreduce-Function

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

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

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

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 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 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: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

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

Simpler failing case:... 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 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

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

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

Anna will think about this.
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: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 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 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

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

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

John Abbott wrote:
> Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
> ... Nico Mexis

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

22 Nov 2022

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

As discussed in #1712, problems with the Qt-Gui should be handled in another issue.
When trying to link the Qt-Gui... Nico Mexis

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 Nov 2022

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

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

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

It is still not clear to me what bothers you about the QCodeEdit license. As I said on the phone call you refer to, i... Ulrich von der Ohe