Project

General

Profile

Activity

From 28 Sep 2021 to 27 Oct 2021

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

02 Oct 2021

10:25 CoCoA-5 Bug #1614: SourceRegion gives misleading error mesg
The relevant source code is around line 4170 in @Interpreter.C@
inside the function @void SourceRegionStatement::imp...
John Abbott
10:23 CoCoA-5 Bug #1614 (Closed): SourceRegion gives misleading error mesg
Here is the simplified failing example from issue #1613:... John Abbott

01 Oct 2021

13:53 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
According to gdb the fn is called (indrectly) from @Interpreter.C:3032@ in @Interpreter::run@
I think the problem m...
John Abbott
12:35 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
Probable source code:
@RINGHOM::eval@ around line 2792 in @Interpreter.C@
Probably called from: @intrusive_ptr<Va...
John Abbott
12:19 CoCoA-5 Bug #1613 (In Progress): CRASH with RingHom from FrF
Simpler failing example:... John Abbott

30 Sep 2021

22:42 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
Actually a separate bug: @CommonDenom(a*x^2-1/a)@ gives 1 rather than @a@... Ooops!
*NOTE* the code looks fine, ...
John Abbott
22:35 CoCoA-5 Bug #1613 (Closed): CRASH with RingHom from FrF
The following causes a crash: why was the exception not caught and handled?... John Abbott
14:13 CoCoALib Feature #1602: Sparse matrix (SparseMat)
Do we want to handle structured matrices like sparse matrices? _e.g._ Toeplitz matrices are specified by just a few ... John Abbott
10:45 CoCoALib Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt
Merge the doc file *@RadicalMembership.txt@* into *@ideal.txt@*?
Note that the doc refers to @ex-RadicalMembership...
John Abbott
10:23 CoCoALib Support #1611 (New): Documentation for PrimaryDecomposition
The CoCoALib doc for @PrimaryDecomposition@ needs to be improved.
I have just added a description of the data type i...
John Abbott

28 Sep 2021

17:48 CoCoA-5 Bug #1610 (Feedback): IsInRadical: some more little bugs
fixed. I didn't encounter other new bugs.
Updated test-exbugs
Anna Maria Bigatti
16:48 CoCoA-5 Bug #1610: IsInRadical: some more little bugs
This seems to be the problem... Anna Maria Bigatti
 

Also available in: Atom