CoCoA

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

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

10:57 CoCoALib Feature #1381: Type ideal for ZZ[x[1..n]]

Here is my first _ad hoc_ test:... John Abbott

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

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

20 Apr 2021

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

19 Apr 2021

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

18 Apr 2021

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

15 Apr 2021

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

09 Apr 2021

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

07 Apr 2021

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

05 Apr 2021

15:19 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

How to impl neatly and efficiently the version @CoeffsWRT(f,QB)@?
Perhaps create a list of pairs (PP,index); sort ... John Abbott

15:04 CoCoA-5 Feature #1587: Multiline string literals (again)

If we do adopt the fn @ConcatStr@ and/or @ConcatStrNewline@ then maybe there should be a modified form of @fold@ whic... John Abbott

13:09 CoCoA-5 Feature #1587: Multiline string literals (again)

My original thought (that multiline string literals are not so dangerous if we have helpful prompts) is not so helpfu... John Abbott

13:02 CoCoA-5 Feature #1587 (In Progress): Multiline string literals (again)

As mentioned in #1431#note-9 I have made a first impl of @ConcatStr@, and the result is promising.
Would it make s... John Abbott

12:53 CoCoA-5 Feature #1431: Juxtaposition of string literals

I have just looked at the source code (@Parser.C@ around lines 2135--2150); the old code for juxtaposed strings is st... John Abbott

02 Apr 2021

11:24 CoCoA-5 Feature #1431 (In Progress): Juxtaposition of string literals

A potential disadvantage of something like *@"abc"+"def"+"ghi"@* is that a naive impl will take quadratic time. I su... John Abbott

11:24 CoCoA-5 Feature #1587: Multiline string literals (again)

A possible motivation for wanting to allow multi-line strings is...
CoCoA is slow at reading polynomials with many t... John Abbott

11:06 CoCoA-5 Feature #1587: Multiline string literals (again)

If we do not allow multi-line string literals, but we do allow concatenation in the parser then the example in the de... John Abbott

10:59 CoCoA-5 Feature #1587 (Closed): Multiline string literals (again)

Now that we have more comprehensible "context-sensitive" prompts, one of the reasons for wishing to avoid multi-line ... John Abbott

10:38 CoCoA-5 Support #1287 (Feedback): Better err mesg for easy typo in ring definition

Anna approved this change during discussions. The warning has been reworded:... John Abbott

10:27 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow

Which functions should test for overflow?
@power@ and multiplication certainly. Which others?... John Abbott

09:55 CoCoA-5 Support #1507 (Feedback): wordlist without OBSOLETE entries?

Anna agrees with the proposal. Checked in.
John Abbott

09:54 CoCoA-5 Slug #1506 (Feedback): Remove XMLFileName from Main.C

Anna agrees that the check seems to about something ancient, and should be disable/removed.
Currently comment out --... John Abbott

09:28 CoCoA-5 Support #1586 (In Progress): Profiling with clang

pg does not work.... Anna Maria Bigatti

08:54 CoCoA-5 Design #1493 (Closed): Automatic ring mapping in assignment?

John Abbott wrote:
> I have revised the manual entry for @matrix@. I did note that in the examples @mat@ is used ra... Anna Maria Bigatti