Activity
From 14 Mar 2021 to 12 Apr 2021
09 Apr 2021
-
13:48 CoCoALib Support #1555: Software licence
- I currently suggest the following:
* add copyright notices to all files (incl. @Makefile@ and other supporting files... -
13:40 CoCoALib Support #1555: Software licence
- As mentioned in #855#note-15 the FSF gives advice at the following URL:...
-
11:59 CoCoALib Design #855: Copyright and authorship?
- Here is a URL to a page by the FSF about copyright notices to assign to works:...
07 Apr 2021
-
18:08 CoCoALib Support #1555: Software licence
- We seem to have used the standard GPL v3.0 for all source code (headers and source):
* in @include/CoCoA/@
* in @sr...
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 ... -
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...
-
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...
-
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... -
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...
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...
-
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... -
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...
-
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 ...
-
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:...
-
10:27 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- Which functions should test for overflow?
@power@ and multiplication certainly. Which others?... -
09:55 CoCoA-5 Support #1507 (Feedback): wordlist without OBSOLETE entries?
- Anna agrees with the proposal. Checked in.
-
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 --... -
09:28 CoCoA-5 Support #1586 (In Progress): Profiling with clang
- pg does not work....
-
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...
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...
Also available in: Atom