Activity
From 22 Jan 2020 to 20 Feb 2020
20 Feb 2020
- 17:06 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
- The source
- 17:03 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
- What happens
- 16:58 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Current state
- 16:53 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Or maybe...
- 16:16 0.30 hour (Feature #1289 (Closed): assert-function for cocoa5)
- Checked
- 10:02 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)
- Release?
- 16:05 0.50 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))
- Improved doc
- 10:04 0.10 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))
- Documentation
19 Feb 2020
- 11:46 0.10 hour (Feature #1415 (In Progress): thmproving package)
- To do
- 11:43 0.30 hour (Feature #1236 (Closed): Add "socket" devices)
- Closing
- 11:29 0.10 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Hint
- 11:27 0.10 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
- Too far away
18 Feb 2020
- 12:20 0.25 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
- Some notes
17 Feb 2020
- 15:18 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)
- Out of date?
- 15:10 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Proposal
- 14:54 0.10 hour (Support #1387 (Closed): John's visit Feb 2020)
- Visit over
- 14:51 0.50 hour (Feature #1316 (Closed): Matrix row reduction (rref))
- Done
- 13:59 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- Try latest version
- 13:58 0.20 hour (Support #177 (In Progress): CoCoAManual: General part of the documentation is obsolete: update? discard?)
- Postpone
- 13:55 0.10 hour (Feature #1372 (In Progress): New function: find ?)
- Still prefer postponing
15 Feb 2020
- 23:52 0.25 hour (Bug #1335 (Closed): ManExamples: some problems)
- Current state
- 23:41 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- TARGZ
- 10:35 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Did not have time
- 10:34 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- Tutorial
- 10:28 0.25 hour (Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?)
- Works now
- 10:23 0.10 hour (Feature #1372 (In Progress): New function: find ?)
- Another question
14 Feb 2020
- 17:35 0.20 hour (Feature #1372 (In Progress): New function: find ?)
- A delicate point
- 17:27 0.50 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
- Done
- 13:43 0.15 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials)
- Done
- 10:53 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- For Vietnam?
- 10:50 0.10 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)
- Remove link
- 10:48 1.00 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)
- Too late
- 10:49 0.20 hour (Support #1315 (Closed): Manual entry about reporting bugs?)
- 09:22 0.25 hour (Bug #519 (Closed): GUI: fix DEFINES in makefile)
- Too old
- 09:08 0.25 hour (Support #1344 (Rejected): Clean out OBSOLESCENT)
- Now Anna's responsibility
13 Feb 2020
- 17:22 0.20 hour (Feature #1401 (Closed): Parolacce e basi border)
- R
- 17:17 0.40 hour (Support #1318 (Closed): Clean CoCoA-5/tests directory)
- Done
- 16:39 0.15 hour (Feature #673 (Closed): Error message: I was expecting...)
- Seems OK
- 16:37 0.10 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)
- Done
- 16:30 0.15 hour (Feature #1374 (Closed): Add function power to CoCoA-5)
- Appease
- 16:08 0.20 hour (Design #474 (In Progress): Eliminate package BinRepr)
- Postpone
- 16:04 0.10 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)
- C++14?
- 15:50 0.20 hour (Bug #1286 (Closed): Website: trouble with the world map)
- Still a problem
- 15:40 0.50 hour (Feature #1410 (Closed): IsDivisible also for INT)
- 10:19 1.00 hour (Feature #1410 (Closed): IsDivisible also for INT)
- 15:36 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Partly done
- 15:29 2.50 hours (Feature #1415 (In Progress): thmproving package)
- Code ported
- 14:04 0.10 hour (Bug #1412 (Closed): Emacs UI: font size)
- Reference
- 14:03 0.25 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- OK now
- 10:09 0.25 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)
- Works now
- 09:25 0.20 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)
06 Feb 2020
- 16:14 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- Some notes
05 Feb 2020
- 22:48 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- 14:12 0.50 hour (Feature #1236 (Closed): Add "socket" devices)
- Documentation is better now
04 Feb 2020
03 Feb 2020
- 17:47 0.50 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
- 15:08 0.10 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
- OK for me
- 11:32 1.00 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
- 16:03 0.20 hour (Feature #1410 (Closed): IsDivisible also for INT)
- Two cases
- 13:42 0.25 hour (Feature #1410 (Closed): IsDivisible also for INT)
- Some notes
31 Jan 2020
28 Jan 2020
- 14:41 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- One possibility
- 11:57 0.75 hour (Design #476 (In Progress): Review utility of package IO)
- fold function
- 10:54 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
- Acceptable
- 10:29 0.25 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- Soon
24 Jan 2020
- 21:32 0.20 hour (Feature #1401 (Closed): Parolacce e basi border)
- Il responsabile paga
- 15:00 0.50 hour (Feature #1401 (Closed): Parolacce e basi border)
- Long?
- 21:20 0.40 hour (Bug #1403 (In Progress): RingID: remove this function?)
- Some notes
- 17:54 0.20 hour (Bug #1403 (In Progress): RingID: remove this function?)
- Maybe just change doc?
- 15:53 0.30 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Sample
- 11:41 0.15 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Quick hack
- 11:32 0.30 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Trickier...
23 Jan 2020
- 17:32 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Maybe
- 15:05 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- CoCoA-4
22 Jan 2020
- 15:01 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- stdout is not very safe
- 09:58 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- 13:53 0.50 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials)
- Some notes
- 10:46 0.50 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)
- 10:03 0.20 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)
Also available in: Atom