Activity

John Abbott's activity

From 05 Mar 2024 to 03 Apr 2024

28 Mar 2024

23:10 CoCoALib Bug #1661 (Closed): Microsoft: cannot compile with signal handling: I think Nico said it is OK now. Closing!
John Abbott
23:10 CoCoALib 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling): Closing John Abbott
23:04 CoCoALib Bug #1811 (Resolved): Check include guards: Also the interpreter has CPP symbols without the CoCoA prefix. Is that right?
John Abbott
23:04 CoCoALib 0.20 hour (Bug #1811 (Feedback): Check include guards): Mostly done John Abbott
23:00 CoCoALib Bug #1811 (Feedback): Check include guards: Some files have include guards without the @CoCoA_@ prefix... John Abbott

26 Mar 2024

17:19 CoCoALib 0.10 hour (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib): Michele John Abbott
17:19 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib: Michele Toriell is asking for this. There was C++ from when i was in Passau: dig it out, and blow the dust off.
John Abbott
17:14 CoCoALib 0.10 hour (Feature #598 (In Progress): Syzygy for modules: non-homogeneous module): Good idea John Abbott
17:14 CoCoALib Feature #598: Syzygy for modules: non-homogeneous module: Good idea to make comprehensive tests.... perhaps not easy.
Why "feedback" and 10% complete?
John Abbott
17:12 CoCoA-5 Feature #1072: syz: apply to ModuleElem?: Agreed that we should reject.
John Abbott
17:12 CoCoA-5 0.10 hour (Feature #1072 (Rejected): syz: apply to ModuleElem?): Agreed John Abbott

25 Mar 2024

19:31 CoCoALib Design #1804: Use long long (at least sometimes)?: Personally I was hoping to drop support for 32-bit platforms, but @long@ on MinGW is only 32-bits. Does MinGW offer ... John Abbott
19:31 CoCoALib 0.20 hour (Design #1804 (In Progress): Use long long (at least sometimes)?): Backward compatibility John Abbott
19:29 CoCoALib Design #1804 (In Progress): Use long long (at least sometimes)?: Winfried Bruns suggested in issue #1661 to consider using *@long long@* wherever we want more than 32-bits.
Investig... John Abbott
19:16 CoCoALib 0.10 hour (Feature #1797 (New): Add a function CleanupGens making some easy cleaning on the generators?): Also radical? John Abbott
19:16 CoCoALib Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?: This might be a separate issue: should there also be a similar function which "prepares" the generators for computin... John Abbott
19:05 CoCoALib 0.20 hour (Design #1802 (New): Tidying ideal generators (for non-polynomial ideals)): First steps John Abbott
19:05 CoCoALib Design #1802: Tidying ideal generators (for non-polynomial ideals): First steps:
* remove 0 generators
* if any generator is 1 (or invertible) then the ideal is 1
* for integer ideal... John Abbott
19:02 CoCoALib Design #1802 (New): Tidying ideal generators (for non-polynomial ideals): Generalize the ideas of issue #1647 to other types of ideal (and modules?)
John Abbott
18:49 CoCoALib Design #1801: BuildInfo: We need to consider the behaviour both in CoCoALib and in CoCoA-5.
Anna suggests that it is more helpful to mainta... John Abbott
18:49 CoCoALib 0.25 hour (Design #1801 (In Progress): BuildInfo): CoCoALib & CoCoA-5 John Abbott
18:47 CoCoALib Design #1801 (In Progress): BuildInfo: Three things:
* why do some preprocessor flags have prefix *@COCOA_@* while others have *@CoCoA_@* ?
* for whom are... John Abbott
18:18 CoCoALib Bug #1661 (Resolved): Microsoft: cannot compile with signal handling: John Abbott
18:05 CoCoALib 0.10 hour (Bug #1726 (Closed): Dangling references to temporaries): Closing John Abbott
18:05 CoCoALib Bug #1726 (Closed): Dangling references to temporaries: I believe I have made all necessary changes. So closing -- it works fine for us... John Abbott
17:49 CoCoALib Design #1800: Conversion from SmallPrime to UNSIGNED long?: We have long tried to avoid unsigned values because they can cause inconvenient, silent, automatic conversions.
But ... John Abbott
17:49 CoCoALib 0.20 hour (Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?): Unsigned John Abbott
17:47 CoCoALib Design #1800 (In Progress): Conversion from SmallPrime to UNSIGNED long?: Currently there is an "implicit" conversion from @SmallPrime@ to @signed long@.
Should the conversion instead be to ... John Abbott

24 Mar 2024

10:52 CoCoALib 0.25 hour (Design #1799 (New): Clean out OLD CODE?): Some notes John Abbott
10:52 CoCoALib Design #1799: Clean out OLD CODE?: Apart from being untidy (& possibly embarassing) the old code does sometimes cost time if we have to maintain it.
Wh... John Abbott
10:50 CoCoALib Design #1799 (New): Clean out OLD CODE?: The sources contain some quite old code which is likely no longer used.
We should identify the code and consider rem... John Abbott

22 Mar 2024

22:04 CoCoALib Bug #1661: Microsoft: cannot compile with signal handling: I have been working through Nico's changes. Still undecided about several of them :-/
The 32-bit vs 64-bit problems... John Abbott
22:04 CoCoALib 1.50 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling): Ugh! John Abbott
21:01 CoCoALib Support #302: Compilation on M$Windows: Visual Studio: Is any of this still relevant?
John Abbott
21:01 CoCoALib 0.10 hour (Support #302 (In Progress): Compilation on M$Windows: Visual Studio): Still relevant? John Abbott
18:18 CoCoA-5 0.20 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5): Shortcut John Abbott
18:18 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5: I like Anna's possible shortcut from comment 9.
Shall we impl it?
*NOTE* also for CoCoALib? John Abbott
17:53 CoCoALib 0.30 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup)): More notes John Abbott
17:53 CoCoALib Slug #1394 (In Progress): Oddly slow GBasis computation (slow final cleanup): Anna points out that the actual cost is the normal form reduction inside the *@isin@* operator. The computation of t... John Abbott
09:35 CoCoALib Bug #1726 (Feedback): Dangling references to temporaries: John Abbott
09:35 CoCoALib Design #1649 (Feedback): Add file SparsePolyOps-vector.C: John Abbott
09:29 CoCoALib Slug #1588: ElimMat is slow: I though we had a class for incremental gaussian reduction. That should be useful in this case!
We can also make ... John Abbott
09:29 CoCoALib 0.10 hour (Slug #1588 (New): ElimMat is slow): INcr gauss John Abbott
09:23 CoCoALib Design #1798 (New): Computing in sub polyring: Investigate whether it is a good idea to adapt certain operations to compute in a sub polyring (without unnecessary i... John Abbott

21 Mar 2024

20:40 CoCoALib 0.25 hour (Slug #1756 (In Progress): deg(f) is slow if f is long): Can do better John Abbott
20:40 CoCoALib Slug #1756: deg(f) is slow if f is long: My previous comment just above is correct, but we can sometimes do better.
I think we need to consider just the "low... John Abbott
20:31 CoCoALib 0.20 hour (Bug #1749 (Closed): Configuration hiccups on Mac M1): John Abbott
20:31 CoCoALib Bug #1749 (Closed): Configuration hiccups on Mac M1: John Abbott
20:29 CoCoALib Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?: I'm too lazy to track down all the functions which ought to be tested, and then to write the corresponding tests.
So... John Abbott
20:29 CoCoALib 0.10 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?): Closing John Abbott
20:24 CoCoALib Design #1606 (Closed): Return type with const: John Abbott
20:24 CoCoALib 0.10 hour (Design #1606 (Closed): Return type with const): John Abbott
20:18 CoCoALib 0.75 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Done! John Abbott
20:18 CoCoALib Bug #1641 (Closed): gcd does not recognize univariate input: I have added some new tests to @test-SparsePolyRing1.C@.
I conform that Anna's example from comment 11 does seems to... John Abbott
10:25 CoCoALib Bug #1641: gcd does not recognize univariate input: Ah yes, I do have debugging on.
Do you get a measurable time difference if the ring contains just 3 indets or if it ... John Abbott
10:25 CoCoALib 0.10 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Ahhh! John Abbott

20 Mar 2024

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:41 CoCoA-5 0.50 hour (Bug #1794 (Resolved): Do not use random inside tests!!): Ahhh random! 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
22:03 CoCoALib 1.50 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Seems to work 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 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:18 CoCoALib 0.20 hour (Bug #1641 (Closed): gcd does not recognize univariate input ): Relevant source code 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 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:48 CoCoALib 0.10 hour (Bug #1726 (Closed): Dangling references to temporaries): To Jerry James 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 (Feedback): 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 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:27 CoCoA-5 0.10 hour (Feature #1583 (New): New fn ElapsedTimeFrom?): Not convinced 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 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:14 CoCoA-5 0.20 hour (Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon): Mmmm John Abbott
21:05 CoCoA-5 0.20 hour (Feature #1701 (In Progress): Preliminary packages): Documentation 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
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:59 CoCoA-5 0.20 hour (Design #1709 (Closed): Test tut-CoCoLA2): Suggestion 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 0.50 hour (Design #1606 (Closed): Return type with const): Mostly done 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
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 0.50 hour (Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter): Maybe solved John Abbott
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: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 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:51 CoCoALib 0.10 hour (Feature #206 (In Progress): Matrix equation solving: LinKer): Wow! 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:47 CoCoALib 0.10 hour (Feature #1619 (Closed): Make saturate available in CoCoALib): Added to header file 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 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:38 CoCoALib 0.25 hour (Design #894 (In Progress): strict enum types: C++11 extension): Better to wait? 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 0.30 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?): Mostly done 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
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 0.25 hour (Bug #1794 (Resolved): Do not use random inside tests!!): Some notes 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: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 Bug #1726 (Resolved): Dangling references to temporaries: Resolved, and checked in. But still need to so some cleaning... (sigh!)
John Abbott
20:08 CoCoALib 1.00 hour (Bug #1726 (Closed): Dangling references to temporaries): Resolved 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 0.25 hour (Support #1761 (Closed): MakeTermOrdMat: improve error mesg): John Abbott
21:16 CoCoALib 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 0.25 hour (Bug #1726 (Closed): Dangling references to temporaries): Anna says OK John Abbott
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

Also available in: Atom

Project

General

Profile

CoCoA Project

John Abbott's activity

28 Mar 2024

26 Mar 2024

25 Mar 2024

24 Mar 2024

22 Mar 2024

21 Mar 2024

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