CoCoA

30 Oct 2021

22:09 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain

Here is a way of making test cases for computing determinant:
take a unimodular matrix, and multiply it by a nzzd (w... John Abbott

19:57 CoCoA-5 Bug #1502 (In Progress): SystemCommand in Microsoft version

Bernhard and I made several tests yesterday: well, he made the tests, I just came up with "clever"(??) ideas.
*SUM... John Abbott

19:47 CoCoALib Design #1625 (Resolved): Use new C++ keyword override

I have checked in (and found several errors/inconsistencies while doing so).
All compiles and works fine on my Linux... John Abbott

19:46 CoCoALib Design #1627 (Resolved): Use keyword "delete" for deleted functions

I have checked in my changes. All compiles fine on my Linux box.
John Abbott

29 Oct 2021

21:51 CoCoALib Design #1627: Use keyword "delete" for deleted functions

I have done the first wave (too much train travel).
Very mind-numbing doing these almost mechanical changes.
My cop... John Abbott

21:49 CoCoALib Design #1627 (Closed): Use keyword "delete" for deleted functions

Following advice from Scott Meyers (Eff Modern C++, item 11)
use the keyword *@delete@* to indicate deleted function... John Abbott

19:17 CoCoA-5 Design #1626 (Feedback): NewMat: should be obsolescent?

What are the differences between *@NewMat@* and *@ZeroMat@*.
The manual entry for @NewMat@ suggests that it is almos... John Abbott

19:13 CoCoALib Bug #1280: Determinant & Inverse of matrix over non integral domain

Here are some more examples which should work, but which do not:... John Abbott

19:09 CoCoALib Bug #536: Make RingBase::myCharacteristic a fn rather than a proc

Now we have moved to C++14, and @BigInt@ has a move ctor, we can implement this change.
Should there be a speed ch... John Abbott

09:38 CoCoALib Design #1625: Use new C++ keyword override

John Abbott wrote:
> In @FractionField.C@ I have found this check-in comment:
> [...]
>
> I suppose this was the... Anna Maria Bigatti

27 Oct 2021

13:13 CoCoA-5 Support #1006: External dependencies for building

A possible compromise to avoid deleting the documentation if the software components needed to rebuild it are not pre... John Abbott

25 Oct 2021

20:01 CoCoALib Design #1625: Use new C++ keyword override

In @FractionField.C@ I have found this check-in comment:... John Abbott

19:58 CoCoALib Design #1625: Use new C++ keyword override

I think I have made most of the changes... quite a mind-numbing experience :-(
I may have found a couple of typos ... John Abbott

19:52 CoCoALib Design #1625 (Closed): Use new C++ keyword override

Scott Meyers, in Effective Modern C++, writes in Item 12 that one should use the new C++ keyword *@override@* for mem... John Abbott

22 Oct 2021

08:22 CoCoALib Feature #1589 (Feedback): IdealOfPoints: allow matrix of points to be defined over "wrong" ring

Added test Anna Maria Bigatti

21 Oct 2021

17:41 CoCoA-5 Bug #1624: CantStop playing CantStop

My CoCoA-5 ended abruptly when I sent an EOF as an input: is that to be expected?... John Abbott

17:24 CoCoA-5 Bug #1624: CantStop playing CantStop

It seems to work fine on my linux box.
John Abbott

17:22 CoCoA-5 Bug #1624 (New): CantStop playing CantStop

Long tried @PlayCantStop@ (On Microsoft) but quickly wanted to give up.
However, interrupting did not work. He had ... John Abbott

20 Oct 2021

22:09 CoCoALib Design #1608 (Closed): Domain of definition of NextPrime (and PrevPrime)

John Abbott

22:05 CoCoA-5 Bug #1614 (Feedback): SourceRegion gives misleading error mesg

John Abbott

22:04 CoCoA-5 Feature #1616 (Feedback): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's

Maybe poor Anna will have to do a merge?
John Abbott

15:53 CoCoA-5 Feature #1616 (Resolved): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's

This is almost done. I made the change while making a belated, corrected video for last week's CoCoALib course.
Wil... John Abbott

21:48 CoCoALib Design #1617 (Resolved): UnivariateIndetIndex: exact semantics

I have checked in the version which rejects constant but accepts polyrings with 1 indet.
John Abbott

20:40 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics

I tried throwing an exception if the arg was a constant or if the polyring had just 1 indet, but several tests failed... John Abbott

15:52 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics

If we do change the semantics, *don't forget to change the doc as well!* And perhaps also change the tests! John Abbott

15:51 CoCoALib Design #1617 (In Progress): UnivariateIndetIndex: exact semantics

I have just modified the imple of @UnivariateIndetIndex@ so that it produces an error if the input is constant or if ... John Abbott

15:56 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

Robbiano would like @factor@ to work for integers (or some integers, at least).
How can we do this reasonably? Mayb... John Abbott

18 Oct 2021

12:01 CoCoA-5 Bug #1623: EmacsUI: annoying colours

I suppose we could change the printed form to something like this:... John Abbott

11:58 CoCoA-5 Bug #1623 (Feedback): EmacsUI: annoying colours

I have now found examples where the EmacsUI can change colours annoyingly: printing out homomorphisms.... John Abbott

11:33 CoCoA-5 Bug #1622: BuiltinOneLiners -- less precise location in error messages

Here is an example of what I mean:... John Abbott

11:30 CoCoA-5 Bug #1622: BuiltinOneLiners -- less precise location in error messages

I have set the target version as 5.3.4, but this may be wildly optimistic.
I fear that this request may be rather ha... John Abbott

11:29 CoCoA-5 Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages

I have noticed that error messages produced by fns which are defined in *@BuiltinOneLiners@* are less precise than th... John Abbott

11:26 CoCoA-5 Support #1621: Doc for the various BuiltIn files

I have set 5.3.4 as the target version because I think it would be a good idea to have a first version available soon... John Abbott

11:25 CoCoA-5 Support #1621 (New): Doc for the various BuiltIn files

We need to produce documentation explaining the difference between the various *@BuiltIn@* files.
When someone wants... John Abbott

11:23 CoCoA-5 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer

Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
John Abbott

11:08 CoCoA-5 Bug #928: ciao, exit, quit can be used not only at top level

The problem as describe is still present.
The easy approach is to leave the interpreter as is, and just change the... John Abbott

17 Oct 2021

20:49 CoCoA-5 Bug #1412 (Feedback): Emacs UI: font size

I have just checked in a modified version of cocoa5.el.
I have replaced line 1337 by an *@if@* which sets the major ... John Abbott

15 Oct 2021

20:12 CoCoA-5 Bug #1412: Emacs UI: font size

I think the relevant line is 1337 in @cocoa5.el@... too tired to try now.
John Abbott

14:09 CoCoA-5 Bug #1412: Emacs UI: font size

A quick search produced the following advice:
https://stackoverflow.com/questions/2238418/emacs-lisp-how-to-get-bu... John Abbott

14:24 CoCoALib Bug #1620 (New): MinPolyQuot not documented

MinPolyQuot is available in CoCoALib but is not documented. Florian Walsh

14:22 CoCoALib Feature #1619 (Closed): Make saturate available in CoCoALib

It seems like this is already implemented. There is a function mySaturate in _AlgebraicCore/SparsePolyOps-ideal.C_.
... Florian Walsh

14 Oct 2021

15:50 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics

Mmm, should it be an error to call @UnivariateIndetIndex@ if the polyring has just 1 indet?
After all, the answer i... John Abbott

15:48 CoCoALib Support #1618 (Closed): Tidy ex-RingElem2

I think that *@ex-RingElem2@* needs to be updated/tidied.
For instance, there is no need to pass the ring to the f... John Abbott

13 Oct 2021

20:34 CoCoALib Design #1617: UnivariateIndetIndex: exact semantics

What about the case of a constant poly in a polyring with just 1 indet?
Error or not? (assuming we opt for an error... John Abbott

20:14 CoCoALib Design #1617 (Closed): UnivariateIndetIndex: exact semantics

What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ... John Abbott

17:11 CoCoA-5 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's

Anna Maria Bigatti

12 Oct 2021

09:33 CoCoA-5 Slug #709: Speed of some Normaliz calls (NmzComputation)

(2021-10-12) Last time this was checked was 4 years ago! We must check to see if it still a problem!
John Abbott

09:27 CoCoA-5 Feature #912: Add TUTORIALs to online manual

The situation has improved. Maybe I will get good feedback from the course here in Kassel (2021-10-12).
John Abbott

09:26 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

I think this has progressed but nothing was noted here. Increased %done.
John Abbott

09:22 CoCoA-5 Slug #1581: Slow sqfr: rad(f)

*2021-10-12* this is still a problem.
Presumably the problem comes from computing a multivariate gcd over a finite... John Abbott

09:12 CoCoA-5 Bug #1443: Illegal instruction

Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue? John Abbott

09:03 CoCoA-5 Feature #1415: thmproving package

Any progress on this issue in the last year?
John Abbott

05 Oct 2021

20:21 CoCoA-5 Design #1568: RMap and image: obsolescent?

I have boosted priority to "high" because I would like this to be completed soon!
John Abbott

04 Oct 2021

12:13 CoCoA-5 Bug #1613 (Resolved): CRASH with RingHom from FrF

Similar to issue #1614, I have "hacked" the interpreter, and the examples seem to work now.
But I am not confident t... John Abbott

12:11 CoCoA-5 Bug #1614 (Resolved): SourceRegion gives misleading error mesg

I have rather blindly changed the interpreter. The code now seems to work as hoped (but I am not too confident that ... John Abbott

12:08 CoCoALib Bug #1601: Compilation ambiguity

This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... John Abbott

12:03 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix

We should move towards making *@apply@* obsolescent in CoCoA-5 now that RINGHOM can be applied directly to LIST and M... John Abbott

12:00 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix

I am not sure whether the following behaviour is what is wanted:... John Abbott

11:57 CoCoA-5 Design #1615 (Rejected): apply: remove for RingHom

*THIS IS REALLT A DUPLICATE OF #1598. SO REJECTING!*
John Abbott

11:16 CoCoA-5 Design #1615 (Rejected): apply: remove for RingHom

As done for CoCoALib, permit RINGHOMs to be applied directly to LIST and MAT.
Then eliminate @apply@ (or make it obs... John Abbott

11:50 CoCoALib Design #1467: Change syntax apply(phi,M) into phi(M)?

In the end my hand was forced.
Some future version of C++ (maybe C++17?) defines a template fn *@apply@* which match... John Abbott

09:50 CoCoALib Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring

checked in (4 Oct 21) Anna Maria Bigatti