Project

General

Profile

Activity

From 14 Oct 2021 to 12 Nov 2021

12 Nov 2021

11:41 Support #1534: Install CoCoA-5 on MacOS-10.15+
Check if this is still a problem!
What does Robbiano do?
John Abbott
11:34 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
I have just tested what happens if there is some unsent input in the CoCoA-5, and it seems to discard the unsent inpu... John Abbott
11:32 Feature #1526 (In Progress): EmacsUI: help/manual for selected string -- or just for word with cursor on?
Might it make sense to bind also @C-c h@ and perhaps @C-c ?@ or even @C-c C-?@
Just some suggestions.... maybe t...
John Abbott
11:30 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Done for the CoCoA-5 menu. Anna Maria Bigatti
11:25 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
it is probably easy to add it to the cocoa5-comint menu.
What about the keybinding?
Anna Maria Bigatti
11:14 Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?
Website seems ok now.
Closing.
John Abbott
10:45 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
John Abbott
10:25 Design #1631: Use filesystem::path instead of string (packageDir, CoCoAManFileName)
It seems that @filesystem::path@ was introduced in C++17.
Anna asks whether we should start compiling with standard ...
John Abbott
10:21 Design #1631 (New): Use filesystem::path instead of string (packageDir, CoCoAManFileName)
In some files we use @std::string@ to represent paths to files.
Replace these with values of type @filesystem::path@...
John Abbott
10:23 Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing
No longer crashes. So that's good.
Now we just need to clean up the path, but that's in a new issue #1631
Anna Maria Bigatti
10:06 Design #1496: Use "special" names for variables inside tests
Anna is reasonably convinced by the idea. She made some alternative proposals:
* use all capital letters for names ...
John Abbott
09:48 Bug #1610 (Closed): IsInRadical: some more little bugs
No new bugs have surfaced. Closing this issue. Anna Maria Bigatti

10 Nov 2021

19:49 Design #1496 (In Progress): Use "special" names for variables inside tests
I have decided to "test" the idea of putting a single underscore at the start of names.
I have just modified @bug-...
John Abbott
19:41 Bug #1294 (Feedback): CoCoA-5 tests may fail even if executed correctly
I made the change about a year ago (according to redmine), and no complaints have surfaced.
So advancing to *feedbac...
John Abbott
19:34 Bug #1604: SqFreeFactor crashes over non-perfect field
No real chance of finding time to resolve this in the foreseeable future :-(
Probably not that hard, but it will sur...
John Abbott
19:32 Bug #1610: IsInRadical: some more little bugs
Anna: can you close this issue? John Abbott
18:57 Bug #1397: Crashes if CoCoAHelp.xml is missing
We probably need to change the fn @CoCoAManFileName@ (around line 950 in @OnlineHelp.C@).
The return type should be ...
John Abbott
18:43 Bug #1397: Crashes if CoCoAHelp.xml is missing
There is a stackoverflow thread about getting @dirname@: https://stackoverflow.com/questions/3071665/getting-a-direct... John Abbott
18:29 Bug #1397: Crashes if CoCoAHelp.xml is missing
It would be nice (& cleaner) if we could get rid of @packages/../@.
I think this should be possible.
John Abbott
18:27 Bug #1397: Crashes if CoCoAHelp.xml is missing
I have modified the error message slightly. Now it gives:... John Abbott
18:17 Bug #1412 (Closed): Emacs UI: font size
John Abbott
18:12 Bug #1524: wrong SystemCommand exit value
My current opinion is to return the exit code, even if this is not well defined (in a portable way).
This would allo...
John Abbott
18:07 Bug #1613 (Closed): CRASH with RingHom from FrF
John Abbott
18:04 Bug #1614 (Closed): SourceRegion gives misleading error mesg
John Abbott

08 Nov 2021

16:43 Bug #1356: CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
I have reviewed the header files and checked them in.
We need to review also the copyright notices: I have added A...
John Abbott
12:39 Slug #1629 (Closed): RingElem slow with many indets
Bernhard Andraschko reports the following (via email):... John Abbott
11:29 Bug #1104 (In Progress): Eigenvectors: inconsistent return type
Get started! John Abbott

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
 

Also available in: Atom