Project

General

Profile

Activity

From 19 Feb 2021 to 20 Mar 2021

19 Mar 2021

15:47 Bug #1406: Poor memory management?
This is what @valgrind@ produced:... John Abbott
14:46 Bug #1406: Poor memory management?
Here is a concrete example... a bit faster, but still sufficient to exhibit the problem.... John Abbott
15:38 Support #1287: Better err mesg for easy typo in ring definition
I have just modified the parser to print out a warning:... John Abbott
15:28 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... John Abbott
15:17 Support #1507: wordlist without OBSOLETE entries?
It should be easy to do this using @fgrep@ in the @Makefile@ rule which builds the file.
John Abbott
15:06 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... John Abbott
14:55 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...
John Abbott
13:06 Feature #1583: New fn ElapsedTimeFrom?
Currently @CpuTime@ and @ElapsedTime@ return rational numbers (representing seconds).
There is a risk that if some...
John Abbott
13:04 Feature #1583 (New): New fn ElapsedTimeFrom?
Now that we have both @CpuTime@ and @ElapsedTime@, should we also have *@ElapsedTimeFrom@*?
John Abbott
13:06 Bug #1553 (Closed): Timing SystemCommand
Anna Maria Bigatti
12:59 Bug #1553: Timing SystemCommand
should we also add the Elapsed counterpart of @TimeFrom@?
(new issue #1583)
Anna Maria Bigatti
12:52 Bug #1567 (Closed): Radical in non-zero char
Added simple test to @exbugs.cocoa5@.
Closing.
John Abbott
12:48 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... John Abbott
12:43 Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char
Added a test to @exbugs.cocoa5@.
Closing.
John Abbott
12:43 Support #1298 (Closed): How can user find the indent command?
Anna Maria Bigatti
12:39 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded
Anna Maria Bigatti
12:04 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...
Anna Maria Bigatti

17 Mar 2021

11:24 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... John Abbott
11:21 Feature #500: Interpreter: is it possible to avoid useless prompts?
I confirm that disappointingly large overhead mentioned in comment 15 above.... John Abbott

16 Mar 2021

12:11 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...
John Abbott
11:52 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 ...
John Abbott
09:44 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... John Abbott

15 Mar 2021

11:02 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5
The current version of the code needs to be improved:... John Abbott
10:47 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... John Abbott

12 Mar 2021

17:40 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...
John Abbott
12:21 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...
John Abbott
09:36 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... John Abbott
09:39 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...
John Abbott

04 Mar 2021

17:44 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
Example of the data format can be found in the following file... John Abbott
17:38 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
For Anna: look for some examples, and try to remember how it works
Anna Maria Bigatti
17:27 Design #1546 (Closed): Improve 'describe' or 'print' for a function
John Abbott
17:20 Support #1298 (Feedback): How can user find the indent command?
John Abbott
17:15 Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU
Anna Maria Bigatti
17:10 Design #1554 (Closed): cocoa5-emacs-dir or cocoa5-root-dir?
John Abbott
17:10 Design #1554 (Feedback): cocoa5-emacs-dir or cocoa5-root-dir?
John Abbott
17:06 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...
John Abbott

02 Mar 2021

22:54 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 ...
John Abbott
15:34 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...
John Abbott
08:47 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...
John Abbott
08:35 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:...
John Abbott
08:11 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...
John Abbott
07:59 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 ...
John Abbott
07:56 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@ ...
John Abbott

01 Mar 2021

21:13 Bug #1171: RealRoots: first point is sometimes wrong?
I have added a short comment to the documentation.
I can see that it might be nice to have a version of @RealRoots...
John Abbott
18:04 Support #911: CoCoA-5 prompt for incomplete input
I have now removed dot-dot-dot from the prompt prefix.
Also when inside a multi-line comment, the prompt now says *@...
John Abbott

23 Feb 2021

10:39 Slug #1578: SLUG: RationalSolve slow and stupid
Some ideas:
* if there is a univariate poly, factorize it, and take just the univariate factors; use these to elim a...
John Abbott
10:27 Bug #1537 (Resolved): EmacUI: strange colours, sometimes
I have just updated issue #1538. This can probably be considered as an acceptable resolution of the problem reported... John Abbott

22 Feb 2021

23:03 Feature #1536 (Feedback): Implement xel?
I have added doc, but no tests (too lazy/tired).
John Abbott
22:00 Feature #1536: Implement xel?
Anna has too much else to do. So I have knocked up a quick impl... brain off, just cut-and-paste... and hope!
Per...
John Abbott
20:47 Bug #1171: RealRoots: first point is sometimes wrong?
We could try to mimic the hack described in issue #1573, where the values are checked at the approx solutions, and re... John Abbott
20:31 Support #911: CoCoA-5 prompt for incomplete input
I am not convinced of the utility of the dot-dot-dot when the supplementary prompt is non-empty.
It is hard to expla...
John Abbott
20:27 Support #911: CoCoA-5 prompt for incomplete input
The supplementary part of the prompt comes from *@openBlocks@*.
I have no idea how the value of @openBlocks@ is upda...
John Abbott
20:25 Support #911: CoCoA-5 prompt for incomplete input
Here is what my personal CoCoA does currently:... John Abbott
17:31 Support #911: CoCoA-5 prompt for incomplete input
I am wondering about enclosing the prompt prefix in square brackets.
I also wonder whether the case of a prefix cont...
John Abbott
17:21 Feature #500: Interpreter: is it possible to avoid useless prompts?
I have added a command line option *@--no-prompt@* which forces the function which produces the prompt string to retu... John Abbott
15:22 Slug #1578 (New): SLUG: RationalSolve slow and stupid
The following system can easily be solved by hand, but CoCoA is very slow... John Abbott

19 Feb 2021

17:26 Bug #1577 (Resolved): radical: lex order, ERROR: Ring is not standard graded
Anna has implemented the obvious workaround: map into a new poly ring (with degrevlex), and then unmap the result.
S...
John Abbott
17:00 Bug #1396 (Resolved): Website: download page for CoCoA-4 burns CPU
Anna removed some Java script... now seems OK.
John Abbott
09:50 Feature #1112: New function: IsEmpty
The function *@IsEmpty@* is slower than explicitly testing for equality to the empty list; why should that be?
He...
John Abbott
 

Also available in: Atom