Activity

From 07 Apr 2021 to 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... Anna Maria Bigatti
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... Anna Maria Bigatti
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... Anna Maria Bigatti

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

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

06:54 CoCoALib Feature #1589 (Resolved): IdealOfPoints: allow matrix of points to be defined over "wrong" ring: Easy to fix for most of the reasonable cases.... Anna Maria Bigatti
06:49 CoCoALib Feature #1589 (Closed): IdealOfPoints: allow matrix of points to be defined over "wrong" ring: This works... Anna Maria Bigatti

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... John Abbott
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 ... John Abbott
15:55 CoCoALib Design #855: Copyright and authorship?: Write something like:... Anna Maria Bigatti
15:53 CoCoALib Design #855: Copyright and authorship?: To do:
* @TmpFactorDir@
* @TmpHilbertDir@
* etc?
John Abbott
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. John Abbott
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... John Abbott
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".
... John Abbott

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

11:34 CoCoALib Feature #1306: exgcd over integers (ZZ): The source code is in *@NumTheory-gcd.C@*.
John Abbott
11:25 CoCoALib Bug #1473: isystem not working as expected: Any update? John Abbott
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... John Abbott
10:23 CoCoALib Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering: *Here is a benchmark* (since there was none given earlier:... John Abbott
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... John Abbott
10:15 CoCoALib Slug #1588 (New): ElimMat is slow: @ElimMat@ is rather slow for larger inputs:... John Abbott
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... John Abbott

13:48 CoCoALib Support #1555: Software licence: I currently suggest the following:
* add copyright notices to all files (incl. @Makefile@ and other supporting files... John Abbott
13:40 CoCoALib Support #1555: Software licence: As mentioned in #855#note-15 the FSF gives advice at the following URL:... John Abbott
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:... John Abbott

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

Also available in: Atom

CoCoA