Project

General

Profile

Activity

From 11 Feb 2021 to 12 Mar 2021

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

18 Feb 2021

22:18 Feature #1112 (Resolved): New function: IsEmpty
I have just added a first impl to @BuiltInFunctions.C@.
A couple of trivial tests passed.
Still need to: write te...
John Abbott
22:07 Feature #250 (Feedback): CoCoALib BuildInfo vs CoCoA-5 VersionInfo
The code in @VersionInfo.C@ looks clean and simple to me.
I think this issue has been resolved some time ago.
Movin...
John Abbott
22:05 Bug #1396: Website: download page for CoCoA-4 burns CPU
The problem still exists :-(
John Abbott
22:03 Design #474: Eliminate package BinRepr
It looks to me as though this could easily be converted into C++ (in CoCoALib).
Perhaps just an afternoon suffices.....
John Abbott
22:00 Bug #1215 (Feedback): RationalSolve: gives "Error: must be non-zero"
Is this issue a *duplicate* of issue #724?
I think so. Anyway, I tried the example mentioned in the description, an...
John Abbott

17 Feb 2021

19:03 Bug #946: Function "ideal" evaluates the argument twice
I have just checked in my revised code (even though it still needs to be cleaned).
We must develop a proper test s...
John Abbott
18:33 Design #1540 (Resolved): Double power
I think I have solved the main problem and also the one mentioned in comment 2.
Solution is not elegant, but I do no...
John Abbott

16 Feb 2021

14:41 Bug #946: Function "ideal" evaluates the argument twice
I might have fixed this (for ideals)... and probably introduced some new weird bugs.... the interpreter code is not e... John Abbott
14:09 Slug #1392 (Resolved): ApproxSolve: another slow example
The example given is quite quick now (0.5s on my computer).
Marking as "resolved" (don't know by whom or when).
John Abbott
14:04 Bug #1574: ApproxSolveTF
The code seems to be a bit convoluted. It'll take time to work out what it is supposed to be doing... not today!
John Abbott

15 Feb 2021

22:49 Bug #1577: radical: lex order, ERROR: Ring is not standard graded
The full error mesg is:... John Abbott
22:48 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded
This should not happen:... John Abbott
22:20 Bug #1567 (Feedback): Radical in non-zero char
I have check in the changes (some time ago). So moving status to _feedback_. John Abbott

12 Feb 2021

12:19 Bug #724 (Resolved): RationalSolve: wrongly complains about non zero-dim even in finite char
The example from issue #723 is way too slow to act as a test case -- do we have a more sane test case? How about the... John Abbott
12:16 Feature #723: Referring to indets with multiple indices from a polyring
The example in comment 2 is slow because it takes along time to test @IsZeroDim@ _i.e._ compute a GB.
I stopped th...
John Abbott
11:54 Slug #1270 (Feedback): RationalSolve: use MinPolyQuot instead of elim
I have just tried the example from comment 5, and @RationalSolve@ is now tolerably fast (less than 2s).
John Abbott

11 Feb 2021

00:13 Support #1252: ShapeLemma: no manual entry
What is the status of this issue?
John Abbott
00:12 Bug #1573 (Resolved): ApproxSolve: very imprecise
I have now added an extra loop which checks the values of the polys at the points found.
If the values are not "heur...
John Abbott
00:08 Bug #1216 (Feedback): RationalSolve: gives wrong answer
I have implemented the new field names, and updated doc, tests, manual.
New state: Feedback.
John Abbott
17:56 Bug #1216: RationalSolve: gives wrong answer
> Possible names are *@AffinePts@* and *@ProjectivePts@* (or *@ProjPts@*).
I vote for *@AffinePts@* and *@Projecti...
Anna Maria Bigatti
 

Also available in: Atom