Activity

John Abbott's activity

From 20 Feb 2024 to 20 Mar 2024

20 Mar 2024

22:41 CoCoA-5 0.50 hour (Bug #1794 (Resolved): Do not use random inside tests!!): Ahhh random! John Abbott
22:41 CoCoA-5 Bug #1794 (In Progress): Do not use random inside tests!!: The cause is not too surprising: @demo-Osaka2015.cocoa5@ uses a random example (on line 72).
Evidently, with debuggi... John Abbott
22:03 CoCoALib 1.50 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Seems to work John Abbott
22:03 CoCoALib Bug #1641 (Resolved): gcd does not recognize univariate input: The new code seems to work now, and is faster if the polys are recognized as univariate.
What I do not understand ... John Abbott

19 Mar 2024

22:10 CoCoALib Bug #1641: gcd does not recognize univariate input: Made some progress. This is more tedious than I thought... the doc for CoCoALib could be better... (and the design t... John Abbott
22:10 CoCoALib 1.50 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Uff! John Abbott
20:18 CoCoALib 0.20 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Relevant source code John Abbott
20:18 CoCoALib Bug #1641: gcd does not recognize univariate input: The problem code is in @SparsePolyOps-RingElem.C@ around line 718 (search for @SyzOfGens@ or maybe just @syz@).
I... John Abbott
20:05 CoCoA-5 0.25 hour (Support #1759 (New): Better error mesg for 1.2.3.4?): Relevant source code John Abbott
20:05 CoCoA-5 Support #1759: Better error mesg for 1.2.3.4?: The relevant source code is probably in @Parser.C@ near line 1924 inside the function @parseSelectors@ right after @c... John Abbott

18 Mar 2024

21:48 CoCoALib 0.10 hour (Bug #1726 (Closed): Dangling references to temporaries): To Jerry James John Abbott
21:48 CoCoALib Bug #1726: Dangling references to temporaries: *Hi Jerry James*
Could I send you a TGZ of the latest sources, so that you can try compiling, and see whether there ... John Abbott
21:45 CoCoALib Support #942: Which names to use? Intersection/saturation vs intersect/saturate: *@sat@* is perhaps too short, and may be ambiguous with the *@SAT@* (satisfiability) family of functions.
I'm undeci... John Abbott
21:45 CoCoALib 0.20 hour (Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate): My thoughts John Abbott
18:35 CoCoALib Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate: Also *@IntersectionList@*
John Abbott
18:35 CoCoALib 0.10 hour (Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate): Also John Abbott
21:39 CoCoA-5 0.10 hour (Feature #823 (Closed): NewPolyRing with weights -- better interface?): Name John Abbott
21:39 CoCoA-5 Feature #823: NewPolyRing with weights -- better interface?: I did slightly prefer the name I suggested in note 7 (but it is longer).
Anyway, this is a good improvement to the i... John Abbott
21:31 CoCoALib 0.10 hour (Bug #1740 (In Progress): MinGens gives non minimal gens *if some deg=0*): Maybe John Abbott
21:31 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: Perhaps *@ERR::NYI@* ?
John Abbott
21:27 CoCoA-5 0.10 hour (Feature #1583 (New): New fn ElapsedTimeFrom?): Not convinced John Abbott
21:27 CoCoA-5 Feature #1583: New fn ElapsedTimeFrom?: I'm tempted to *reject* this. Yes, there is the risk mentioned in the description, but it is not so serious -- if ne... John Abbott
21:20 CoCoA-5 0.10 hour (Support #1603 (Rejected): Unhelpful behaviour in "compatibility mode": double error mesg): Won't fix? John Abbott
21:20 CoCoA-5 Support #1603: Unhelpful behaviour in "compatibility mode": double error mesg: I'm very tempted to mark this one *won't fix*.
It would likely be a lot of work modifying the parser/interpreter, an... John Abbott
21:14 CoCoA-5 0.20 hour (Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon): Mmmm John Abbott
21:14 CoCoA-5 Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon: Since some languages (such as Julia) do not require semicolons to end the command while CoCoA does, perhaps the a com... John Abbott
21:05 CoCoA-5 Feature #1701: Preliminary packages: We can put a page for preliminary packages in the main manual. It should either contain a list of the packages (and ... John Abbott
21:05 CoCoA-5 0.20 hour (Feature #1701 (In Progress): Preliminary packages): Documentation John Abbott
20:59 CoCoA-5 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2): Suggestion John Abbott
20:59 CoCoA-5 Design #1709 (In Progress): Test tut-CoCoLA2: Maybe we can change the relevant line(s) to something like:... John Abbott
20:51 CoCoA-5 Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter: John Abbott
20:49 CoCoALib Slug #1756: deg(f) is slow if f is long: If the grading is positive and over ZZ^1 then we use the following general cut-off so that we do not need to scan the... John Abbott
20:49 CoCoALib 0.25 hour (Slug #1756 (In Progress): deg(f) is slow if f is long): More general John Abbott
20:29 CoCoALib Design #1606 (Feedback): Return type with const: This was mostly done anyway. I changed some things in the involutive code (without really understanding it).
I ha... John Abbott
20:29 CoCoALib 0.50 hour (Design #1606 (Closed): Return type with const): Mostly done John Abbott
09:51 CoCoALib 0.10 hour (Design #1606 (Closed): Return type with const): John John Abbott
09:51 CoCoALib Design #1606: Return type with const: John will investigate this, and hopefully close it.
John Abbott
18:39 CoCoALib Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?: In principle we could make 2 such functions: one faster, and one more thorough.
But is it worth it? KISS?
John Abbott
18:39 CoCoALib 0.10 hour (Feature #1797 (New): Add a function CleanupGens making some easy cleaning on the generators?): KISS? John Abbott
09:23 CoCoALib Feature #1619: Make saturate available in CoCoALib: Maybe different types:
* monomial
* principal
* univariate
* general
John Abbott
09:23 CoCoALib 0.20 hour (Feature #1619 (Closed): Make saturate available in CoCoALib): Types of test? John Abbott

17 Mar 2024

10:59 CoCoA-5 Bug #1795 (In Progress): Makefile problem: needlessly relinks CoCoAInterpreter: I think I have corrected the error. Must do more checking.
John Abbott
10:59 CoCoA-5 0.50 hour (Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter): Maybe solved John Abbott
10:53 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": We must also explain what the solution is in the documentation (and perhaps also error messages?).
John Abbott
10:53 CoCoALib 0.10 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"): Doc John Abbott

16 Mar 2024

21:55 CoCoALib Design #1511 (Closed): Use C++14 constexpr: John Abbott
21:55 CoCoALib 0.10 hour (Design #1511 (Closed): Use C++14 constexpr): John Abbott
21:54 CoCoALib Bug #1749: Configuration hiccups on Mac M1: Failed to verify on Anna's old intel MacBook: compiler gave an error about @ptrdiff_t@ in some system header (sigh)
... John Abbott
21:54 CoCoALib 0.10 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): Ugh! John Abbott
21:52 CoCoALib Feature #1770 (Closed): Evaluate polynomial function/class: John Abbott
21:52 CoCoALib 0.10 hour (Feature #1770 (Closed): Evaluate polynomial function/class): John Abbott
21:51 CoCoALib 0.10 hour (Feature #206 (In Progress): Matrix equation solving: LinKer): Wow! John Abbott
21:51 CoCoALib Feature #206: Matrix equation solving: LinKer: Why such a long discussion and no resolution?
Can we finish this quickly? Or should we postpone?
John Abbott
21:47 CoCoALib 0.10 hour (Feature #1619 (Closed): Make saturate available in CoCoALib): Added to header file John Abbott
21:47 CoCoALib Feature #1619 (In Progress): Make saturate available in CoCoALib: I have added @saturate@ to the relevant header file. And also a test for #1790.
Added some doc. Do we need tests? ... John Abbott
21:44 CoCoALib Bug #1641: gcd does not recognize univariate input: This may well be length to resolve properly, but I really should look at it soon.
John Abbott
21:44 CoCoALib 0.10 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Inching forward John Abbott
21:42 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout: I am currently unsure how useful it would be to let the caller choose a time-out in seconds.
It may be simpler to of... John Abbott
21:42 CoCoALib 0.20 hour (Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout): Unsure John Abbott
21:38 CoCoALib 0.25 hour (Design #894 (In Progress): strict enum types: C++11 extension): Better to wait? John Abbott
21:38 CoCoALib Design #894: strict enum types: C++11 extension: I wonder whether it might not be better to wait until we switch to the C++20 standard, and so can use *@using ENUM@*.... John Abbott
21:28 CoCoALib 0.10 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-"): Test the new txt2tags John Abbott
21:28 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-": Let's try to download the new txt2tags, and test it.
*Nico* which version should we obtain?
*Anna* how do we test i... John Abbott
21:24 CoCoALib Slug #967: Improve saturate: I have just tried the example from #note-5, and it took just less than 1s on my computer (with v0.99823).
I have inc... John Abbott
21:24 CoCoALib 0.10 hour (Slug #967 (Resolved): Improve saturate): Testing John Abbott
21:20 CoCoALib Design #1085 (Feedback): Fns with "OUT" args: should they give ERR::MixedRings?: This seems to have been done already, at least mostly. So it has morally been in feedback for several month, at leas... John Abbott
21:20 CoCoALib 0.30 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?): Mostly done John Abbott
14:11 CoCoA-5 Bug #1795: Makefile problem: needlessly relinks CoCoAInterpreter: I vaguely recall Anna asking for an improvement to the @Makefile@ structure; I do not really recall why.
I also reca... John Abbott
14:11 CoCoA-5 0.20 hour (Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter): Some notes John Abbott
14:07 CoCoA-5 Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter: Assuming that @CoCoAInterpreter@ is already compiled (and up-to-date).
Running @make check@ in directory @src/CoCoA-... John Abbott
12:16 CoCoA-5 Bug #1794: Do not use random inside tests!!: My @g++@ reports version info @gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)@
My clang reports version info @Ubu... John Abbott
12:16 CoCoA-5 0.25 hour (Bug #1794 (Resolved): Do not use random inside tests!!): Some notes John Abbott
12:13 CoCoA-5 Bug #1794 (Resolved): Do not use random inside tests!!: We must avoid using @random@ inside tests. Relevant files are
* @demo-Osaka2015.cocoa5@
* @ErrMesg.cocoa5@
* @tes... John Abbott
11:11 CoCoALib Feature #1793 (In Progress): Use ErrorContext instead of string FnName: While resolving issue #1726 I needed to call some arg-check functions specifying where in the source the arg-check wa... John Abbott
11:11 CoCoALib 3.00 hours (Feature #1793 (In Progress): Use ErrorContext instead of string FnName): Mostly done? John Abbott
11:06 CoCoALib Feature #1793 (In Progress): Use ErrorContext instead of string FnName: There is now a class *@ErrorContext@* and macro @CoCoA_ERROR_CONTEXT@ for recording:
* function name
* file name
*... John Abbott

15 Mar 2024

22:03 CoCoALib Design #1792: CpuTimeOut: arg of type ErrorContext?: Analogous question for @InterruptReceived@?
Note that C++20 includes something quite similar to @ErrorContext@...
John Abbott
22:03 CoCoALib 0.10 hour (Design #1792 (New): CpuTimeOut: arg of type ErrorContext?): Also... John Abbott
22:01 CoCoALib Design #1792 (New): CpuTimeOut: arg of type ErrorContext?: Currently @CpuTimeOut@ expects a C-string nae of the fn.
Should it accept instead a @ErrorContext@? John Abbott
20:08 CoCoALib 1.00 hour (Bug #1726 (Closed): Dangling references to temporaries): Resolved John Abbott
20:08 CoCoALib Bug #1726 (Resolved): Dangling references to temporaries: Resolved, and checked in. But still need to so some cleaning... (sigh!)
John Abbott
19:25 CoCoALib Bug #1790 (Resolved): saturate with zero ideals: The problem was that in @BuiltInFunctions-CoCoALib.C@ there was a call to @I->mySaturate(J)@ instead of @saturate(I,J... John Abbott
19:25 CoCoALib 0.50 hour (Bug #1790 (Closed): saturate with zero ideals): Resolved John Abbott
18:33 CoCoALib Feature #743: Better errors: give supplementary info about the error: Let's finish this for version 1.0
John Abbott
18:33 CoCoALib 0.25 hour (Feature #743 (In Progress): Better errors: give supplementary info about the error): Update John Abbott

14 Mar 2024

20:46 CoCoALib Bug #1726: Dangling references to temporaries: This is one of those mind-numbing tasks. I think I have made most of the changes, but there is still plenty of clean... John Abbott
20:46 CoCoALib 1.50 hour (Bug #1726 (Closed): Dangling references to temporaries): Ugh! John Abbott

13 Mar 2024

21:19 CoCoALib 0.10 hour (Feature #575 (In Progress): Investigate using cmake for configuration): Reject? Close? John Abbott
21:19 CoCoALib Feature #575: Investigate using cmake for configuration: This has been dormant for 7 years. Should we close/reject it?
John Abbott
21:16 CoCoALib Support #1761 (Closed): MakeTermOrdMat: improve error mesg: John Abbott
21:16 CoCoALib 0.25 hour (Support #1761 (Closed): MakeTermOrdMat: improve error mesg): John Abbott
21:11 CoCoALib 0.20 hour (Design #832 (New): Generalize grading matrix): Current thoughts John Abbott
21:11 CoCoALib Design #832: Generalize grading matrix: My current preference is to allow gradings with negative weights, and possibly linearly dependent weight matrices.
T... John Abbott
21:01 CoCoALib Bug #111 (Closed): Mod fn for computing remainder: As far as I can tell we have had no problems with this over the last 10 years.
I have rectified the documentation (i... John Abbott
21:01 CoCoALib 0.25 hour (Bug #111 (Closed): Mod fn for computing remainder): No problems on over 10 years John Abbott
20:44 CoCoALib Bug #1790: saturate with zero ideals: The code probably needs to be redesigned: we spoke about this last time, that ideals should not be modifiable, but th... John Abbott
20:44 CoCoALib 0.10 hour (Bug #1790 (Closed): saturate with zero ideals): Redesign John Abbott
20:37 CoCoALib 0.25 hour (Bug #1790 (Closed): saturate with zero ideals): Source code John Abbott
20:37 CoCoALib Bug #1790 (In Progress): saturate with zero ideals: The relevant source code is in *@TmpGOperations.C@* near line 864.
One problem is that an empty @PolyList@ does know... John Abbott
19:27 CoCoALib Bug #1790: saturate with zero ideals: It should be easy to fix these two cases. Are there any others involving the zero ideal?
Make several tests and adj... John Abbott
19:27 CoCoALib 0.25 hour (Bug #1790 (Closed): saturate with zero ideals): Easy? John Abbott
19:26 CoCoALib Bug #1790 (Closed): saturate with zero ideals: The following two bugs were also present in Singular...... John Abbott
20:42 CoCoALib 0.20 hour (Feature #1559 (In Progress): Default ctor for rings): Restating what Anna wrote? John Abbott
20:42 CoCoALib Feature #1559 (In Progress): Default ctor for rings: I think Anna may be proposing to store in the cone object a @RingElem@ rather than a @ring@; you can always obtain th... John Abbott

12 Mar 2024

20:39 CoCoALib Bug #1789 (In Progress): GradingMat with negative weights should complain (or deal with them properly!!): The documentation says that if the grading-dim is not specified then it is taken to be 0. Perhaps this is misleading... John Abbott
20:39 CoCoALib 0.10 hour (Bug #1789 (Closed): GradingMat with negative weights should complain (or deal with them properly!!)): According to the doc... John Abbott

11 Mar 2024

10:48 CoCoALib Bug #1726: Dangling references to temporaries: After discussing, we think my approach makes sense. So I must look at all messages in the patch.
John Abbott
10:48 CoCoALib 0.25 hour (Bug #1726 (Closed): Dangling references to temporaries): Anna says OK John Abbott

29 Feb 2024

15:33 CoCoALib 1.00 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): Mostly done John Abbott
15:33 CoCoALib Bug #1749 (Resolved): Configuration hiccups on Mac M1: CoCoALib now seems to compile without too many hiccups... Will check in shortly.
Not yet tried CoCoA-5
John Abbott

28 Feb 2024

21:32 CoCoALib Bug #1749: Configuration hiccups on Mac M1: Aha! The examples with @wrong output@ are *all examples* which are expected to produce output.
There are two like... John Abbott
21:32 CoCoALib 0.20 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): Aha! John Abbott
20:36 CoCoALib Bug #1749 (In Progress): Configuration hiccups on Mac M1: I have now changed all messages in the checking scripts so that they specify the full path when referring to @LogFile... John Abbott
20:36 CoCoALib 0.70 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): Some progress John Abbott
19:59 CoCoALib 0.20 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): Soon? John Abbott
19:59 CoCoALib Bug #1749: Configuration hiccups on Mac M1: I'm hoping to sort this out soon... ideally by tomorrow (ha ha!). It seems I've forgotten username/password (sigh). ... John Abbott
21:27 CoCoA-5 Support #915: When is a semicolon needed to end a statement/command?: It'd be nice if there were a clean answer to this question, but it is also quite unimportant.
I don't recall ever ha... John Abbott
21:27 CoCoA-5 0.10 hour (Support #915 (New): When is a semicolon needed to end a statement/command?): Unimportant? John Abbott
21:24 CoCoA-5 Bug #611: GUI: qutting provokes Imminent Disaster: A possibly related curiosity is that when one exits the GUI by typing in *@ciao;@* it is necessary to dismiss a smal... John Abbott
21:24 CoCoA-5 0.10 hour (Bug #611 (New): GUI: qutting provokes Imminent Disaster): Related? John Abbott
21:21 CoCoA-5 Bug #611: GUI: qutting provokes Imminent Disaster: I have added Uli as a watcher in case he happens to have an idea how to resolve this... he seems to be a Qt magician ... John Abbott
21:21 CoCoA-5 0.10 hour (Bug #611 (New): GUI: qutting provokes Imminent Disaster): Uli? John Abbott
21:18 CoCoA-5 Bug #611: GUI: qutting provokes Imminent Disaster: The problem persists, but the error message is less alarming now:... John Abbott
21:18 CoCoA-5 0.20 hour (Bug #611 (New): GUI: qutting provokes Imminent Disaster): Still a problem John Abbott
21:20 CoCoA-5 0.10 hour (Bug #612 (Closed): The C5 gui does not exit properly when using the exit menu entry): Duplicate John Abbott
21:20 CoCoA-5 Bug #612 (Closed): The C5 gui does not exit properly when using the exit menu entry: This is apparently a duplicate of #611, so I shall close this issue.
John Abbott

25 Feb 2024

19:04 CoCoA-5 Bug #1713: Windows: Qt-Gui does not link correctly: It seems to have worked on my laptop (Ubuntu). I'll do a few more checks, but hope to include the change in the next... John Abbott
19:04 CoCoA-5 0.10 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly): Seems OK John Abbott
12:39 CoCoA-5 0.10 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly): Thanks! John Abbott
12:39 CoCoA-5 Bug #1713: Windows: Qt-Gui does not link correctly: Thanks Ulrich! There's a lot I do not know about Qt (and many other things too). I hope to try out your suggestion... John Abbott

24 Feb 2024

18:34 CoCoALib 0.10 hour (Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?): Phone John Abbott
18:34 CoCoALib Design #1783: Code & doc structure: one-big-file or many-small-files?: A brief phone discussion with Anna yesterday suggested a vague preference for many-small-files.
But no genuine reaso... John Abbott
18:33 CoCoALib 0.50 hour (Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?): John Abbott
18:33 CoCoALib Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?: Thoughts about one-big-file vs many-small-files:
For source code:
* ASSUME many-small-files means many header fil... John Abbott
18:32 CoCoALib Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?: I'd like to discuss briefly the pros & cons of many-small-files and one-big-file. Currently the CoCoALib code is a m... John Abbott

23 Feb 2024

12:13 CoCoALib 0.20 hour (Bug #1779 (Closed): Radical error with lex (again)): New bug? John Abbott
12:07 CoCoALib 0.10 hour (Feature #379 (Closed): Iter for subsets/tuples): ANNA John Abbott
12:07 CoCoALib Feature #379: Iter for subsets/tuples: *ANNA* will test this over the next week :-)
John Abbott
11:38 CoCoALib Slug #1754 (Closed): IsSqFree poorly implemented: John Abbott
11:38 CoCoALib 0.15 hour (Slug #1754 (Closed): IsSqFree poorly implemented): John Abbott
11:34 CoCoALib Support #1265 (Closed): Unregistered TXT files in doc: John Abbott
11:34 CoCoALib 0.66 hour (Support #1265 (Closed): Unregistered TXT files in doc): John Abbott

Also available in: Atom

Project

General

Profile

CoCoA Project

John Abbott's activity

20 Mar 2024

19 Mar 2024

18 Mar 2024

17 Mar 2024

16 Mar 2024

15 Mar 2024

14 Mar 2024

13 Mar 2024

12 Mar 2024

11 Mar 2024

10 Mar 2024

08 Mar 2024

07 Mar 2024

01 Mar 2024

29 Feb 2024

28 Feb 2024

25 Feb 2024

24 Feb 2024

23 Feb 2024