John Abbott's activity
From 12 Sep 2022 to 11 Oct 2022
11 Oct 2022
- 22:00 CoCoALib 1.00 hour (Design #1699 (In Progress): Shell scripts: Shebang line, etc)
- Some notes
- 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... - 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 "... - 21:38 CoCoALib 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Globbing
- 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... - 20:19 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Must wait
- 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...
10 Oct 2022
- 12:01 CoCoA-5 0.30 hour (Design #1698 (Closed): indent: return a string?)
- 12:01 CoCoA-5 Design #1698 (Feedback): indent: return a string?
07 Oct 2022
- 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 -- ... - 15:28 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Quick!
- 15:25 CoCoALib Design #1693 (Closed): SizeInBase: obsolete
- 15:25 CoCoALib 0.15 hour (Design #1693 (Closed): SizeInBase: obsolete)
- 15:20 CoCoALib 0.10 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Close?
- 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... - 15:18 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
- Status?
- 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... - 14:40 CoCoA-5 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Update
- 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).
- 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 ... - 14:38 CoCoA-5 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Close?
- 14:35 CoCoA-5 Support #1534: Install CoCoA-5 on MacOS-10.15+
- 2022-10-07: What is the status of this issue?
- 14:35 CoCoA-5 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
- Status report
- 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... - 11:06 CoCoA-5 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Closing
- 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... - 10:56 CoCoA-5 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Rejecting
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(......
- 20:51 CoCoA-5 0.20 hour (Design #1698 (Closed): indent: return a string?)
- Tests
- 20:48 CoCoALib 0.25 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
- Current state
- 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)...
- 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... - 20:38 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Test script
- 20:15 CoCoA-5 0.50 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Some test cases
- 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*... - 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... - 20:00 CoCoA-5 0.20 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Free module names
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? - 19:12 CoCoA-5 0.10 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Anna?
- 19:05 CoCoA-5 0.20 hour (Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI)
- Rivalutare
- 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... - 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... - 18:59 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?)
- Undecided
28 Sep 2022
- 15:16 CoCoA-5 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:16 CoCoA-5 0.40 hour (Design #1698 (Closed): indent: return a string?)
- Prototype
- 15:04 CoCoALib 0.20 hour (Feature #127 (In Progress): Convert DUPFF code to C++)
- More notes
- 15:04 CoCoALib Feature #127: Convert DUPFF code to C++
- Upon rewriting, make sure that calls to @CheckForInterrupt@ are inserted. (see comment 11 of issue #718)
- 15:00 CoCoA-5 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... - 15:00 CoCoA-5 0.25 hour (Bug #1604 (In Progress): SqFreeFactor crashes over non-perfect field)
- Status report
27 Sep 2022
- 22:36 CoCoA-5 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:36 CoCoA-5 0.30 hour (Design #1698 (Closed): indent: return a string?)
- Some notes
- 22:33 CoCoA-5 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 CoCoA-5 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Document?
- 22:30 CoCoA-5 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 CoCoA-5 0.50 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Update
- 22:27 CoCoA-5 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 CoCoA-5 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... - 22:20 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Release
26 Sep 2022
- 20:39 CoCoALib Design #710: Update normaliz interface?
- Status 2022-09-26: our code compiles fine with the current version of Normaliz (3.9.4).
What exactly is this issue... - 20:39 CoCoALib 0.20 hour (Design #710 (In Progress): Update normaliz interface?)
- Close?
- 20:34 CoCoALib Feature #82 (Closed): C++11 compatibility questions
- There is a big bold comment in the main descr saying that this issue has been superseded by #1225.
For this reason I... - 20:34 CoCoALib 0.20 hour (Feature #82 (Closed): C++11 compatibility questions)
- Superseded
- 20:30 CoCoA-5 0.25 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Too tricky?
- 20:30 CoCoA-5 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 CoCoA-5 0.25 hour (Bug #100 (New): BringIn should map only the indets in its arg)
- Status 2022-09-26
- 20:25 CoCoA-5 Bug #100: BringIn should map only the indets in its arg
- Here is the status at 2022-09-26...
- 12:05 CoCoALib Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib
- A student (Khalil Loukhnati) worked on this last semester. He has produced working code.
It still needs considerabl... - 12:05 CoCoALib 4.00 hours (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib)
- Student project
- 12:01 CoCoA-5 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... - 12:01 CoCoA-5 0.10 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))
- Reject?
- 11:42 CoCoALib Support #59: List of all functions in CoCoALib
- *OOPS: I thought this was about CoCoA-5*
Is there any progress on this issue? Redmine says it is 11 years old!
... - 11:42 CoCoALib 0.20 hour (Support #59 (New): List of all functions in CoCoALib)
- Progress?
15 Sep 2022
- 14:55 CoCoA-5 Design #1697: Specifying BOOST in configure
- After discussions with Anna, we will try a new configure option *@--only-cocoalib@* (which supplants @--no-boost@).
... - 14:55 CoCoA-5 0.50 hour (Design #1697 (Closed): Specifying BOOST in configure)
- Renaming
- 14:17 CoCoA-5 0.20 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Almost done
- 14:17 CoCoA-5 Design #1696 (Feedback): Which BOOST libs are actually needed?
- Our tests seem to comfirm no problems (at least with recent BOOST, around 1.80).
We must update the doc.
- 14:14 CoCoALib 0.10 hour (Design #1685 (In Progress): RingBase::mySwap needed?)
- Ooops
- 14:14 CoCoALib Design #1685 (In Progress): RingBase::mySwap needed?
- Oops: See comment 2 in issue #1682 [should have been here]
- 14:12 CoCoALib Design #1682 (In Progress): swap for new classes
- There is an efficient @swap@ function for @RingElem@.
There is also a virtual mem fn @RingBase::mySwap@ which is d... - 14:12 CoCoALib 0.75 hour (Design #1682 (In Progress): swap for new classes)
- RingElem
14 Sep 2022
- 21:25 CoCoALib 0.50 hour (Feature #1694 (Closed): New expv/exponents function?)
- Checked in
- 21:25 CoCoALib Feature #1694: New expv/exponents function?
- I have checked in.
*It remains to consider and maybe update every call to @exponents@ (or @BigExponents@)*
Also available in: Atom