Activity
From 23 Sep 2022 to 22 Oct 2022
21 Oct 2022
- 15:53 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.
- 15:50 Feature #1701: Preliminary packages
- Created new directory: *@src/CoCoA-5/packages/preliminary/@*
We'll think about documentation later...
- 15:25 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...
19 Oct 2022
- 14:23 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 *...
- 14:06 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... - 13:52 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 ...
17 Oct 2022
- 14:38 Feature #1701: Preliminary packages
- As an example, there was a package implementing some common "transcendental functions" (_e.g._ *@sin@*, *@log@*).
I ... - 14:35 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... - 14:04 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 ... - 14:02 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 ... - 13:59 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 ...
14 Oct 2022
- 10:31 Design #1697: Specifying BOOST in configure
- It seems that -Bstatic works only for linux...
- 10:26 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...
11 Oct 2022
- 20:19 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... - 17:59 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...
10 Oct 2022
08 Oct 2022
- 13:17 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 ...
07 Oct 2022
- 19:53 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... - 15:28 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 -- ... - 15:26 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... - 14:40 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).
- 14:38 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 ... - 14:35 Support #1534: Install CoCoA-5 on MacOS-10.15+
- 2022-10-07: What is the status of this issue?
- 11:06 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... - 10:56 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...
06 Oct 2022
- 20:51 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(......
- 20:38 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... - 20:15 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*... - 20:00 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...
05 Oct 2022
- 11:35 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... - 11:30 Design #1698: indent: return a string?
> Possible options are:
> * *(A)* accept the new behaviour (and update the expected test outputs)
> * *(B)* modif...- 11:22 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...
30 Sep 2022
- 19:12 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? - 19:05 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... - 18:59 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...
28 Sep 2022
- 15:16 Design #1698: indent: return a string?
- I have modified the code for @indent@ (in @NotBuiltin.cpkg5@)
so that it returns a string.
The slow behaviour (is... - 15:00 Bug #1604: SqFreeFactor crashes over non-perfect field
- STATUS 2022-09-28:
The original failing cases are now apparently OK.
The example in comment 3 still incorrectly... - 12:37 Support #1393: GUI with Qt5
- As far as I can tell, potential future licensing issues w.r.t. QCodeEdit are independent of the move to Qt5. Hence it...
27 Sep 2022
- 22:36 Design #1698 (In Progress): indent: return a string?
- If we choose not to return a string then, for the benefit of #750, the
function could anyway print to an @OpenOStrin... - 22:33 Design #1698 (Closed): indent: return a string?
- To discuss:
Should *@indent@* return a string rather than print directly onto the standard output?
The main diffe... - 22:30 Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE
- Can we document this behaviour (since I think it is not completely self-explanatory)?
Is @F@ the best name? Might... - 22:27 Slug #750 (In Progress): C5 GUI: very slow when printing many short lines
- I created a single string containing many new lines: this printed instantly....
- 22:20 Support #1393: GUI with Qt5
- I am tempted to release the code as-is.
The copyright question is important only if we want to make a non GPL releas...
26 Sep 2022
- 20:30 Feature #35: Optional warnings for fn-proc arity
- The idea is reasonable, but I have doubts about its genuine utility.
Even the hypothetical use-cases are not very co... - 20:25 Bug #100: BringIn should map only the indets in its arg
- Here is the status at 2022-09-26...
- 16:13 Feature #461 (Rejected): New keyword "|->"? (same as "return")
- 16:13 Feature #461: New keyword "|->"? (same as "return")
- John Abbott wrote:
> The idea is fairly nice, but does not bring much benefit.
> I do not relish the idea of modify... - 12:01 Feature #461: New keyword "|->"? (same as "return")
- The idea is fairly nice, but does not bring much benefit.
I do not relish the idea of modifying the parser/interpret...
Also available in: Atom