Activity
From 13 Dec 2019 to 11 Jan 2020
10 Jan 2020
- 17:07 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 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 Bug #1380 (Closed): Make IsZeroDim more robust
- 12:17 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 Design #982 (Closed): Catching interrupts in example progs?
- 13:42 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 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 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 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 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 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... - 20:57 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 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 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... - 17:18 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 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 Design #1389 (Rejected): myZeroPtr and myOnePtr
- every concrete ring have these lines (in .C file)...
- 13:55 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 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 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 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 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 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 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. :-/
08 Jan 2020
- 23:04 Bug #1362: GBasis verbose mode: some output is on cerr/clog
- Here is a test case:...
07 Jan 2020
- 14:48 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 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 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 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 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 Bug #1380 (Feedback): Make IsZeroDim more robust
- 18:49 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 Feature #1212: New function: GBasisByHomog
- checked-in. Made new pre-release for Mac.
- 18:49 Feature #1212: New function: GBasisByHomog
- The trick didn't work ... they usually don't.
Fixed interreduction - 16:48 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 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 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 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 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 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 Bug #1379: Fails to recognize zero-dim ideal
- Here is an example where @GBasisByHomog@ returns a non-minGB...
- 13:01 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 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 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 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 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 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 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 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 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 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 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 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...
14 Dec 2019
- 12:37 Design #1377: CpuTimeLimit: limit "intervals" between full checks
- Now I'm thinking it may be simpler to use an approach like this:
measure actual @CpuTime@ difference over the last... - 12:32 Bug #1376: GBasisTimeout: not working as expected
- Reply to comment 6:
yes, @CpuTimeLimit@ does already attempt to adapt automatically. I'm discussing (with myself?) ...
13 Dec 2019
- 18:17 Design #1377 (In Progress): CpuTimeLimit: limit "intervals" between full checks
- The experimental results above suggest that approach *(B)* is probably too simplistic if there is any risk of a @CpuT...
- 14:33 Design #1377: CpuTimeLimit: limit "intervals" between full checks
- Here are the results of an extreme speed test for option *(B)* in the previous comment.
The simplistic test progra... - 13:46 Design #1377: CpuTimeLimit: limit "intervals" between full checks
- My current suggestions:
* *(A)* let the creator of the @CpuTimeLimit@ object specify a maximum interval between genu... - 13:39 Design #1377: CpuTimeLimit: limit "intervals" between full checks
- In the current CVS version, intervals between genuine checks can be as long as 1000000 calls.
*Quick reminder*: is... - 13:30 Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks
- A *@CpuTimeLimit@* object actually genuinely checks the time limit only every @N@ calls to the check function. The v...
- 13:26 Bug #1376: GBasisTimeout: not working as expected
- I was thinking of an alternative approach since the timeout mechanism is applied in so different cases:
The interval... - 12:45 Bug #1376: GBasisTimeout: not working as expected
- An important point to note is that the design of @CpuTimeLimit@ works best when the times between successive calls to...
- 11:57 Slug #1375: Radical 0-dim: varied timings
- Instead of guessing, do this ;-)...
Also available in: Atom