John Abbott's activity
From 26 Jan 2020 to 24 Feb 2020
24 Feb 2020
-
16:56 CoCoA-5 0.20 hour (Bug #1335 (Closed): ManExamples: some problems)
- Acceptable
21 Feb 2020
-
20:23 CoCoALib 0.20 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)
- Test cases
-
14:18 CoCoA-5 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Executable
-
14:16 CoCoA-5 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Status report
-
13:01 CoCoA-5 0.20 hour (Feature #1415 (In Progress): thmproving package)
- Needs doc
-
12:59 CoCoA-5 0.25 hour (Bug #1421 (Closed): SEGV: error(""))
- Simple impl
-
12:44 CoCoA-5 0.50 hour (Bug #1421 (Closed): SEGV: error(""))
- Least worst
20 Feb 2020
-
17:06 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
- The source
-
17:03 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
- What happens
-
16:58 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Current state
-
16:53 CoCoA-5 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Or maybe...
-
16:16 CoCoA-5 0.30 hour (Feature #1289 (Closed): assert-function for cocoa5)
- Checked
-
10:02 CoCoA-5 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)
- Release?
-
16:05 CoCoA-5 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 CoCoA-5 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 CoCoA-5 0.10 hour (Feature #1415 (In Progress): thmproving package)
- To do
-
11:43 CoCoA-5 0.30 hour (Feature #1236 (Closed): Add "socket" devices)
- Closing
-
11:29 CoCoA-5 0.10 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Hint
-
11:27 CoCoA-5 0.10 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
- Too far away
18 Feb 2020
-
12:35 CoCoALib 2.00 hours (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach))
- Done some
-
12:20 CoCoA-5 0.25 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
- Some notes
17 Feb 2020
-
18:15 CoCoALib 0.50 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach))
- Done some
-
15:18 CoCoA-5 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)
- Out of date?
-
15:10 CoCoA-5 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Proposal
-
14:54 CoCoA-5 0.10 hour (Support #1387 (Closed): John's visit Feb 2020)
- Visit over
-
14:51 CoCoA-5 0.50 hour (Feature #1316 (Closed): Matrix row reduction (rref))
- Done
-
13:59 CoCoA-5 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- Try latest version
-
13:58 CoCoA-5 0.20 hour (Support #177 (In Progress): CoCoAManual: General part of the documentation is obsolete: update? discard?)
- Postpone
-
13:55 CoCoA-5 0.10 hour (Feature #1372 (In Progress): New function: find ?)
- Still prefer postponing
-
12:29 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
- Silly idea
15 Feb 2020
-
23:52 CoCoA-5 0.25 hour (Bug #1335 (Closed): ManExamples: some problems)
- Current state
-
23:44 CoCoALib 0.10 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files)
- Added link
-
23:41 CoCoA-5 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- TARGZ
-
15:13 CoCoALib 0.20 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)
- Also...
-
10:42 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code)
- Simple idea
-
10:35 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Did not have time
-
10:34 CoCoA-5 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- Tutorial
-
10:28 CoCoA-5 0.25 hour (Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?)
- Works now
-
10:23 CoCoA-5 0.10 hour (Feature #1372 (In Progress): New function: find ?)
- Another question
14 Feb 2020
-
17:35 CoCoA-5 0.20 hour (Feature #1372 (In Progress): New function: find ?)
- A delicate point
-
17:27 CoCoA-5 0.50 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
- Done
-
13:43 CoCoA-5 0.15 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials)
- Done
-
13:26 CoCoALib 0.80 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
- Changed name
-
11:01 CoCoALib 0.50 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files)
- Made progress
-
10:58 CoCoALib 0.10 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
- Seems OK
-
10:53 CoCoA-5 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- For Vietnam?
-
10:50 CoCoA-5 0.10 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)
- Remove link
-
10:48 CoCoA-5 1.00 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)
- Too late
-
10:21 CoCoALib 0.75 hour (Feature #966 (Closed): New function or explain: first and last for a vector?)
- Revised
-
09:22 CoCoA-5 0.25 hour (Bug #519 (Closed): GUI: fix DEFINES in makefile)
- Too old
-
09:18 CoCoALib 0.30 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens)
- Some notes
-
09:08 CoCoA-5 0.25 hour (Support #1344 (Rejected): Clean out OBSOLESCENT)
- Now Anna's responsibility
13 Feb 2020
-
17:46 CoCoALib 0.40 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
- Already done
-
17:22 CoCoA-5 0.20 hour (Feature #1401 (Closed): Parolacce e basi border)
- R
-
17:17 CoCoA-5 0.40 hour (Support #1318 (Closed): Clean CoCoA-5/tests directory)
- Done
-
16:39 CoCoA-5 0.15 hour (Feature #673 (Closed): Error message: I was expecting...)
- Seems OK
-
16:37 CoCoA-5 0.10 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)
- Done
-
16:30 CoCoA-5 0.15 hour (Feature #1374 (Closed): Add function power to CoCoA-5)
- Appease
-
16:08 CoCoA-5 0.20 hour (Design #474 (In Progress): Eliminate package BinRepr)
- Postpone
-
16:04 CoCoA-5 0.10 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)
- C++14?
-
15:50 CoCoA-5 0.20 hour (Bug #1286 (Closed): Website: trouble with the world map)
- Still a problem
-
15:36 CoCoA-5 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Partly done
-
15:29 CoCoA-5 2.50 hours (Feature #1415 (In Progress): thmproving package)
- Code ported
-
15:09 CoCoALib 0.50 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))
- Done.
-
14:24 CoCoALib 0.40 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))
- New design
-
14:08 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code)
- Anna has shasum
-
14:04 CoCoA-5 0.10 hour (Bug #1412 (Closed): Emacs UI: font size)
- Reference
-
14:03 CoCoA-5 0.25 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- OK now
-
11:12 CoCoALib 0.20 hour (Support #26 (In Progress): Redmine Administration)
- Explicit notes
-
11:06 CoCoALib 0.15 hour (Support #1353 (Closed): configure script help)
- Acceptable
-
10:30 CoCoALib 0.25 hour (Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights)
- OK now?
-
10:09 CoCoA-5 0.25 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)
- Works now
12 Feb 2020
-
16:35 CoCoALib 0.20 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
- Postpone
-
16:28 CoCoALib 0.20 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
- Postpone
-
16:16 CoCoALib 0.20 hour (Bug #1260 (Closed): Fix file permissions after using CVS)
- When?
-
16:11 CoCoALib 0.20 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite))
- My preference
-
15:57 CoCoALib 0.20 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)
- Seems OK
-
15:49 CoCoALib 0.40 hour (Support #1263 (Resolved): Tidy CoCoALib test directory)
- Condensed some test-bugs
-
15:26 CoCoALib 0.10 hour (Feature #1277 (Closed): Gaussian row reduction)
- New tests
-
15:17 CoCoALib 0.50 hour (Feature #1277 (Closed): Gaussian row reduction)
- Doc
-
15:00 CoCoALib 0.20 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore)
- Maybe solved
-
14:46 CoCoALib 0.40 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore)
- Bad idea!
11 Feb 2020
-
18:33 CoCoALib 0.25 hour (Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled)
- Seems to be harmless
-
18:28 CoCoALib 4.00 hours (Bug #1308 (Closed): test-GFan1 fails)
- Resolved now
-
18:09 CoCoALib 0.25 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)
- Done
-
18:07 CoCoALib 2.25 hours (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately)
- Also mem fns
-
13:13 CoCoALib 0.25 hour (Design #1413 (Closed): configure script: MODE option obsolete?)
- Removed obsolete option
-
12:22 CoCoALib 0.10 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
-
12:09 CoCoALib 0.80 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)
- Closing
07 Feb 2020
-
12:19 CoCoALib 0.25 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup))
- Another example
06 Feb 2020
-
16:14 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- Some notes
05 Feb 2020
-
14:12 CoCoA-5 0.50 hour (Feature #1236 (Closed): Add "socket" devices)
- Documentation is better now
-
13:35 CoCoALib 0.10 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
- I like it
04 Feb 2020
-
13:48 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
- Stop being naughty
-
13:38 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
- Design
-
13:35 CoCoA-5 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Update
03 Feb 2020
-
16:03 CoCoA-5 0.20 hour (Feature #1410 (Closed): IsDivisible also for INT)
- Two cases
-
13:42 CoCoA-5 0.25 hour (Feature #1410 (Closed): IsDivisible also for INT)
- Some notes
-
15:42 CoCoALib 0.20 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)
- Duplicate
-
14:43 CoCoALib 1.00 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)
- OK now
-
15:39 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
- Ooops!
-
15:08 CoCoA-5 0.10 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
- OK for me
31 Jan 2020
-
10:29 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code)
- GPG
29 Jan 2020
-
22:24 CoCoALib 0.50 hour (Bug #986 (In Progress): GFan: require version newer than 0.6)
- Possible soln
-
12:07 CoCoALib 0.25 hour (Feature #1395 (Closed): SHA checksum for released code)
- Other possibilities
28 Jan 2020
-
15:46 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)
- Some notes
-
15:45 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)
- Some notes
-
14:41 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- One possibility
-
11:57 CoCoA-5 0.75 hour (Design #476 (In Progress): Review utility of package IO)
- fold function
-
10:54 CoCoA-5 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
- Acceptable
-
10:29 CoCoA-5 0.25 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)
- Soon
27 Jan 2020
-
18:03 CoCoALib 0.10 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
- Release notes
-
17:58 CoCoALib 0.10 hour (Feature #4 (Rejected): Squarefree GCD-free basis)
- Reject
-
17:55 CoCoALib 0.20 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore)
- Dunno
-
17:48 CoCoALib 0.10 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
- Done?
-
17:43 CoCoALib 0.10 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
- Already done
-
17:35 CoCoALib 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)
- Timings
-
17:30 CoCoALib 0.20 hour (Support #256 (Closed): Improve doc about ordering/grading for poly rings)
- Progress?
-
15:40 CoCoALib 0.25 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
- Current state
-
15:32 CoCoALib 0.10 hour (Design #769 (In Progress): CoCoALib cone)
- Still relevant?
-
15:25 CoCoALib 0.25 hour (Design #932 (Closed): CoCoALib configuration: BOOST dependency)
- No longer relevant
26 Jan 2020
-
15:50 CoCoALib 2.50 hours (Support #1161 (Closed): Split NumTheory.C into several smaller files)
- All done
-
09:53 CoCoALib 0.25 hour (Support #26 (In Progress): Redmine Administration)
- Close?
-
09:44 CoCoALib 0.50 hour (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately)
- Test program
Also available in: Atom