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... - 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?
- 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.
- 16:44 Bug #1524 (Feedback): wrong SystemCommand exit value
- 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... - 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... - 16:20 Design #1568 (In Progress): RMap and image: obsolescent?
- I have commented out the version in @coclib.cpkg5@. All tests pass.
- 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.
- 16:08 Design #1407 (In Progress): Tagged values (Hilbert Series)
- What is the status of this issue? It is resolved?
Is %done correct?
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?
- 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... - 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... - 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:... - 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... - 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.
... - 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)?
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...
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...
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...
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?...
- 17:24 Bug #1624: CantStop playing CantStop
- It seems to work fine on my linux box.
- 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 ...
20 Oct 2021
- 22:05 Bug #1614 (Feedback): SourceRegion gives misleading error mesg
- 22:04 Feature #1616 (Feedback): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
- Maybe poor Anna will have to do a merge?
- 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...
18 Oct 2021
- 12:01 Bug #1623: EmacsUI: annoying colours
- I suppose we could change the printed form to something like this:...
- 11:58 Bug #1623 (Feedback): EmacsUI: annoying colours
- I have now found examples where the EmacsUI can change colours annoyingly: printing out homomorphisms....
- 11:33 Bug #1622: BuiltinOneLiners -- less precise location in error messages
- Here is an example of what I mean:...
- 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... - 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...
- 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...
- 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... - 11:23 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
- Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
- 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...
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 ...
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.
- 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...
13 Oct 2021
- 17:11 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
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!
- 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).
- 09:26 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
- I think this has progressed but nothing was noted here. Increased %done.
- 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... - 09:12 Bug #1443: Illegal instruction
- Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue? - 09:03 Feature #1415: thmproving package
- Any progress on this issue in the last year?
Also available in: Atom