Activity
From 20 Dec 2019 to 18 Jan 2020
18 Jan 2020
- 20:40 CoCoA-5 Bug #1335: ManExamples: some problems
- I have commented out the example for @StandardInput@. Hopefully the user will understand...
- 20:18 CoCoA-5 Support #1344: Clean out OBSOLESCENT
- Check the manual. Perhaps genuinely remove the fns which are only commented out?
- 20:05 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- Should the "get-row" or "get-col" function make a copy or just refer to the original matrix?
Making a copy could b... - 19:59 CoCoALib Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- We could even use the names *@row@* and *@col@*, so sample uses would be ...
- 19:47 CoCoALib Bug #1264 (In Progress): Remove unnecessary files before making CoCoALib release TGZ files
- We should make a few tests to see what actually happens with the current scripts.
While it should be harmless to a... - 19:24 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU
- I'll think about it and investigate
- 15:00 CoCoA-5 Bug #1396: Website: download page for CoCoA-4 burns CPU
- I am inclined to remove the web pages about downloading CoCoA-4.
If we really want to continue to make it availabl... - 14:59 CoCoA-5 Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU
- By chance I landed on the download page for CoCoA-4 -- apparently we still have such a page!
It caused Firefox on ...
17 Jan 2020
- 22:20 CoCoALib Design #1377 (Feedback): CpuTimeLimit: limit "intervals" between full checks
- I think the current impl is acceptable; so moving to _feedback_. Doc seems OK too.
- 15:43 CoCoALib Feature #1395: SHA checksum for released code
- To release source code we should do the following:
# generate TARGZ file (maybe also TAR.XZ which is usually smalle... - 15:32 CoCoALib Feature #1395 (In Progress): SHA checksum for released code
- Original request came from Winfried Bruns (via email on 2020-01-17).
The purpose of the SHA-256 checksum is to pro... - 15:24 CoCoALib Feature #1395 (Closed): SHA checksum for released code
- Winfried Bruns requests that we make available also an SHA-256 checksum for code that we distribute.
This seems to...
16 Jan 2020
- 16:31 CoCoA-5 Slug #1392 (In Progress): ApproxSolve: another slow example
- We (Robbiano and I) found a way to solve it quickly: compute the radical first!...
- 14:10 CoCoA-5 Design #1334: sylvester or SylvesterMat?
- Added test to @test-MatrixSpecial1.C@
- 12:28 CoCoA-5 Design #1334 (Closed): sylvester or SylvesterMat?
- There is no test, but otherwise the code looks fine. Closing.
- 12:19 CoCoA-5 Support #1350: CoCoA manual: entry for operators, shortcuts
- The standard arithmetic operators were not listed (plus, minus, times, divide, power). Maybe others too? We should ...
- 12:17 CoCoA-5 Feature #1372: New function: find ?
- This is probably a very useful issue, but I prefer to add new functions after the next release (unless this fn is nee...
- 12:15 CoCoA-5 Bug #1230: PrimaryDecomposition with lex ordering
- This seems to work for me now.
We must add a test to @exbugs.cocoa5@; we can simply copy the failing case from the...
15 Jan 2020
- 22:51 CoCoALib Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup)
- The following computation seems to spend more time in "clean up" than elsewhere; is this reasonable?...
- 22:15 CoCoALib Bug #1319 (Feedback): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- It is probably best to regard this as resolved, and just test it as is.
Perhaps it is not perfect, but I think the c...
14 Jan 2020
- 21:52 CoCoALib Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- I have just repeated the steps described in comment 4, and this time it worked as hoped.
I have a *doubt*: in the ...
13 Jan 2020
- 21:35 CoCoA-5 Support #1393 (Feedback): GUI with Qt5
- Ulrich von der Ohe has written saying that he appears to have a working GUI with Qt5 (on his Linux box).
He has se... - 20:52 CoCoA-5 Slug #1392: ApproxSolve: another slow example
- It took about 3mins on my computer: anyway not more than 220s.
- 20:48 CoCoA-5 Slug #1392 (Closed): ApproxSolve: another slow example
- Here is another seemingly simple system where @ApproxSolve@ is unexpectedly slow...
- 20:49 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- John Abbott wrote:
> Recalling part of my comment 13:
> One aspect we could implement, which C++ does not, is the n... - 20:13 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- Recalling part of my comment 13:
One aspect we could implement, which C++ does not, is the notion of "list of elems ... - 18:38 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- Re-reading the comments I think it's not worth it.
I went through all the code and removed all calls to @CoCoAVect... - 18:34 CoCoALib Feature #966 (Resolved): New function or explain: first and last for a vector?
- OK, I think we should not make a function in lib.
I added an example in ex-c++.C.
Now I realized that there is a ... - 18:23 CoCoALib Feature #1212: New function: GBasisByHomog
- This works fine now, but only for few orderings.
The general case will not be done for this release. Postponing. - 17:34 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis
- No hope to make this in time for 0.99720 (requires too much planning)
- 17:20 CoCoALib Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- Example: so I know where to find one ;-)...
- 16:42 CoCoALib Slug #1238 (Resolved): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- The real solution is using @RingElems@, this new function is actually quite useful for other things too, and also in ...
- 16:35 CoCoA-5 Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5
- As discussed in #1931, there are now two functions:
(A) @RingElems(RING, STRING)@ example @RingElems(P, "x*y,z")@
... - 16:00 CoCoALib Design #1391: RingElems: syntax with [ and ] ?
- We could have a @RingElemList@ in CoCoA-5.
I have defined a function in @NotBuiltin.cpkg5@. About to check it in.
... - 12:11 CoCoALib Design #1391 (In Progress): RingElems: syntax with [ and ] ?
- Could it make sense to have a "variant" fn which accepts @[@ and @]@?
Maybe @RingElemVec@ or @RingElemList@?
- 11:24 CoCoALib Design #1391: RingElems: syntax with [ and ] ?
- It is compatible with @NewPolyRing(QQ, "x,y,z")@.
I prefer not to add the brackets because then we have to make th... - 12:16 CoCoA-5 Slug #1390 (Resolved): CoCoA-5 test: radical too slow
- I separated the file into two files
@radical0dim.cocoa5@ and @radical.cocoa5@.
Even though the function is the same... - 09:36 CoCoALib Design #1389: myZeroPtr and myOnePtr
- Thanks for the explanation. Now I will remember why.
12 Jan 2020
- 19:00 CoCoALib Design #1389 (Rejected): myZeroPtr and myOnePtr
- JAA thinks this proposal should be *REJECTED* because it is unsafe.
The crucial point is that if the data fields @...
10 Jan 2020
- 17:08 CoCoA-5 Slug #1390: CoCoA-5 test: radical too slow
- I have disabled the slow test, and checked in.
Now all CoCoA-5 tests complete in 12s instead of 23s
- 15:56 CoCoA-5 Slug #1390 (In Progress): CoCoA-5 test: radical too slow
- The @radical.cocoa5@ test took 160s (2 min 40s) on the netbook.
I propose simply commenting out that last slow cas... - 17:07 CoCoALib Design #1391 (Closed): RingElems: syntax with [ and ] ?
- I was a little surprised that @RingElems(P, "[x,y]")@ produced a run-time error.
Would it make sense to allow an i... - 15:57 CoCoALib Design #1366: Should configure remove the file ERR_MESGS if it’s empty?
- I have checked and this has not yet been done completely.
It seems that the easy solution is to use the *@trap@* fac... - 12:29 CoCoALib Bug #1380 (Closed): Make IsZeroDim more robust
- 12:17 CoCoALib Bug #1379 (Closed): Fails to recognize zero-dim ideal
- Should there also be more tests where the result is @false@? Probably little point. I could add a couple of really ...
09 Jan 2020
- 22:29 CoCoALib Design #982 (Closed): Catching interrupts in example progs?
- 13:42 CoCoALib Design #982 (Resolved): Catching interrupts in example progs?
- I now disagree with my comment 3 (above), and think that it is (usually) best to create the @SignalWatcher@ just afte...
- 22:28 CoCoALib Bug #1260 (Resolved): Fix file permissions after using CVS
- I think I sent my file (*@FIX_PERMS.sh@*) to Anna via email; and I believe she said it worked mostly OK for her.
She... - 22:22 CoCoALib Feature #259 (Closed): Squarefree(?) GCD-free basis
- These fns were already mentioned in the previous release (0.99650).
Closing after spending 3 months in _feedback_. - 22:17 CoCoALib Feature #303 (Closed): Rows and Columns of a matrix
- Last comment was 8 months ago. The code is there (presumably added then); it is documented.
A comment says there ar... - 22:10 CoCoALib Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages
- A quick search with @fgrep@ shows that all error mesgs are printed out on @/dev/stderr@
No doubt another check will ... - 22:02 CoCoALib Slug #792 (Closed): configure: search for libgmp too slow
- On my main machine @gmp-find.sh@ (with SSD) takes less than 1s; on the little "netbook" it took about 2.8s.
Faster m... - 21:15 CoCoA-5 Feature #1316 (In Progress): Matrix row reduction (rref)
- I have put a simple implementation into the current "internal" version of CoCoALib (and CoCoA-5).
It is called *@rre... - 21:08 CoCoA-5 Bug #1384 (Resolved): NewPolyRing and SymbolRange
- It appears to work fine for me (Linux).
- 17:40 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Done and cvs-ed.
I cleaned up the code in the 3 files @RingDistr..@ and ediffed them so they are a little bit more s... - 12:21 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Now using @ERR::Empty@ (maybe not ideal, but better)...
- 12:00 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- My opinion:
What should SymbolRange do if there are no indets in the range?
empty list (non error)
What should... - 20:57 CoCoALib Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- I think I have found out what the problem is: in some (all?) @Makefile@ the dependencies file has a declared dependen...
- 14:56 CoCoALib Bug #1319: Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- Here is what happened (I think):
* changed version number (CoCoALib and CoCoA-5)
* configure again
* start to buil... - 14:46 CoCoALib Bug #1319 (In Progress): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- This is a bit tricky.
As far as I can see, @make veryclean@ deletes @include/CoCoA/PREPROCESSOR_DEFNS.H@, but then... - 20:49 CoCoA-5 Slug #1390: CoCoA-5 test: radical too slow
- On my computer with debugging the test @radical.cocoa5@ takes more than 60s. It is just about tolerably fast when I ...
- 20:46 CoCoA-5 Slug #1390 (Closed): CoCoA-5 test: radical too slow
- The CoCoA-5 test @radical.cocoa5@ is too slow: it takes longer than all the other CoCoA-5 tests combined.
The culp... - 20:39 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- What is the status of this issue? It is written in a way which suggests that an implementation exists somewhere, but...
- 20:29 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- Not sure how to improve the situation here.
In a sense, all tests passing should mean that CoCoA-5 is "clean"; if ... - 17:18 CoCoALib Feature #1277 (In Progress): Gaussian row reduction
- I have a prototype which seems to work.
It is very simple: accepts a matrix, and returns a matrix. No smarts inside... - 17:01 CoCoALib Design #1389 (In Progress): myZeroPtr and myOnePtr
- I think the clue is in the line above about @MemPool@.
In the dtor for the ring the fields are destroyed in revers... - 16:11 CoCoALib Design #1389 (Rejected): myZeroPtr and myOnePtr
- every concrete ring have these lines (in .C file)...
- 14:19 CoCoA-5 Bug #1385 (Feedback): valgrind: reports 456byte leak
- My fault: I have forgotten to @delete@ some memory obtained via @operator new@.
I have corrected the impl of @Signal... - 13:55 CoCoALib Support #1265: Unregistered TXT files in doc
- Postponing because this is not essential for the next release, and choosing _status quo_ seems to be harmless while a...
- 13:52 CoCoALib Feature #1388: GlobalManager: create SignalWatcher internally?
- Is there any disadvantage to creating a @SignalWatcher@ always?
I think it incurs essentially no run-time cost.
A... - 13:47 CoCoALib Feature #1388 (New): GlobalManager: create SignalWatcher internally?
- Should the @GlobalManager@ have the ability to create a @SignalWatcher@?
If so, should the default be to create a @S... - 13:32 CoCoALib Support #1353: configure script help
- I think that the _documentation_ for the @configure@ script is clear enough now; so am moving this issue to _feedback...
- 13:27 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- It is not quite as simple as I wrote in the previous comment.
The option *@--with-boost=@* will automatically caus... - 13:21 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- There is the configiration option *@--no-boost@* which automatically inhibits building CoCoA-5 (well, it is supposed ...
- 12:27 CoCoALib Design #1366 (Feedback): Should configure remove the file ERR_MESGS if it’s empty?
- I think that this has been done now... I suppose someone should check properly. :-/
- 11:56 CoCoA-5 Feature #1374 (Feedback): Add function power to CoCoA-5
- I have just added a manual entry for @power@. I also removed the keyword @power@ from the entry for @DiagMat@.
- 11:46 CoCoA-5 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- Postpone because it is not urgent/important. It should be a simple change, but I prefer to do it when there is less ...
- 11:43 CoCoA-5 Support #1368 (Feedback): Improve manual for mod
- I have updated the manual entry; I think it is clear now.
- 11:35 CoCoA-5 Design #1352: cocoa5 (launch) script: sleep time
- This has been working fine for about 2 months; so moving to _feedback_.
- 11:33 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page
- John Abbott wrote:
> What should @IsIndetPosPower(x/x)@ give?
> Error or @false@?
> I expected @false@ but actuall... - 11:31 CoCoA-5 Support #1344 (In Progress): Clean out OBSOLESCENT
- I have just commented out all fns in @obsolescent.cpkg5@ which have been there at least 4 years.
All CoCoA-5 tests p... - 11:25 CoCoA-5 Bug #1383 (Feedback): NewPolyRing on MS Windows
- 11:21 CoCoA-5 Bug #1382 (Closed): SEGV: should have been harmless
- tested on MacOS. OK.
- 10:02 CoCoA-5 Support #1387 (In Progress): John's visit Feb 2020
- Here is a list of *PREPARATIONS* before the visit:
* issues which have been in _feedback_ for some time should be cl...
08 Jan 2020
- 23:04 CoCoALib Bug #1362: GBasis verbose mode: some output is on cerr/clog
- Here is a test case:...
- 16:41 CoCoA-5 Bug #1382: SEGV: should have been harmless
- All tests pass, and I have checked in.
- 16:05 CoCoA-5 Bug #1382 (Feedback): SEGV: should have been harmless
- The clue from @valgrind@ was very helpful.
The fn @CommonDenom@ did not check for the case of an empty list (and the... - 15:47 CoCoA-5 Bug #1382: SEGV: should have been harmless
- @valgrind@ suggests that the problem arose inside a call to @CommonDenom@ when it called @IsPolyRing@ (which called @...
- 15:44 CoCoA-5 Bug #1382 (In Progress): SEGV: should have been harmless
- According to gdb, the program crashed in line 48 of @SmartPtrIRC.H@
I wonder what that means 8-|
- 16:08 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- I confirm it works fine on MacOS.
- 15:03 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- Both Bernhard and Peter confirm that everything is fine using the "interim" release 5.2.5; they did comment that the ...
- 09:37 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- According to Peter Mader it also works on Linux with this version, so I think we can close this thread.
- 09:19 CoCoA-5 Bug #1383 (Resolved): NewPolyRing on MS Windows
- Can we now close this issue as it seems to be completely resolved using the latest release of CoCoA-5?
Anyway, a tes... - 01:02 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- The error code displayed after calling the function ...
07 Jan 2020
- 21:59 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- In any case we should add an example like this as a new "official" test.
- 16:31 CoCoA-5 Bug #1383: NewPolyRing on MS Windows
- JAA says the bug is not present on current internal version of CoCoA-5 compiled and running on Linux.
The error me... - 16:29 CoCoA-5 Bug #1383 (Closed): NewPolyRing on MS Windows
- Bernhard Andraschko reports that the following causes a crash on MS Windows 10 Pro (10.0.17763)...
- 21:53 CoCoA-5 Support #1387: John's visit Feb 2020
- * Perhaps arrange for the last few (1, 2, 3?) messages sent to the CoCoA mailing list to be easily accessible from th...
- 21:51 CoCoA-5 Support #1387: John's visit Feb 2020
- Here is a list of things to do (mostly references to other issues):
* fix SEGV bug (#1382)
* look at #1375 and #137... - 21:50 CoCoA-5 Support #1387 (Closed): John's visit Feb 2020
- This issue is to gather things to do during John's visit.
- 21:30 CoCoA-5 Support #1386: IsIndetPosPower: behaviour and manual page
- What should @IsIndetPosPower(x/x)@ give?
Error or @false@?
I expected @false@ but actually got an error.
- 21:22 CoCoA-5 Support #1386 (Closed): IsIndetPosPower: behaviour and manual page
- There is no manual page for @IsIndetPosPower@.
- 20:51 CoCoA-5 Bug #1385: valgrind: reports 456byte leak
- Here is the output from @valgrind@:...
- 20:49 CoCoA-5 Bug #1385 (Closed): valgrind: reports 456byte leak
- I ran @valgrind@ on @CoCoAInterpreter@ taking input from @/dev/null@ (_i.e._ empty input).
The resulting report sa... - 16:45 CoCoA-5 Bug #1384: NewPolyRing and SymbolRange
- Here is a session sample:...
- 16:42 CoCoA-5 Bug #1384 (Closed): NewPolyRing and SymbolRange
- What should @SymbolRange@ do if there are no indets in the range?
What should @NewPolyRing@ do if the result of @Sy... - 16:07 CoCoA-5 Bug #1382: SEGV: should have been harmless
- I was using CoCoA-5 to look for some examples to show the students. It was a surprise when it SEGV'd :-(
- 16:06 CoCoA-5 Bug #1382 (Closed): SEGV: should have been harmless
- I get a SEGV with the following input (no SEGV if the number of loop iters is 100)....
- 14:48 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]
- I think the question was intended as: "can we let the user define an ideal over ZZ[x[1..n]]?"
Now it gives an error:... - 14:28 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]
- JAA moved this to @CoCoALib@.
I think this will not be possible before the CoCoA School in early March (or, at lea...
06 Jan 2020
- 06:46 CoCoALib Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]]
- Is it possible to add the type ideal for the ring ZZ[x[1..n]]?
28 Dec 2019
- 19:03 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- I have added two new tests to *@CoCoA-5/tests/exbugs.cocoa5@* for this issue.
- 18:57 CoCoALib Bug #1379 (Feedback): Fails to recognize zero-dim ideal
- Anna revised the code for *@GBasisByHomog@* (so that the resulting basis is interreduced).
Anna made a new version... - 18:58 CoCoALib Bug #1380 (Feedback): Make IsZeroDim more robust
- 18:49 CoCoALib Bug #1380: Make IsZeroDim more robust
- I have made a new version of @IamZeroDim@ which works with any GB -- no longer needs a minGB.
All tests pass. Check...
27 Dec 2019
- 19:20 CoCoALib Feature #1212: New function: GBasisByHomog
- checked-in. Made new pre-release for Mac.
- 18:49 CoCoALib Feature #1212: New function: GBasisByHomog
- The trick didn't work ... they usually don't.
Fixed interreduction - 16:48 CoCoALib Feature #1212: New function: GBasisByHomog
- I had implemented a _trick_ which I believed would be enough for interreducing (compute the GB twice).
But it is not... - 15:31 CoCoALib Bug #1380 (In Progress): Make IsZeroDim more robust
- I have written a first impl; with this impl, the problem case in issue #1379 works (well, it does not give NYI).
I... - 15:29 CoCoALib Bug #1380 (Closed): Make IsZeroDim more robust
- Currently *@IsZeroDim@* and the impl via *@IamZeroDim@* require the original ideal to have a minimal GB.
However, ... - 14:41 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- I'd like the @IamZeroDim@ impl to be more robust; _i.e._ it should work with any GB not just a minGB.
- 13:22 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- John Abbott wrote:
> Here is an example where @GBasisByHomog@ returns a non-minGB
> [...]
ahhhh!! clue city!!
t... - 13:19 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- John Abbott wrote:
> I have put a print command in the loop inside @IamZeroDim@ around line 530 in @SparsePolyOps-id... - 13:13 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- Here is an example where @GBasisByHomog@ returns a non-minGB...
- 13:01 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- With GDB, the problem seems to be from a call to @IsPrimary@ on line 735 of @SparsePolyOps-ideal-ZeroDim.C@ inside fn...
- 12:47 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- I have put a print command in the loop inside @IamZeroDim@ around line 530 in @SparsePolyOps-ideal.C@.
It reports ... - 12:38 CoCoALib Bug #1379: Fails to recognize zero-dim ideal
- What is the comment on line 528 about?
What happens if the GB is not a RGB? 8-O
Or is that impossible?
- 12:36 CoCoALib Bug #1379 (In Progress): Fails to recognize zero-dim ideal
- JAA and Anna have confirmed the bug (with current CVS version).
The problem seems to be that the ideal is not recogn... - 12:29 CoCoALib Bug #1379 (Closed): Fails to recognize zero-dim ideal
- Robbiano reports (via email) that CoCoA incorrectly produces "error NYI" with the following input...
21 Dec 2019
- 17:31 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- John Abbott wrote:
> I have just spent quite a while trying to work out where I could insert a time-out check inside... - 17:22 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- I have just spent quite a while trying to work out where I could insert a time-out check inside the reduction code.
...
20 Dec 2019
- 17:10 CoCoALib Design #1378 (New): Create two separate radical fns (for 0-dim ideals)
- Proposal: create two functions for computing radicals
* *@radical@* which also tries hard to compute a GB for the r... - 17:05 CoCoALib Slug #1375: Radical 0-dim: varied timings
- I propose doing an experiment along the following lines.
We create a collection of test ideals (perhaps as many a... - 16:59 CoCoALib Design #1377: CpuTimeLimit: limit "intervals" between full checks
- I have checked in the code (even though it is not quite finished yet). It worked tolerably well in my two tests.
- 16:34 CoCoALib Design #1377: CpuTimeLimit: limit "intervals" between full checks
- I have an improved impl, which I hope to check in fairly soon (later today?).
A problem with the description in co... - 16:58 CoCoALib Bug #1376: GBasisTimeout: not working as expected
- The main problem with checking for timeout during GB computation is that the times for each single reduction can vary...
Also available in: Atom