Activity

John Abbott's activity

From 20 Apr 2021 to 19 May 2021

10:47 CoCoA-5 Bug #1595 (In Progress): Bad input causes crash: Here is an entertaining failing input:... John Abbott

17:49 CoCoA-5 Support #1507 (Closed): wordlist without OBSOLETE entries?: John Abbott
17:48 CoCoA-5 Feature #250 (Closed): CoCoALib BuildInfo vs CoCoA-5 VersionInfo: John Abbott
17:43 CoCoA-5 Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?: The latent problem did appear (see issue #1594; now fixed).
A different design might be better, but this is good eno... John Abbott
17:37 CoCoA-5 Feature #531 (Closed): Package protected variables should know which package protected them: John Abbott
17:32 CoCoA-5 Support #911 (Closed): CoCoA-5 prompt for incomplete input: Anna and John are happy. Closing.
John Abbott
17:24 CoCoALib Bug #1473: isystem not working as expected: How to test of the compiler is @clang@?
Is it enough just to check that the OS is MacOS? John Abbott
17:14 CoCoA-5 Bug #1595: Bad input causes crash: ... John Abbott

22:00 CoCoA-5 Bug #1595: Bad input causes crash: Separate issue because I think the cause is different; at least the error message seems to be different.
How tedio... John Abbott
21:59 CoCoA-5 Bug #1595 (Closed): Bad input causes crash: Even after my latest update CoCoA can still crash with bad input:... John Abbott
20:18 CoCoA-5 Bug #1594 (Resolved): Parser bug: missing close square bracket: I have rewritten the "fancy delayed prompt" code, and now the problem seems to have gone away (after some rather min... John Abbott
19:54 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: The bug seems to vanish if I disable the "fancy" delayed prompt code (which creates a new thread).
I am vaguely awar... John Abbott

16:57 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: It is really annoying that CoCoA-5 treats inputs via different mechanisms differently.
Anyway, I have some new faili... John Abbott
16:44 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: Huh???
If I run CoCoA inside emacs (so with readline disabled) and type in @[1,]@ as input then CoCoA crashes.
*B... John Abbott
14:06 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: Here are some more failing cases:... John Abbott
10:45 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: Some relevant source code is in @Parser.C@ around line 1990, in the fn *@Parser::parseRecord@*
John Abbott

12:10 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: Here are some more inputs which cause trouble:... John Abbott
12:06 CoCoA-5 Bug #1594 (In Progress): Parser bug: missing close square bracket: The exception is thrown at line 81 in @LineProviders.C@, and ought to have been caught
in line 376 of @Parser.C@. M... John Abbott

10:57 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: After some _ad hoc_ testing, it seems that the bug appears only when using CoCoA-5 through the Emacs interface.
@g... John Abbott
10:42 CoCoA-5 Bug #1594: Parser bug: missing close square bracket: I confirm the bug exists also for the Linux version.
John Abbott

15:46 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow: I have put in _ad hoc_ protections for @factorial@ and @binomial@.
Still need to decide how high to set the overflow... John Abbott

20:14 CoCoALib Support #1591: Compilation of Normaliz: Following on from an email discussion between Winfried Bruns and Anna...
Anna is simulating a set-up where a user,... John Abbott

22:29 CoCoALib Support #1591: Compilation of Normaliz: I suggest as a first step we try to contact Bruns to whether the Normaliz people can fix this quickly and easily.
If... John Abbott
17:58 CoCoALib Bug #1473: isystem not working as expected: *2021-04-30* we have just verified that this is still a problem when using clang on MacOS.
The solution seems to be ... John Abbott

14:44 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: I have just checked in my current changes... they are not well designed (but the test above works as hoped).
John Abbott
10:57 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: Here is my first _ad hoc_ test:... John Abbott

22:45 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: I think I have fixed ideal product now: it calls the "clever monomial short-cut" only if the coeff ring is a field (a... John Abbott
21:51 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: I suspect the example in the previous note is wrong because an ideal is a recognized as "monomial over field" without... John Abbott
20:22 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: A quick test of ideal product suggests that it does not work properly in @ZZ[...]@... John Abbott
14:05 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]: The CoCoA-5 tests all passed, and I succeeded in creating an ideal in @ZZ[x,y,z]@.
Next thing is to check that som... John Abbott
13:56 CoCoALib Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]]: The relevant source code seems to be around line 364 of @SparsePolyOps-ideal.C@.
I'll try disabling the check insi... John Abbott

16:03 CoCoALib Bug #1590 (Feedback): CRASH: LinKerZZ: The problem was an incorrectly sized vector; the bug was "hidden" by a poor choice of variable name (was *@row@*, now... John Abbott
15:07 CoCoALib Bug #1590: CRASH: LinKerZZ: The correct input should have been the transpose of the matrix.
John Abbott
15:06 CoCoALib Bug #1590 (Closed): CRASH: LinKerZZ: Florian reports:... John Abbott
14:07 CoCoALib Support #1555: Software licence: Currently our copyright notice in source code files says the following (following guidance from FSF about using GPL):... John Abbott

Also available in: Atom