Activity
From 14 Dec 2019 to 12 Jan 2020
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
-
- I have disabled the slow test, and checked in.
Now all CoCoA-5 tests complete in 12s instead of 23s
-
- The @radical.cocoa5@ test took 160s (2 min 40s) on the netbook.
I propose simply commenting out that last slow cas... -
- I was a little surprised that @RingElems(P, "[x,y]")@ produced a run-time error.
Would it make sense to allow an i... -
- I have checked and this has not yet been done completely.
It seems that the easy solution is to use the *@trap@* fac... -
-
- Should there also be more tests where the result is @false@? Probably little point. I could add a couple of really ...
09 Jan 2020
-
-
- I now disagree with my comment 3 (above), and think that it is (usually) best to create the @SignalWatcher@ just afte...
-
- 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... -
- These fns were already mentioned in the previous release (0.99650).
Closing after spending 3 months in _feedback_. -
- Last comment was 8 months ago. The code is there (presumably added then); it is documented.
A comment says there ar... -
- A quick search with @fgrep@ shows that all error mesgs are printed out on @/dev/stderr@
No doubt another check will ... -
- On my main machine @gmp-find.sh@ (with SSD) takes less than 1s; on the little "netbook" it took about 2.8s.
Faster m... -
- I have put a simple implementation into the current "internal" version of CoCoALib (and CoCoA-5).
It is called *@rre... -
- 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... -
- Now using @ERR::Empty@ (maybe not ideal, but better)...
-
- My opinion:
What should SymbolRange do if there are no indets in the range?
empty list (non error)
What should... -
- I think I have found out what the problem is: in some (all?) @Makefile@ the dependencies file has a declared dependen...
-
- Here is what happened (I think):
* changed version number (CoCoALib and CoCoA-5)
* configure again
* start to buil... -
- This is a bit tricky.
As far as I can see, @make veryclean@ deletes @include/CoCoA/PREPROCESSOR_DEFNS.H@, but then... -
- On my computer with debugging the test @radical.cocoa5@ takes more than 60s. It is just about tolerably fast when I ...
-
- The CoCoA-5 test @radical.cocoa5@ is too slow: it takes longer than all the other CoCoA-5 tests combined.
The culp... -
- What is the status of this issue? It is written in a way which suggests that an implementation exists somewhere, but...
-
- Not sure how to improve the situation here.
In a sense, all tests passing should mean that CoCoA-5 is "clean"; if ... -
- I have a prototype which seems to work.
It is very simple: accepts a matrix, and returns a matrix. No smarts inside... -
- I think the clue is in the line above about @MemPool@.
In the dtor for the ring the fields are destroyed in revers... -
- every concrete ring have these lines (in .C file)...
-
- My fault: I have forgotten to @delete@ some memory obtained via @operator new@.
I have corrected the impl of @Signal... -
- Postponing because this is not essential for the next release, and choosing _status quo_ seems to be harmless while a...
-
- Is there any disadvantage to creating a @SignalWatcher@ always?
I think it incurs essentially no run-time cost.
A... -
- Should the @GlobalManager@ have the ability to create a @SignalWatcher@?
If so, should the default be to create a @S... -
- I think that the _documentation_ for the @configure@ script is clear enough now; so am moving this issue to _feedback...
-
- It is not quite as simple as I wrote in the previous comment.
The option *@--with-boost=@* will automatically caus... -
- There is the configiration option *@--no-boost@* which automatically inhibits building CoCoA-5 (well, it is supposed ...
-
- I think that this has been done now... I suppose someone should check properly. :-/
-
- I have just added a manual entry for @power@. I also removed the keyword @power@ from the entry for @DiagMat@.
-
- Postpone because it is not urgent/important. It should be a simple change, but I prefer to do it when there is less ...
-
- I have updated the manual entry; I think it is clear now.
-
- This has been working fine for about 2 months; so moving to _feedback_.
-
- John Abbott wrote:
> What should @IsIndetPosPower(x/x)@ give?
> Error or @false@?
> I expected @false@ but actuall... -
- I have just commented out all fns in @obsolescent.cpkg5@ which have been there at least 4 years.
All CoCoA-5 tests p... -
-
- tested on MacOS. OK.
-
- Here is a list of *PREPARATIONS* before the visit:
* issues which have been in _feedback_ for some time should be cl...
08 Jan 2020
-
- Here is a test case:...
-
- All tests pass, and I have checked in.
-
- The clue from @valgrind@ was very helpful.
The fn @CommonDenom@ did not check for the case of an empty list (and the... -
- @valgrind@ suggests that the problem arose inside a call to @CommonDenom@ when it called @IsPolyRing@ (which called @...
-
- According to gdb, the program crashed in line 48 of @SmartPtrIRC.H@
I wonder what that means 8-|
-
- I confirm it works fine on MacOS.
-
- 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.
-
- Can we now close this issue as it seems to be completely resolved using the latest release of CoCoA-5?
Anyway, a tes... -
- The error code displayed after calling the function ...
07 Jan 2020
-
- In any case we should add an example like this as a new "official" test.
-
- JAA says the bug is not present on current internal version of CoCoA-5 compiled and running on Linux.
The error me... -
- Bernhard Andraschko reports that the following causes a crash on MS Windows 10 Pro (10.0.17763)...
-
- * Perhaps arrange for the last few (1, 2, 3?) messages sent to the CoCoA mailing list to be easily accessible from th...
-
- Here is a list of things to do (mostly references to other issues):
* fix SEGV bug (#1382)
* look at #1375 and #137... -
- This issue is to gather things to do during John's visit.
-
- What should @IsIndetPosPower(x/x)@ give?
Error or @false@?
I expected @false@ but actually got an error.
-
- There is no manual page for @IsIndetPosPower@.
-
- Here is the output from @valgrind@:...
-
- I ran @valgrind@ on @CoCoAInterpreter@ taking input from @/dev/null@ (_i.e._ empty input).
The resulting report sa... -
- Here is a session sample:...
-
- What should @SymbolRange@ do if there are no indets in the range?
What should @NewPolyRing@ do if the result of @Sy... -
- I was using CoCoA-5 to look for some examples to show the students. It was a surprise when it SEGV'd :-(
-
- I get a SEGV with the following input (no SEGV if the number of loop iters is 100)....
-
- 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 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
-
- 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...
17 Dec 2019
-
- I have changed *@configure@* so that it sets a flag saying whether to build the Qt GUI; this is determined by a comma...
16 Dec 2019
-
- Ulrich reported that the GUI fails to compile now that we are using *@nullptr@*.
I had a quick search online, and fo...
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?) ...
Also available in: Atom