CoCoA » CoCoA-5

05 Apr 2021

15:04 Feature #1587: Multiline string literals (again)

If we do adopt the fn @ConcatStr@ and/or @ConcatStrNewline@ then maybe there should be a modified form of @fold@ whic... John Abbott

13:09 Feature #1587: Multiline string literals (again)

My original thought (that multiline string literals are not so dangerous if we have helpful prompts) is not so helpfu... John Abbott

13:02 Feature #1587 (In Progress): Multiline string literals (again)

As mentioned in #1431#note-9 I have made a first impl of @ConcatStr@, and the result is promising.
Would it make s... John Abbott

12:53 Feature #1431: Juxtaposition of string literals

I have just looked at the source code (@Parser.C@ around lines 2135--2150); the old code for juxtaposed strings is st... John Abbott

02 Apr 2021

11:24 Feature #1431 (In Progress): Juxtaposition of string literals

A potential disadvantage of something like *@"abc"+"def"+"ghi"@* is that a naive impl will take quadratic time. I su... John Abbott

11:24 Feature #1587: Multiline string literals (again)

A possible motivation for wanting to allow multi-line strings is...
CoCoA is slow at reading polynomials with many t... John Abbott

11:06 Feature #1587: Multiline string literals (again)

If we do not allow multi-line string literals, but we do allow concatenation in the parser then the example in the de... John Abbott

10:59 Feature #1587 (Closed): Multiline string literals (again)

Now that we have more comprehensible "context-sensitive" prompts, one of the reasons for wishing to avoid multi-line ... John Abbott

10:38 Support #1287 (Feedback): Better err mesg for easy typo in ring definition

Anna approved this change during discussions. The warning has been reworded:... John Abbott

09:55 Support #1507 (Feedback): wordlist without OBSOLETE entries?

Anna agrees with the proposal. Checked in.
John Abbott

09:54 Slug #1506 (Feedback): Remove XMLFileName from Main.C

Anna agrees that the check seems to about something ancient, and should be disable/removed.
Currently comment out --... John Abbott

09:28 Support #1586 (In Progress): Profiling with clang

pg does not work.... Anna Maria Bigatti

08:54 Design #1493 (Closed): Automatic ring mapping in assignment?

John Abbott wrote:
> I have revised the manual entry for @matrix@. I did note that in the examples @mat@ is used ra... Anna Maria Bigatti

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