CoCoA

24 Oct 2022

15:18 CoCoALib Bug #1705 (In Progress): ProgressReporter: prepare for new loop?

A likely cause is that the frequency of proper time checks is too low (because of the very fast iters of the 1st loop... John Abbott

15:15 CoCoALib Bug #1705 (In Progress): ProgressReporter: prepare for new loop?

I have a program with 3 loops, and would like to have progress info about each loop.
The 1st loop is very fast; the ... John Abbott

09:41 CoCoA-5 Support #1393: GUI with Qt5

Thanks, Ulrich!
I hope to look at this during the week. I had already made several changes regarding BOOST, so I'll... John Abbott

08:55 CoCoA-5 Support #1393: GUI with Qt5

As a test I built the GUI successfully on OpenBSD.
The process exposed also several several minor issues with the ... Ulrich von der Ohe

21 Oct 2022

22:39 CoCoALib Design #1703 (In Progress): Threadsafety, multithreading: optional fn arg (or separate fn)

I have implemented threadsafe mem fns *@myAdd@* (equiv to *@op+=@*).
Now it is not so clear whether *@myTotal@* also... John Abbott

15:05 CoCoALib Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn)

I have not (yet) checked what the penalty might be for using a threadsafe version in a multi-threaded
situation but ... John Abbott

15:02 CoCoALib Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn)

Might it make sense to offer the caller the option of choosing
between a "threadsafe" call and one which is not?
... John Abbott

16:01 CoCoALib Design #1704 (New): Symlink directory for external files needed by CoCoA-5

Mimic @ExternalLibs/@ directory (Feature #573) for making symlinks to libraries needed only by CoCoA-5. Anna Maria Bigatti

15:53 CoCoA-5 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)

Added Feature #1701: could be a good source of ideas to be refined, tested, documented, developed. Anna Maria Bigatti

15:50 CoCoA-5 Feature #1701: Preliminary packages

Created new directory: *@src/CoCoA-5/packages/preliminary/@*
We'll think about documentation later...
John Abbott

15:25 CoCoA-5 Feature #1701 (In Progress): Preliminary packages

Anna approves the idea (in a nebulous way).
There are some thorny questions:
*(A)* how will these packages be docum... John Abbott

19 Oct 2022

14:23 CoCoA-5 Design #1698: indent: return a string?

It has to be said that having indent returning a string would be more compatibile with the functions *@format@* and *... Anna Maria Bigatti

14:06 CoCoA-5 Design #1698: indent: return a string?

Anna Maria Bigatti wrote:
> now that I'm using it, I'm having compatibility problems with the rest of the world stil... Anna Maria Bigatti

13:52 CoCoA-5 Design #1698: indent: return a string?

now that I'm using it, I'm having compatibility problems with the rest of the world still with earlier versions.
So ... Anna Maria Bigatti

18 Oct 2022

20:56 CoCoALib Feature #1702 (In Progress): Use C++ attributes

Since C++11 _attributes_ are available.
These can be used to suppress compiler warnings, or give hints about likelih... John Abbott

17 Oct 2022

14:38 CoCoA-5 Feature #1701: Preliminary packages

As an example, there was a package implementing some common "transcendental functions" (_e.g._ *@sin@*, *@log@*).
I ... John Abbott

14:35 CoCoA-5 Feature #1701 (In Progress): Preliminary packages

Some while ago Kreuzer gave me many CoCoA packages developed by his students over the years.
I did look at a few o... John Abbott

14:04 CoCoA-5 Design #1568: RMap and image: obsolescent?

Any progress here?
I'd like to complete this issue. It is one of those frustrating ones which take
quite a bit of ... John Abbott

14:02 CoCoA-5 Feature #912: Add TUTORIALs to online manual

I have some new students learning CoCoA-5.
I shall ask them for constructive feedback about improving the tutorials ... John Abbott

13:59 CoCoA-5 Feature #1373 (In Progress): GFan also for Microsoft?

I am hoping to see Nico Mexis from time to time during this semester.
Perhaps I can ask him for notes about what he ... John Abbott

14 Oct 2022

20:12 CoCoALib Design #1699: Shell scripts: Shebang line, etc

On a more practical note, perhaps the following shebang line provides the behavior that you want (without warranty or... Ulrich von der Ohe

16:51 CoCoALib Slug #701 (Rejected): Makefile; limit dependencies on external libs

John Abbott wrote:
> doing this correctly would require considerable effort, and the likely benefit little and sel... Anna Maria Bigatti

11:37 CoCoALib Slug #701 (In Progress): Makefile; limit dependencies on external libs

My thinking is still aligned with comment 1:
doing this correctly would require considerable effort, and the likel... John Abbott

12:32 CoCoALib Support #1700: boost_1_80_0

I still have some warnings, but it compiles and works fine... Anna Maria Bigatti

11:45 CoCoALib Support #1700 (Resolved): boost_1_80_0

I wonder if there is a simple away to warn users of potential problems?
A similar problem could arise with any of ... John Abbott

10:18 CoCoALib Support #1700: boost_1_80_0

Problems with... Anna Maria Bigatti

10:16 CoCoALib Support #1700 (Closed): boost_1_80_0

Problems and solutions Anna Maria Bigatti

11:53 CoCoALib Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5

The advantage of two separate @configure@ scripts is that they would be smaller (and more manageable?) than the one *... John Abbott

10:11 CoCoALib Design #933: Separate configure scripts for CoCoALib and CoCoA-5

Anna Maria Bigatti wrote:
> I'd rather not.
> First of all, it works as it is.
> Secondly, CoCoALib and CoCoA-5 ar... Anna Maria Bigatti

10:31 CoCoA-5 Design #1697: Specifying BOOST in configure

It seems that -Bstatic works only for linux... Anna Maria Bigatti

10:26 CoCoA-5 Design #1697: Specifying BOOST in configure

I would change @--with-boost@ with @--with-boost-hdrs@ or @--with-boost-incdir@ (or similar) to highlight that for bo... Anna Maria Bigatti

12 Oct 2022

19:07 CoCoALib Design #1699: Shell scripts: Shebang line, etc

I agree the CoCoA scripts should consistently use only one of the shebang options. I think either option has a potent... Ulrich von der Ohe

09:22 CoCoALib Design #1677: release-source script: use shell globbing?

John Abbott wrote:
> I'm convinced by the "preserve" flag change already made.
I agree
> I am unconvinced by s... Anna Maria Bigatti

11 Oct 2022

22:00 CoCoALib Design #1699 (In Progress): Shell scripts: Shebang line, etc

I have spent some time looking at comments on StackOverflow (or similar sites).
* *(A)* Advantages of *@/usr/bin/e... John Abbott

21:42 CoCoALib Design #1699 (In Progress): Shell scripts: Shebang line, etc

Ulrich recently provided a nice shell script for checking whether Qt5 is available (see #1393).
The script use a "... John Abbott

21:38 CoCoALib Design #1677: release-source script: use shell globbing?

Rediscovered this issue by chance...
I'm convinced by the "preserve" flag change already made.
I am unconvinced b... John Abbott

20:19 CoCoA-5 Support #1393: GUI with Qt5

@Ulrich: great! Thanks!
Currently my old MacBook is rather unwell (me too), so I cannot check on MacOS.
I'll pr... John Abbott

17:59 CoCoA-5 Support #1393: GUI with Qt5

I attach a revised version of the shell script. It is somewhat modeled after @configuration/gmp-check-cxxflags.sh@ (a... Ulrich von der Ohe

10 Oct 2022

12:01 CoCoA-5 Design #1698 (Feedback): indent: return a string?

John Abbott

08 Oct 2022

13:17 CoCoA-5 Support #1393: GUI with Qt5

I am not convinced the macOS specific stuff in @make-c5makefile.sh@ is still useful. I certainly have not altered it ... Ulrich von der Ohe

07 Oct 2022

19:53 CoCoA-5 Support #1393: GUI with Qt5

I attach a new version of @qt5check.sh@. Please use this one instead of the one I uploaded earlier.
For macOS, the... Ulrich von der Ohe

15:28 CoCoA-5 Support #1393: GUI with Qt5

Thank Ulrich! That was quick.
I shall try to incorporate your test ASAP.
Right now I do not have access to CVS -- ... John Abbott

15:26 CoCoA-5 Support #1393: GUI with Qt5

Hi John, I attach three files which I think should do the job:
1) @qt5check.sh@: Checks for @qmake@, runs it it on... Ulrich von der Ohe

15:25 CoCoALib Design #1693 (Closed): SizeInBase: obsolete

John Abbott

15:20 CoCoALib Feature #1676: txt2tags: include in source distribution?

6 months later I still think it is best *not* to distribute @txt2tags@ within our source tree.
I suggest closing thi... John Abbott

15:18 CoCoALib Bug #1662: txt2tags: problem with filenames containing "_" or "-"

2022-10-07: what is the status of this issue?
Are Ulrich's modifications already checked in?
Can the issue be cl... John Abbott

14:40 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

Referring to comment 10: the function @Initialize@ now does nothing; all references to @MEMORY@ are commented out).
John Abbott

14:38 CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"

*Bernhard* in comment 10 above, it is reported you had an improved version (of @OperationCommunication.cpkg5@).
Is ... John Abbott

14:35 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+

2022-10-07: What is the status of this issue? John Abbott

11:34 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib

This student translated the code in CoCoA @prototype-GBZZ.cpkg5@ into cocoalib.
And also added some changed found in... Anna Maria Bigatti

11:18 CoCoALib Design #710: Update normaliz interface?

John Abbott wrote:
> The revised @normaliz@ interface aims to be backward compatible.
>
> JAA prefers the new nam... Anna Maria Bigatti

11:06 CoCoA-5 Slug #750 (Closed): C5 GUI: very slow when printing many short lines

We do not really have the resources to investigate and fix this.
While the "slow newline problem" is not ideal, it i... John Abbott

10:56 CoCoA-5 Feature #35 (Rejected): Optional warnings for fn-proc arity

After discussion with Anna: *REJECT*
* we have not really ever had (in 11 years) difficulties where such a warning w... John Abbott

06 Oct 2022

20:51 CoCoA-5 Design #1698: indent: return a string?

I have changed the CoCoA-5 tests so that they do *@print indent(...);@* where previously there was just *@indent(...... John Abbott

20:48 CoCoALib Support #613 (Resolved): Which ubuntu / debian packages are needed to compile CoCoA

*2022-10-05* Here is what I think is now needed (on Ubuntu 22.04)... John Abbott

20:38 CoCoA-5 Support #1393: GUI with Qt5

Ulrich, a question for you:
Would it be easy to make a very simple test program for Qt which could be used
by a... John Abbott

20:15 CoCoA-5 Bug #148 (In Progress): C-c C-p in emacs goes to wrong line

To help develop better code we need some test cases. I'll type in some candidates here.
*TEST CASE 1*... John Abbott

20:00 CoCoA-5 Bug #716: NotBuiltin.cpkg5: indent for MODULE

The name should be short and ideally mnemonic.
Currently *@F@*, which is a short as possible. Any idea what is typi... John Abbott

05 Oct 2022

11:35 CoCoA-5 Bug #716: NotBuiltin.cpkg5: indent for MODULE

John Abbott wrote:
> Can we document this behaviour (since I think it is not completely self-explanatory)?
>
> Is... Anna Maria Bigatti

11:30 CoCoA-5 Design #1698: indent: return a string?

> Possible options are:
> * *(A)* accept the new behaviour (and update the expected test outputs)
> * *(B)* modif... Anna Maria Bigatti

11:22 CoCoA-5 Bug #148: C-c C-p in emacs goes to wrong line

John Abbott wrote:
> Anna, might you like to take a look at this?
> It's not really urgent, but maybe you feel insp... Anna Maria Bigatti

30 Sep 2022

19:12 CoCoA-5 Bug #148: C-c C-p in emacs goes to wrong line

Anna, might you like to take a look at this?
It's not really urgent, but maybe you feel inspired? John Abbott

19:05 CoCoA-5 Support #198: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI

Dobbiamo rivalutare la lista di cose da fare.
Secondo me potremmo eliminare le due voci sotto "Linux".
Grazie a... John Abbott

18:59 CoCoA-5 Design #1698: indent: return a string?

The CoCoA-5 tests do not pass with the new impl of @indent@.
The reason is simple: the revised impl puts in a newlin... John Abbott