Activity
From 02 Mar 2021 to 31 Mar 2021
23 Mar 2021
- 13:39 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- I have increased the arbitrary limit so that the example in comment 4 above now runs without hiccups (except for the ...
- 11:19 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- Here is a "torture test" using multiplication (on my machine):...
- 10:12 CoCoALib Bug #1585 (Resolved): CRASH/ABORT: GMP overflow
- No reply from the GMP people. I looked at the code, and it seems that the error is actually signalled inside a memor...
22 Mar 2021
- 09:55 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- I have written to the GMP people asking whether there is some way to specify an alternative way to handle overflow.
... - 09:40 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- I have given this *high priority* because an abort is a nasty failure... everything is lost.
How to handle all pos... - 09:37 CoCoALib Bug #1585 (Closed): CRASH/ABORT: GMP overflow
- The following causes an abort:...
19 Mar 2021
- 15:47 CoCoA-5 Bug #1406: Poor memory management?
- This is what @valgrind@ produced:...
- 14:46 CoCoA-5 Bug #1406: Poor memory management?
- Here is a concrete example... a bit faster, but still sufficient to exhibit the problem....
- 15:43 CoCoALib Support #1584: Benchmarks?
- This was hinted at in issue #1375#note-19.
The benchmarks will very platform specific... primarily for developers.
- 15:40 CoCoALib Support #1584 (New): Benchmarks?
- Should we devise a way to produce some benchmarks to let us measure how changes we make affect performance?
If so,... - 15:38 CoCoA-5 Support #1287: Better err mesg for easy typo in ring definition
- I have just modified the parser to print out a warning:...
- 15:28 CoCoA-5 Support #1507 (Resolved): wordlist without OBSOLETE entries?
- I have simply sent the output of @PrintWordList@ through an @fgrep@ filter which skips lines containing @OBSOLE@ (mat...
- 15:17 CoCoA-5 Support #1507: wordlist without OBSOLETE entries?
- It should be easy to do this using @fgrep@ in the @Makefile@ rule which builds the file.
- 15:06 CoCoA-5 Feature #1431: Juxtaposition of string literals
- Another possible justification for wanting to re-allow string literal juxtaposition is that we now have a @fold@ func...
- 14:55 CoCoA-5 Slug #1506: Remove XMLFileName from Main.C
- The fn has been renamed to *@CoCoAManFileName@*.
Does the original doubt still hold?
It appears to be a hack to s... - 13:29 CoCoALib Design #786: MemPool: review min and max loaf sizes
- This has been working for some time now... closing.
As mentioned above this is now largely irrelevant given the chan... - 13:27 CoCoALib Feature #82: C++11 compatibility questions
- Do we have progress to report?
- 13:13 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- Anna will do this shortly.
- 13:12 CoCoALib Support #618: Instructions for compiling libnormaliz
- Anna will check what happens on her (new) computer.
Hope we can close this soon.
Update website too!
- 13:06 CoCoA-5 Feature #1583: New fn ElapsedTimeFrom?
- Currently @CpuTime@ and @ElapsedTime@ return rational numbers (representing seconds).
There is a risk that if some... - 13:04 CoCoA-5 Feature #1583 (New): New fn ElapsedTimeFrom?
- Now that we have both @CpuTime@ and @ElapsedTime@, should we also have *@ElapsedTimeFrom@*?
- 13:06 CoCoA-5 Bug #1553 (Closed): Timing SystemCommand
- 12:59 CoCoA-5 Bug #1553: Timing SystemCommand
- should we also add the Elapsed counterpart of @TimeFrom@?
(new issue #1583) - 12:52 CoCoA-5 Bug #1567 (Closed): Radical in non-zero char
- Added simple test to @exbugs.cocoa5@.
Closing.
- 12:48 CoCoA-5 Feature #346 (Closed): Describe should indicate package name
- As reported in comment 10, the original request cannot be fulfilled -- instead use new fn *@PackageOf@*, see issue #1...
- 12:43 CoCoA-5 Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char
- Added a test to @exbugs.cocoa5@.
Closing. - 12:43 CoCoA-5 Support #1298 (Closed): How can user find the indent command?
- 12:39 CoCoA-5 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded
- 12:04 CoCoA-5 Feature #1112: New function: IsEmpty
- I made a few tests, and the timings appear to be very similar.
It seems that creating a LIST with the [..] syntax is...
17 Mar 2021
- 11:24 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- There could be a subtle bug to deal with: what happens if the interpreter exits while the prompt thread is still run...
- 11:21 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I confirm that disappointingly large overhead mentioned in comment 15 above....
16 Mar 2021
- 12:11 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- The loop version from the previous comment worked OK, but incurred a noticeable run-time overhead.
For the time be... - 11:52 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I finally managed to make the orig impl fail (with system exception @Resource temporarily unavailable@).
There were ... - 09:44 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I have tried to cause problems by giving inputs with many simple lines, but observed no indication of trouble (surely...
15 Mar 2021
- 11:02 CoCoA-5 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5
- The current version of the code needs to be improved:...
- 10:47 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- The current may have a weak spot: if very many simple lines are given as input, presumably the process could create v...
13 Mar 2021
- 21:02 CoCoALib Feature #1580: New fn prim for polys
- It might be helpful to generalize the fn so that it works in rings such as @QQ(a,b)[c,d](e,f)[x,y]@.
12 Mar 2021
- 17:40 CoCoA-5 Feature #500 (Resolved): Interpreter: is it possible to avoid useless prompts?
- I now have a prototype which works as expected in various tests :-)
One question: if I start CoCoA inside emacs by... - 12:21 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- I have just tried a minor variant of the code excerpt given in the previous comment (11).
It did not work (as expect... - 09:36 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- There is a potentially useful code outline on StackOverflow (@https://stackoverflow.com/questions/15524122/how-to-imp...
- 10:37 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- If no timeout is specified (_i.e._ the current situation) then some "heuristic" timeout is used.
Currently the heuri... - 10:08 CoCoALib Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- What is the status of this issue?
As I recall @radical@ now works fairly well for 0-dim ideals (see issue #948). Bu... - 10:27 CoCoALib Slug #1375 (Resolved): Radical 0-dim: varied timings
- I have just tried most of the examples listed in this issue.
The early part about varied timings now seems to be com... - 09:57 CoCoALib Slug #777: SLUG: elimination
- Has there been any progress on this issue?
In the case of elimination perhaps the "final clean up" could be limite... - 09:48 CoCoALib Slug #1337: PrimaryDecomposition: a interesting/pathological example
- Since we now have GBasis with timeout, perhaps that could be used to implement a sort of "parallel" approach where th...
- 09:39 CoCoA-5 Feature #133: Qt GUI: Make better distinction between input and output in the output window
- This issue is probably not so relevant at the moment, but it may become useful as a test case for some future GUI.
S...
05 Mar 2021
- 09:37 CoCoALib Feature #1582: Factorization in K(a,b)[x,y]
- Presumably the following approach should work:
* map into @K[a,b,x,y]@ after clearing denoms
* discard any factors ... - 09:35 CoCoALib Feature #1582 (New): Factorization in K(a,b)[x,y]
- Florian would like to have factorization of polynomial over a function field _e.g._ @QQ(a,b)[x,y]@.
This would als... - 09:22 CoCoALib Design #894: strict enum types: C++11 extension
- Where I have felt that it is useful to inject the names from an enum,
I have used the following technique to reprodu...
04 Mar 2021
- 17:44 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- Example of the data format can be found in the following file...
- 17:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- For Anna: look for some examples, and try to remember how it works
- 17:27 CoCoA-5 Design #1546 (Closed): Improve 'describe' or 'print' for a function
- 17:20 CoCoA-5 Support #1298 (Feedback): How can user find the indent command?
- 17:15 CoCoA-5 Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU
- 17:10 CoCoA-5 Design #1554 (Closed): cocoa5-emacs-dir or cocoa5-root-dir?
- 17:10 CoCoA-5 Design #1554 (Feedback): cocoa5-emacs-dir or cocoa5-root-dir?
- 17:06 CoCoA-5 Slug #1581: Slow sqfr: rad(f)
- Problem arose while computing radical of 1st example in issue #948
The critical line was 151 in @radical.cpkg5@
<pr...
02 Mar 2021
- 22:54 CoCoA-5 Feature #500: Interpreter: is it possible to avoid useless prompts?
- If it is possible to call @getline@ with a timeout (_e.g._ 0.1s) then we could do the following:
* do not print any ... - 15:34 CoCoA-5 Support #911 (Resolved): CoCoA-5 prompt for incomplete input
- I have now revised the impl after designing a simple test, and seeing that the behaviour was "sub-optimal"...
The te... - 08:54 CoCoALib Design #894: strict enum types: C++11 extension
- This is what I got searching for @enum@ in the CoCoALib sources: *(I'll remove lines after having revised the files)*...
- 08:52 CoCoALib Design #894 (In Progress): strict enum types: C++11 extension
- This is what I got searching for @enum@ in the CoCoA-5 sources:...
- 08:47 CoCoA-5 Support #1298 (Resolved): How can user find the indent command?
- I have removed the example of @indent@ with 2 args; I really this it makes the manual page more readable.
I have cha... - 08:35 CoCoA-5 Slug #1581 (New): Slow sqfr: rad(f)
- This poly arises in the first computation from issue #948.
CoCoA takes too long to compute its radical:... - 08:11 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- The examples in comment 13 are now reasonably quick.
The one in comment 2 is still slow -- *cause is* trouble with m... - 07:59 CoCoA-5 Bug #1502: SystemCommand in Microsoft version
- With luck Andraschko will make some tests this week.
By chance I happened to speak to a friend (Nick) who suggested ... - 07:56 CoCoA-5 Design #1554: cocoa5-emacs-dir or cocoa5-root-dir?
- What is the status of this issue?
The file @cocoa5.emacs@ defines @cocoa-root-dir@ in terms of @cocoa5-emacs-dir@ ...
Also available in: Atom