Activity
From 17 Apr 2021 to 16 May 2021
14 May 2021
- 17:24 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?
07 May 2021
- 17:08 Support #1592: Normaliz 3.8.10
- Now it works.
Repeat on Linux (anche make cocoa-5.3.3b for linux)
06 May 2021
- 16:11 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 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 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 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 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 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 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 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 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 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 Feature #1381: Type ideal for ZZ[x[1..n]]
- Here is my first _ad hoc_ test:...
27 Apr 2021
- 22:45 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 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 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 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 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 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 Bug #1590: CRASH: LinKerZZ
- The correct input should have been the transpose of the matrix.
- 15:06 Bug #1590 (Closed): CRASH: LinKerZZ
- Florian reports:...
- 14:07 Support #1555: Software licence
- Currently our copyright notice in source code files says the following (following guidance from FSF about using GPL):...
20 Apr 2021
- 06:54 Feature #1589 (Resolved): IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- Easy to fix for most of the reasonable cases....
- 06:49 Feature #1589 (Closed): IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- This works...
19 Apr 2021
- 20:55 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 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:55 Design #855: Copyright and authorship?
- Write something like:...
- 15:53 Design #855: Copyright and authorship?
- To do:
* @TmpFactorDir@
* @TmpHilbertDir@
* etc?
18 Apr 2021
- 22:51 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...
Also available in: Atom