Project

General

Profile

Activity

From 07 Oct 2021 to 05 Nov 2021

05 Nov 2021

23:07 Bug #1356 (Resolved): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
I have changed all the files.
The only slightly strange one is @C5.H@ where the whole file is inside a @#ifdef@ bloc...
John Abbott
16:47 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
This is a reasonable proposal. Let's do it!
Soon?
John Abbott
16:53 Design #1501 (Rejected): testing for syntax errors
Since we cannot see how to do this in a reasonable way, we reject the issue.
John Abbott
16:44 Bug #1524 (Feedback): wrong SystemCommand exit value
John Abbott
16:40 Bug #1623: EmacsUI: annoying colours
John Abbott wrote:
> I suppose we could change the printed form to something like this:
> [...]
> Or maybe *@domai...
Anna Maria Bigatti
16:33 Design #1568: RMap and image: obsolescent?
The old function @image@ is only used in @radical.cpkg2@ and @toric.cpkg5@.
They should (easily) be replaced by prop...
Anna Maria Bigatti
16:20 Design #1568 (In Progress): RMap and image: obsolescent?
I have commented out the version in @coclib.cpkg5@. All tests pass.
John Abbott
16:17 Design #474: Eliminate package BinRepr
Anna: compare the function in CoCoALib and remove or simplify the package, at least @Aux_BinExp@ should be deleted. Anna Maria Bigatti
16:08 Design #1407 (In Progress): Tagged values (Hilbert Series)
What is the status of this issue? It is resolved?
Is %done correct?
John Abbott

04 Nov 2021

23:26 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Is this something easy we could do quickly? Or is it better to postpone to the next release? John Abbott
23:24 Bug #1397 (Resolved): Crashes if CoCoAHelp.xml is missing
I have just tried, and CoCoA-5 no longer crashes. It also produced a fairly reasonable error message.
Maybe the err...
John Abbott
23:21 Bug #1397: Crashes if CoCoAHelp.xml is missing
If @CoCoAHelp.xml@ is missing then the installation is broken (or there is a wrong path).
Crashing/aborting may be a...
John Abbott
23:16 Bug #1320: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file)
This is still a problem, but not so common.
We should identify some cases where it occurs, and study those:...
John Abbott
23:07 Design #1501: testing for syntax errors
The idea itself is not so bad, but actually implementing looks to be nightmarish.
I am inclined to reject this iss...
John Abbott
22:59 Bug #1623 (In Progress): EmacsUI: annoying colours
Now that I must consider how ringhoms are printed, I do think that readability of the current format is not so good.
...
John Abbott
20:34 Design #610: Variable It: assign before or after printing
Is the value "assigned" to @It@ or swapped into @It@ (hopefully without being copied more than strictly necessary)?
John Abbott

30 Oct 2021

19:57 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

29 Oct 2021

19:17 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

27 Oct 2021

13:13 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

21 Oct 2021

17:41 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 Bug #1624: CantStop playing CantStop
It seems to work fine on my linux box.
John Abbott
17:22 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:05 Bug #1614 (Feedback): SourceRegion gives misleading error mesg
John Abbott
22:04 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 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

18 Oct 2021

12:01 Bug #1623: EmacsUI: annoying colours
I suppose we could change the printed form to something like this:... John Abbott
11:58 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 Bug #1622: BuiltinOneLiners -- less precise location in error messages
Here is an example of what I mean:... John Abbott
11:30 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 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 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 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 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
John Abbott
11:08 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 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 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 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

13 Oct 2021

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

12 Oct 2021

09:33 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 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 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 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 Bug #1443: Illegal instruction
Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue?
John Abbott
09:03 Feature #1415: thmproving package
Any progress on this issue in the last year?
John Abbott
 

Also available in: Atom