John Abbott's activity
From 11 Nov 2022 to 10 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... -
- The relevant @assert@ is at @Interpreter.C:1581@
A slightly shorter failing case is:... -
- Most likely the bug is in *@intrusive_ptr<RightValue> RuntimeEnvironment::binaryOperatorDispatch@*
around line 1520 ... -
- Julian Danner reported the following crash via email:...
30 Nov 2022
-
- I have revised the release script, and also @configure@ to handle the case of a source tree without the GUI code.
... -
- The easy solution is to continue to distribute as we already do (with GPLv3+, but leaving the Qt stuff with GPLv3).
... -
- I have revised the file *@doc/txt/INSTALL.txt@* to include the info here (and quite a bit more).
Closing! -
- Check that the notes in this issue are aligned with those in the documentation.
Then close this issue -- OK?
-
- Here is a summary of our discussion:
* Anna will make a new web page (with clearly written that snapshots are just f... -
- Should we permit the user to impose a time limit on *@factor/FactorINT@*?
Is this sensible? Doubling the amount of ... -
- I have checked the code (& updated it).
It seems that the PollardRho loop can anyway output composite factors, thoug... -
- 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
-
- I had thought about identifying non-prime factors by making them negative.
But a colleague said he found that "not v... -
- What should *@factor@* for @BigInt@ do if there are large prime factors (too large to be found)?
Currently, it giv...
28 Nov 2022
-
- JAA thinks making "snapshot" TGZ releases is probably a good idea.
It really helps those volunteers who would like t... -
- Nico Mexis confirms that *both @filesystem@ and @system@* are needed on *Cygwin* -- because it has boost 1.66
I have...
26 Nov 2022
-
- Problem was in *@SparsePolyRingBase::IdealImpl::myDivMod@* (in file @SparsePolyOps-idea.C@)
We did not check for th... -
- I can also trigger NYI:...
24 Nov 2022
-
- Is it worth implementing a geobucket-based *@ProductBigInt@*?
This would enable us to impl efficiently "range" ver... -
- The problem exists also in char 0...
-
- Simpler failing case:...
-
- Bug confirmed with current internal version.
Does not depend on char; same bug with other chars.
-
- Bernhard Andraschko reported by email the folllowing:...
23 Nov 2022
-
- For the time being we'll not implement "build as much as possible", but instead give error if CoCoA-5 cannot be built...
-
- Anna says that (1) requires manually copying the file to the server running the website.
She'll probably try doing i... -
- Questions:
(1) how burdensome would it be to make weekly snapshots available on the website?
[ how would we d... -
- Anna will think about this.
-
- Email bounced.
-
- I have just written to @fullmetalcoder@ asking whether we may re-distribute @QcodeEdit@ under GPLv3+ rather than GPLv...
-
- Here is a copy of #1700#note-5 (which I closed because it duplicates this issue).
I wonder if there is a simple aw... -
- JAA is closing this issue because it is a *near duplicate of issue #1600.*
I'll copy note-5 over to issue #1600, j... -
- JAA thinks this has probably been resolved by the new configuration system.
So changing to *feedback* status.
-
- Anna: I think this issue no longer exists with the new/revised configuration system (scripts).
Correct? If so, plea... -
- What should the mem fn be called?
Current prototype calls it *@JumpTo@*, so that a mem fn call would look like @pseq... -
- Below is a copy of my notes about building libnormaliz from source -- I have version 3.9.4.
I use a "personal instal...
21 Nov 2022
-
- I have checked in my revised version.
I hope Anna can make a new interim release soon (see also issue #1711 about ...
18 Nov 2022
-
- 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
-
- Since *@IsCoprime@* can behave "unexpectedly" in @ZZ[x]@...
Should we limit the applicability of *@IsCoprime@*?
F...
16 Nov 2022
-
- I understand Ulrich's viewpoint.
Ideally the configuration & build systems for CoCoALib and CoCoA-5 (with GUI) wou... -
- JAA can see the advantage: Ulrich had kindly made several patches to the last "official release" from about 6 months...
-
- Ulrich suggested that we make "development releases" frequently available.
Advantages include that others can work... -
- I have modified the source code (following Nico's suggestions, more or less)
I have added a caution to the doc. I h... -
- Here is a test case where I am unsure what the correct result should be:...
-
- Here are some simple test cases:...
-
- In response to note-1:
Without doubt, in @ZZ[x]@ we must have @gcd(10, 10*x) = 10@; conceivably it could also be -... -
- Nico also send the following by email:...
-
- Nico Mexis reported by email:...
-
- I think there are 7 places to revise...
Just search for @LinKer@ and see which ones actually are printed.
12 Nov 2022
-
- The BOOST "find" script does not give error if more than 1 installed version is found;
instead is simply picks one (... -
- I have revised the @configure@ options, and several auxiliary scripts (after feedback/suggestions from Anna & Ulrich...
-
- I think I have progress here with helpful testing & feedback from Ulrich.
It is quite a nightmare trying to make p... -
- Is this a duplicate of issue #1700?
-
- On my MacBook I get over 100000 (one hundred thousand) lines of warnings when compiling.
I think there is some mild ...
11 Nov 2022
-
- @tut-CoCoLa2.cocoa5@
prints out the result of @LinKer@ which may vary from call to call.
Change the test so that ...
Also available in: Atom