CoCoA » CoCoA-5

15 May 2020

13:56 Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results

John Abbott wrote:
> What do you think? I suppose it would suffice to add *@matrix@* as a keyword...
As simple a... Anna Maria Bigatti

12:11 Support #1111: CoCoAManual: searching for ?? mat and for ?? matrix give different results

I mostly agree. However, I wonder whether some results which appear under *@??mat@* should also appear under *@??mat... John Abbott

11:01 Support #1111 (Feedback): CoCoAManual: searching for ?? mat and for ?? matrix give different results

@? mat@ and @? matrix@ give the same result.
@?? blah@ means "all entries whose search keys contain blah", so I don'... Anna Maria Bigatti

13 May 2020

10:30 Support #1459 (Resolved): Manual entries for mod and div

I have revised the manual entries, and think that they are clear and correct now. Checked in!
The final note about ... John Abbott

10:00 Support #1459 (In Progress): Manual entries for mod and div

The two manual entries should be very similar; right now they are not.
Might it make sense to put them together? ... John Abbott

09:58 Support #1459 (Closed): Manual entries for mod and div

The manual entries for *@mod@* and *@div@* should be consistent.
Currently they are not: @mod@ is correct, @div@ is ... John Abbott

12 May 2020

14:32 Design #1453: Use symbolic links for release files

On MacOS a user can install software easily from a "dpkg" file.
It would be nice to have a single-file-install capab... John Abbott

14:29 Support #322: Installation instructions (on website)

Someone (Abdelali ABOUHALI) recently (2020-05-11) asked for guidance installing CoCoA on Ubuntu.
This is what I an... John Abbott

07 May 2020

12:11 Support #1454: Filenames in release CoCoAManual/html containing [obsolete]

John Abbott wrote:
> An example is *@cmdCast[OBSOLETE].html@*
> Might it be better to use a name such as *@cmdCast-... Anna Maria Bigatti

06 May 2020

11:30 Design #1456: IntersectList or IntersectionList

Probably one should be obsolescent?
Anna just added keyword to manual.
John Abbott

11:29 Design #1456 (New): IntersectList or IntersectionList

Why do we have both *@IntersectList@* and *@IntersectionList@*?
John Abbott

04 May 2020

16:23 Support #1455 (Closed): In a release: which files inside the CoCoAManual

Exactly which files should be in the directory *@CoCoAManual/@*?
Currently, there are @Makefile@ and @README@...
... John Abbott

16:17 Support #1454: Filenames in release CoCoAManual/html containing [obsolete]

An example is *@cmdCast[OBSOLETE].html@*
On my linux box names with square brackets are printed out (by @ls@) insi... John Abbott

16:14 Support #1454 (New): Filenames in release CoCoAManual/html containing [obsolete]

Currently files in @CoCoAManual/html/@ corresponding to obsolete/obsolescent commands have names containing square br... John Abbott

01 May 2020

05:52 Support #1450 (In Progress): Release CoCoA-5.3.2

Here are some notes about the MacOS (hidden) release:
* inside @CoCoA-5.3/CoCoAManual/@ there are @Makefile@ and @RE... John Abbott

30 Apr 2020

17:28 Design #1453: Use symbolic links for release files

Just to remember: we already have pretty good scripts for configuration on Mac and on Linux. Anna Maria Bigatti

17:09 Design #1453: Use symbolic links for release files

We can do it anyway for Linux and MacOS. Hopefully someone will tell us how to do it for Microsoft.
A first idea ... John Abbott

16:00 Design #1453: Use symbolic links for release files

John Abbott wrote:
> I may be difficult to do this on Microsoft?
This is the point: I have no clue how to make a ... Anna Maria Bigatti

15:08 Design #1453: Use symbolic links for release files

Here is an excerpt from comment 13 of issue #990:
Here is a quick summary of what I think the installation "script... John Abbott

15:05 Design #1453 (New): Use symbolic links for release files

It would be better for release files to be in fixed place, whose path name does not change with version number.
Curr... John Abbott

16:02 Support #1451: CoCoA Manual: make search keys public

OK, postponed
...but at least / at last I've remembered to write this down! Anna Maria Bigatti

14:51 Support #1451: CoCoA Manual: make search keys public

This might be a good idea -- I'm not sure yet.
I'd prefer to schedule it for 5.3.4 (rather than 5.3.2 which is very ... John Abbott

14:43 Support #1451 (Closed): CoCoA Manual: make search keys public

Search keys used by "?" in CoCoA, are invisibile in pdf and html versions.
I think they could also be useful for th... Anna Maria Bigatti

15:43 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz

Anna Maria Bigatti

14:44 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz

Anna: can you register the time spent on this, and then close the issue? I think it is due to be closed now, right? John Abbott

15:12 Support #1222 (Closed): Release CoCoA-5.3.0

This has been subsumed by the impending release of 5.3.2 which contains two important bug fixes.
Closing this issu... John Abbott

14:43 Support #1222: Release CoCoA-5.3.0

Close because subsumed by issue #1450? John Abbott

15:10 Design #990 (Closed): CoCoA-5 distribution: tidying

The main part of this issue has been resolved adequately.
The idea in comment 13 has been moved to a new issue #14... John Abbott

15:02 Support #1333 (Closed): Typevectors

John Abbott

14:34 Support #1450 (Closed): Release CoCoA-5.3.2

Everything for the release
CHECK FOR BUGS
Compile with *@--debug@* flag, and check that everything runs O... Anna Maria Bigatti

17 Apr 2020

16:19 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

It works for me ... Anna Maria Bigatti

16:11 Bug #1448 (Feedback): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I have checked in (*@cocoa5.el@*)
How can we make a test suite for the emacs UI?
Please test, and let me know i... John Abbott

16:07 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I think I have a reasonable solution; it may not behave exactly as before. It's tricky getting these regexps to do e... John Abbott

15:45 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I have modified the regexp in my local copy, and it works now.
*BUT* the file contains some weird chars now :-/
... John Abbott

15:22 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

I wonder if the problem is in the regexp on line 1423.... damn, I wrote that :-(
John Abbott

15:19 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

It is important to read carefully the description of the bug...
I confirm the bug for me (Ubuntu 18.04, emacs 25.2... John Abbott

13:58 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

... Anna Maria Bigatti

13:56 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)

This is the most amusing and surprising bug I've ever seen.
Evaluating C-<enter> (or C-c C-l) on the first line of t... Anna Maria Bigatti