Project

General

Profile

Activity

From 23 Apr 2021 to 22 May 2021

21 May 2021

16:47 Feature #1466: Ops += *= etc for Matrices?
Maybe we could get some benefit from using @swap@ or @std::move@?
Investigate?
John Abbott
16:43 Feature #1466: Ops += *= etc for Matrices?
I think the syntax is worth having, and I think it should be exception safe, as for RingElems.
Anna Maria Bigatti

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?
John Abbott

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)
Anna Maria Bigatti

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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti

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...
John Abbott
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...
Anna Maria Bigatti

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,...
John Abbott

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...
John Abbott
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...
Anna Maria Bigatti
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 ...
John Abbott

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).
John Abbott
10:57 Feature #1381: Type ideal for ZZ[x[1..n]]
Here is my first _ad hoc_ test:... John Abbott

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... John Abbott
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... John Abbott
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[...]@... John Abbott
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...
John Abbott
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...
John Abbott

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... John Abbott
15:07 Bug #1590: CRASH: LinKerZZ
The correct input should have been the transpose of the matrix.
John Abbott
15:06 Bug #1590 (Closed): CRASH: LinKerZZ
Florian reports:... John Abbott
14:07 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