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
- 21:38 CoCoALib 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Globbing
- 20:19 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Must wait
10 Oct 2022
07 Oct 2022
- 15:28 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Quick!
- 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:18 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
- Status?
- 14:40 CoCoA-5 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Update
- 14:38 CoCoA-5 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Close?
- 14:35 CoCoA-5 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
- Status report
- 11:06 CoCoA-5 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Closing
- 10:56 CoCoA-5 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Rejecting
06 Oct 2022
- 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: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: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 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
- 18:59 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?)
- Undecided
28 Sep 2022
- 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: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 0.30 hour (Design #1698 (Closed): indent: return a string?)
- Some notes
- 22:30 CoCoA-5 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Document?
- 22:27 CoCoA-5 0.50 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Update
- 22:20 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Release
26 Sep 2022
- 20:39 CoCoALib 0.20 hour (Design #710 (In Progress): Update normaliz interface?)
- Close?
- 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:25 CoCoA-5 0.25 hour (Bug #100 (New): BringIn should map only the indets in its arg)
- Status 2022-09-26
- 12:05 CoCoALib 4.00 hours (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib)
- Student project
- 12:01 CoCoA-5 0.10 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))
- Reject?
- 11:42 CoCoALib 0.20 hour (Support #59 (New): List of all functions in CoCoALib)
- Progress?
15 Sep 2022
- 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:14 CoCoALib 0.10 hour (Design #1685 (In Progress): RingBase::mySwap needed?)
- Ooops
- 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
Also available in: Atom