CoCoA

05 Apr 2021

15:19 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

How to impl neatly and efficiently the version @CoeffsWRT(f,QB)@?
Perhaps create a list of pairs (PP,index); sort ... John Abbott

15:04 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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

10:27 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow

Which functions should test for overflow?
@power@ and multiplication certainly. Which others?... John Abbott

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

Anna agrees with the proposal. Checked in.
John Abbott

09:54 CoCoA-5 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 CoCoA-5 Support #1586 (In Progress): Profiling with clang

pg does not work.... Anna Maria Bigatti

08:54 CoCoA-5 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

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 ... John Abbott

11:19 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow

Here is a "torture test" using multiplication (on my machine):... John Abbott

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... John Abbott

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.
... John Abbott

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... John Abbott

09:37 CoCoALib Bug #1585 (Closed): CRASH/ABORT: GMP overflow

The following causes an abort:... John Abbott

19 Mar 2021

15:47 CoCoA-5 Bug #1406: Poor memory management?

This is what @valgrind@ produced:... John Abbott

14:46 CoCoA-5 Bug #1406: Poor memory management?

Here is a concrete example... a bit faster, but still sufficient to exhibit the problem.... John Abbott

15:43 CoCoALib Support #1584: Benchmarks?

This was hinted at in issue #1375#note-19.
The benchmarks will very platform specific... primarily for developers.
John Abbott

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,... John Abbott

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:... John Abbott

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... John Abbott

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.
John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

13:27 CoCoALib Feature #82: C++11 compatibility questions

Do we have progress to report?
John Abbott

13:13 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?

Anna will do this shortly.
John Abbott

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!
John Abbott

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... John Abbott

13:04 CoCoA-5 Feature #1583 (New): New fn ElapsedTimeFrom?

Now that we have both @CpuTime@ and @ElapsedTime@, should we also have *@ElapsedTimeFrom@*?
John Abbott

13:06 CoCoA-5 Bug #1553 (Closed): Timing SystemCommand

Anna Maria Bigatti

12:59 CoCoA-5 Bug #1553: Timing SystemCommand

should we also add the Elapsed counterpart of @TimeFrom@?
(new issue #1583) Anna Maria Bigatti

12:52 CoCoA-5 Bug #1567 (Closed): Radical in non-zero char

Added simple test to @exbugs.cocoa5@.
Closing.
John Abbott

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... John Abbott

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. John Abbott

12:43 CoCoA-5 Support #1298 (Closed): How can user find the indent command?

Anna Maria Bigatti

12:39 CoCoA-5 Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded

Anna Maria Bigatti

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... Anna Maria Bigatti

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... John Abbott

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.... John Abbott

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... John Abbott

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 ... John Abbott

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... John Abbott

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:... John Abbott

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... John Abbott

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]@.
John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott