John Abbott's activity
From 21 Mar 2021 to 19 Apr 2021
19 Apr 2021
-
20:55 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- There are very many cases to consider, esp. if we want to cover all (or almost all) possibilities.
Now I am more i... -
12:03 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- How to test if the overflow detection mechanism is working properly (_i.e._ throws an exception instead of causing a ...
-
15:53 CoCoALib Design #855: Copyright and authorship?
- To do:
* @TmpFactorDir@
* @TmpHilbertDir@
* etc?
-
14:10 CoCoA-5 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
- Maybe we can ask Bernhard Andraschko to check; he does have access to a M$ computer.
I have added him as watcher. -
13:55 CoCoA-5 Feature #1431: Juxtaposition of string literals
- Another point in favour of @ConcatStr@ is that it could insert newlines between the strings in a list, rather than re...
-
13:48 CoCoA-5 Feature #1372: New function: find ?
- An important feature of the C++ version of @find@ is that it advances an iterator -- effectively it is "find next".
...
18 Apr 2021
-
22:51 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow
- I have put a first version of @mpz_mul@ with overflow check in @utils-gmp@.
A quick suggests that it is working as e...
15 Apr 2021
-
11:34 CoCoALib Feature #1306: exgcd over integers (ZZ)
- The source code is in *@NumTheory-gcd.C@*.
-
11:25 CoCoALib Bug #1473: isystem not working as expected
- Any update?
-
10:38 CoCoALib Bug #1579 (In Progress): Readexpr/RingElem: unhelpful error message when input is wrong
- I have added a simple extra test: if the first char after the end of the expr is @'^'@, then it prints out a more hel...
-
10:23 CoCoALib Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
- *Here is a benchmark* (since there was none given earlier:...
-
10:17 CoCoALib Slug #1588: ElimMat is slow
- My guess is that the code repeatedly calls @rank@, but we should be able to be "clever" in some common cases.
Is i... -
10:15 CoCoALib Slug #1588 (New): ElimMat is slow
- @ElimMat@ is rather slow for larger inputs:...
-
09:50 CoCoALib Design #1528: MacOS compilation with clang
- Any progress here?
It is enough to make small steps rather than try to do it all in one go.
Presumably compilatio...
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 --...
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:...
Also available in: Atom