Activity
From 04 Nov 2022 to 03 Dec 2022
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... - 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:... - 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 ... - 11:43 CoCoA-5 Bug #1717 (Closed): CRASH: equality test to a FUNCTION
- Julian Danner reported the following crash via email:...
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.
... - 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).
... - 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! - 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?
- 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... - 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... - 19:12 CoCoA-5 Design #1709: Test tut-CoCoLA2
- Reminder for me: check both LinKer and eigenfactors
- 18:36 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- Reminder for me: write doc for CoCoALib (and check manual for CoCoA-5)
- 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... - 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 ... - 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... - 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...
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... - 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...
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... - 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...
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... - 14:18 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)
- I can also trigger NYI:...
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... - 13:36 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)
- The problem exists also in char 0...
- 12:17 CoCoA-5 Bug #1714: IsDivisible error (in QuotRing)
- Simpler failing case:...
- 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.
- 12:11 CoCoA-5 Bug #1714 (Closed): IsDivisible error (in QuotRing)
- Bernhard Andraschko reported by email the folllowing:...
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...
- 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... - 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... - 18:25 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- Anna will think about this.
- 18:17 CoCoA-5 Support #1393: GUI with Qt5
- Email bounced.
- 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...
- 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... - 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... - 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.
- 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... - 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... - 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.
> ... - 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...
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...
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 ...
20 Nov 2022
- 22:49 CoCoALib Bug #1712: Windows: New configuration script
- I have been provided with a new configuration script and a new ...
- 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...
18 Nov 2022
- 21:54 CoCoA-5 Design #1709: Test tut-CoCoLA2
- Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob... - 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...
17 Nov 2022
- 16:12 CoCoALib 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... - 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...
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... - 20:35 CoCoA-5 Design #1709: Test tut-CoCoLA2
- PS: Sorry for the late clarification -- I wasn't aware that this was posted here and only saw it by chance.
- 20:10 CoCoA-5 Design #1709: Test tut-CoCoLA2
- John Abbott wrote:
> @tut-CoCoLa2.cocoa5@
> prints out the result of @LinKer@ which may vary from call to call.
> ... - 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.
- 20:29 CoCoALib Bug #1712 (Closed): Windows: New configuration script
- The new configuration script contains a few minor issues for Windows machines:
* ... - 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...
- 17:33 CoCoALib Support #1711 (Feedback): Development releases?
- Ulrich suggested that we make "development releases" frequently available.
Advantages include that others can work... - 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... - 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:...
- 16:56 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- Here are some simple test cases:...
- 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 -... - 16:29 CoCoALib Bug #1710: IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- Nico also send the following by email:...
- 09:33 CoCoALib Bug #1710 (Closed): IsSqFree, IsIrred bugs in ZZ[x] and QQ[x]
- Nico Mexis reported by email:...
13 Nov 2022
- 02:30 CoCoALib 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...
12 Nov 2022
- 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 (... - 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...
- 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... - 13:55 CoCoALib Bug #1600: Detect updated versions of external libs
- Is this a duplicate of issue #1700?
- 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 ...
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 ...
07 Nov 2022
- 20:05 CoCoA-5 Support #1393: GUI with Qt5
- Ulrich suggests asking the QCodeEdit author if we distribute under GPLv3+
NOte: try website @https://bruant.info@...
04 Nov 2022
- 16:02 CoCoA-5 Support #1393: GUI with Qt5
- *Anna*
Could you check Ulrich's changelog in note-28 above.
He has made some changes regarding BOOST and @no-pie@
... - 11:47 CoCoA-5 Support #1393: GUI with Qt5
- Ulrich, maybe it is simpler to send me a tar.gz of your configuration directory...
- 11:21 CoCoA-5 Support #1393: GUI with Qt5
- I am having trouble with the patch file. Many failed.
I'll email you my current sources, and hope you can produce a... - 14:31 CoCoALib Feature #1676 (Rejected): txt2tags: include in source distribution?
- We should probably distribute source code with precompiled doc so no one actually needs @txt2tags@.
- 13:45 CoCoALib 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...
Also available in: Atom