Activity
From 10 Dec 2019 to 08 Jan 2020
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:... -
- 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
-
- I have added two new tests to *@CoCoA-5/tests/exbugs.cocoa5@* for this issue.
-
- Anna revised the code for *@GBasisByHomog@* (so that the resulting basis is interreduced).
Anna made a new version... -
-
- 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
-
- checked-in. Made new pre-release for Mac.
-
- The trick didn't work ... they usually don't.
Fixed interreduction -
- I had implemented a _trick_ which I believed would be enough for interreducing (compute the GB twice).
But it is not... -
- I have written a first impl; with this impl, the problem case in issue #1379 works (well, it does not give NYI).
I... -
- Currently *@IsZeroDim@* and the impl via *@IamZeroDim@* require the original ideal to have a minimal GB.
However, ... -
- I'd like the @IamZeroDim@ impl to be more robust; _i.e._ it should work with any GB not just a minGB.
-
- John Abbott wrote:
> Here is an example where @GBasisByHomog@ returns a non-minGB
> [...]
ahhhh!! clue city!!
t... -
- John Abbott wrote:
> I have put a print command in the loop inside @IamZeroDim@ around line 530 in @SparsePolyOps-id... -
- Here is an example where @GBasisByHomog@ returns a non-minGB...
-
- With GDB, the problem seems to be from a call to @IsPrimary@ on line 735 of @SparsePolyOps-ideal-ZeroDim.C@ inside fn...
-
- I have put a print command in the loop inside @IamZeroDim@ around line 530 in @SparsePolyOps-ideal.C@.
It reports ... -
- What is the comment on line 528 about?
What happens if the GB is not a RGB? 8-O
Or is that impossible?
-
- JAA and Anna have confirmed the bug (with current CVS version).
The problem seems to be that the ideal is not recogn... -
- Robbiano reports (via email) that CoCoA incorrectly produces "error NYI" with the following input...
21 Dec 2019
-
- John Abbott wrote:
> I have just spent quite a while trying to work out where I could insert a time-out check inside... -
- 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
-
- Proposal: create two functions for computing radicals
* *@radical@* which also tries hard to compute a GB for the r... -
- I propose doing an experiment along the following lines.
We create a collection of test ideals (perhaps as many a... -
- I have checked in the code (even though it is not quite finished yet). It worked tolerably well in my two tests.
-
- I have an improved impl, which I hope to check in fairly soon (later today?).
A problem with the description in co... -
- The main problem with checking for timeout during GB computation is that the times for each single reduction can vary...
14 Dec 2019
-
- Now I'm thinking it may be simpler to use an approach like this:
measure actual @CpuTime@ difference over the last... -
- Reply to comment 6:
yes, @CpuTimeLimit@ does already attempt to adapt automatically. I'm discussing (with myself?) ...
13 Dec 2019
-
- The experimental results above suggest that approach *(B)* is probably too simplistic if there is any risk of a @CpuT...
-
- Here are the results of an extreme speed test for option *(B)* in the previous comment.
The simplistic test progra... -
- My current suggestions:
* *(A)* let the creator of the @CpuTimeLimit@ object specify a maximum interval between genu... -
- In the current CVS version, intervals between genuine checks can be as long as 1000000 calls.
*Quick reminder*: is... -
- A *@CpuTimeLimit@* object actually genuinely checks the time limit only every @N@ calls to the check function. The v...
-
- I was thinking of an alternative approach since the timeout mechanism is applied in so different cases:
The interval... -
- An important point to note is that the design of @CpuTimeLimit@ works best when the times between successive calls to...
-
- Instead of guessing, do this ;-)...
12 Dec 2019
-
- It seems that my guess was good.
In @CpuTimeLimit.C@ around line 67, the code allowed the interval between full ch... -
- I noticed the problem while using a simple program to look for ideals where it was costly to compute the RGB of the r...
-
- It seems that sometimes @GBasisTimeout@ does not timeout as one would expect.
I have just interrupted (via C-c C-c... -
- I have modified my program to call @GBasisTimeout@, and I specified 30s as the time-out.
I was a bit surprised to fi... -
- Here are some more examples where it takes a long time to compute RGB after computing radical:...
-
- The current solution (increasing the "increment" to 0.5) works well on the small examples I have tried: sometimes the...
11 Dec 2019
-
- Following Anna's suggestion I moved @t0 := CpuTime();@ to just before the computation of the radical; so the time dif...
10 Dec 2019
-
- Sometimes radical is computed with the GBasis, sometimes not: this depends on a timeout, which probably is a very cri...
-
- I have done more testing. The timings really do vary from run to run.
I wrote a shell script which took exactly t... -
- This getting more puzzling!
Here is another example: essentially the same code as in the original description but
...
Also available in: Atom