Activity
From 22 Apr 2021 to 21 May 2021
21 May 2021
-
17:04 CoCoA-5 Bug #1594 (Feedback): Parser bug: missing close square bracket
-
16:47 CoCoALib Feature #1466: Ops += *= etc for Matrices?
- Maybe we could get some benefit from using @swap@ or @std::move@?
Investigate?
-
16:43 CoCoALib Feature #1466: Ops += *= etc for Matrices?
- I think the syntax is worth having, and I think it should be exception safe, as for RingElems.
-
16:31 CoCoA-5 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
- Internally, in CoCoALib, the input/output interface with Normaliz is through matrices, and this was chosen because it...
20 May 2021
-
17:02 CoCoA-5 Bug #1595: Bad input causes crash
- I have not found the real bug, but do have a workaround.
I have changed *@Parser::checkThereIsntAnotherUnaryPlusOr...
16 May 2021
-
10:47 CoCoA-5 Bug #1595 (In Progress): Bad input causes crash
- Here is an entertaining failing input:...
14 May 2021
-
17:49 CoCoA-5 Support #1507 (Closed): wordlist without OBSOLETE entries?
-
17:48 CoCoA-5 Feature #250 (Closed): CoCoALib BuildInfo vs CoCoA-5 VersionInfo
-
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... -
17:37 CoCoA-5 Feature #531 (Closed): Package protected variables should know which package protected them
-
17:32 CoCoA-5 Support #911 (Closed): CoCoA-5 prompt for incomplete input
- Anna and John are happy. Closing.
-
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? -
17:14 CoCoA-5 Bug #1595: Bad input causes crash
- ...
-
17:03 CoCoA-5 Support #1478: HilbertBasis: clarify
- Anna Maria Bigatti wrote:
> It seems that
> [...]
> gives the wrong answer (gives the 2 vectors in M). The code... -
16:53 CoCoA-5 Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer
- Add entry in cocoa manual. (for Anna)
-
16:52 CoCoA-5 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
- Added @NmzHilbertBasisKer@. In @BuiltInFunctions-Normaliz.C@...
-
16:49 CoCoA-5 Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer
- Add function to do @HilbertBasisKer@ using Normaliz (much faster)
-
16:34 CoCoA-5 Bug #1594: Parser bug: missing close square bracket
- John Abbott wrote:
> I have rewritten the "fancy delayed prompt" code, and now the problem seems to have gone away ...
13 May 2021
-
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... -
21:59 CoCoA-5 Bug #1595 (Closed): Bad input causes crash
- Even after my latest update CoCoA can still crash with bad input:...
-
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...
-
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...
12 May 2021
-
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... -
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... -
14:06 CoCoA-5 Bug #1594: Parser bug: missing close square bracket
- Here are some more failing cases:...
-
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@*
11 May 2021
-
12:10 CoCoA-5 Bug #1594: Parser bug: missing close square bracket
- Here are some more inputs which cause trouble:...
-
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...
10 May 2021
-
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... -
10:42 CoCoA-5 Bug #1594: Parser bug: missing close square bracket
- I confirm the bug exists also for the Linux version.
08 May 2021
-
17:14 CoCoA-5 Support #1478: HilbertBasis: clarify
- It seems that ...
-
16:53 CoCoA-5 Bug #1594 (Closed): Parser bug: missing close square bracket
- ...
07 May 2021
-
17:08 CoCoALib Support #1592: Normaliz 3.8.10
- Now it works.
Repeat on Linux (anche make cocoa-5.3.3b for linux)
-
08:20 CoCoA-5 Bug #1593 (New): CanonicalHom
- Hi,
I was just playing around with the function @PolyAlgebraHom@ and noticed that there is a weird behavior when w...
06 May 2021
-
16:11 CoCoALib Support #1592 (Feedback): Normaliz 3.8.10
- Thanks to Winfried Bruns!
I left the old lines in, in case someone needs to compile with 3.8.9.
These are the cha... -
07:28 CoCoALib Support #1592 (Closed): Normaliz 3.8.10
- At the moment CoCoALib is (again) not compatible with Normaliz latest version 3.8.10 (pre-release?).
Make it compa... -
07:23 CoCoALib Support #1591: Compilation of Normaliz
- The data types in Normaliz have changed. Now we need to understand what we should pick.
I tried...
05 May 2021
-
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... -
13:29 CoCoALib Support #1591: Compilation of Normaliz
- It seems that I managed to compile libnormaliz.a with my gmp.
(info in our doc file, when I see it working)
But n...
02 May 2021
-
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,...
30 Apr 2021
-
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... -
09:28 CoCoALib Support #1591 (Closed): Compilation of Normaliz
- With my new computer I cannot compile libnormaliz succesfully.
MacOS 10.15 Catalina
with personal installation of... -
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 ...
28 Apr 2021
-
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).
-
10:57 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]
- Here is my first _ad hoc_ test:...
27 Apr 2021
-
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...
-
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...
-
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[...]@...
-
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... -
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...
26 Apr 2021
-
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...
-
15:07 CoCoALib Bug #1590: CRASH: LinKerZZ
- The correct input should have been the transpose of the matrix.
-
15:06 CoCoALib Bug #1590 (Closed): CRASH: LinKerZZ
- Florian reports:...
-
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):...
Also available in: Atom