Project

General

Profile

Activity

From 07 Jan 2020 to 05 Feb 2020

05 Feb 2020

22:48 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
Anna Maria Bigatti
14:12 CoCoA-5 0.50 hour (Feature #1236 (Closed): Add "socket" devices)
Documentation is better now John Abbott
13:35 CoCoALib 0.10 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
I like it John Abbott

04 Feb 2020

13:48 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
Stop being naughty John Abbott
13:38 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
Design John Abbott
13:35 CoCoA-5 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Update John Abbott

03 Feb 2020

17:47 CoCoA-5 0.50 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
Anna Maria Bigatti
15:08 CoCoA-5 0.10 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
OK for me John Abbott
11:32 CoCoA-5 1.00 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)
Anna Maria Bigatti
16:03 CoCoA-5 0.20 hour (Feature #1410 (Closed): IsDivisible also for INT)
Two cases John Abbott
13:42 CoCoA-5 0.25 hour (Feature #1410 (Closed): IsDivisible also for INT)
Some notes John Abbott
15:42 CoCoALib 0.20 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)
Duplicate John Abbott
14:43 CoCoALib 1.00 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)
OK now John Abbott
15:39 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
Ooops! John Abbott
12:58 CoCoALib 2.00 hours (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)
Anna Maria Bigatti

31 Jan 2020

13:57 CoCoA-5 1.00 hour (Design #1407 (Closed): Tagged values (Hilbert Series))
Anna Maria Bigatti
10:29 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code)
GPG John Abbott

29 Jan 2020

22:24 CoCoALib 0.50 hour (Bug #986 (In Progress): GFan: require version newer than 0.6)
Possible soln John Abbott
12:07 CoCoALib 0.25 hour (Feature #1395 (Closed): SHA checksum for released code)
Other possibilities John Abbott

28 Jan 2020

15:46 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)
Some notes John Abbott
15:45 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)
Some notes John Abbott
14:41 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
One possibility John Abbott
11:57 CoCoA-5 0.75 hour (Design #476 (In Progress): Review utility of package IO)
fold function John Abbott
10:54 CoCoA-5 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
Acceptable John Abbott
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 John Abbott

27 Jan 2020

18:03 CoCoALib 0.10 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
Release notes John Abbott
17:58 CoCoALib 0.10 hour (Feature #4 (Rejected): Squarefree GCD-free basis)
Reject John Abbott
17:55 CoCoALib 0.20 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore)
Dunno John Abbott
17:48 CoCoALib 0.10 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
Done? John Abbott
17:43 CoCoALib 0.10 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
Already done John Abbott
17:35 CoCoALib 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)
Timings John Abbott
17:30 CoCoALib 0.20 hour (Support #256 (Closed): Improve doc about ordering/grading for poly rings)
Progress? John Abbott
15:40 CoCoALib 0.25 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
Current state John Abbott
15:32 CoCoALib 0.10 hour (Design #769 (In Progress): CoCoALib cone)
Still relevant? John Abbott
15:25 CoCoALib 0.25 hour (Design #932 (Closed): CoCoALib configuration: BOOST dependency)
No longer relevant John Abbott

26 Jan 2020

15:50 CoCoALib 2.50 hours (Support #1161 (Closed): Split NumTheory.C into several smaller files)
All done John Abbott
09:53 CoCoALib 0.25 hour (Support #26 (In Progress): Redmine Administration)
Close? John Abbott
09:44 CoCoALib 0.50 hour (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately)
Test program John Abbott

25 Jan 2020

15:35 CoCoALib 0.10 hour (Design #849 (In Progress): Cleanup MinPoly code)
Postpone? John Abbott
15:29 CoCoALib 0.10 hour (Design #855 (Closed): Copyright and authorship?)
Progress? John Abbott
15:26 CoCoALib 0.30 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))
No doc yet John Abbott
15:20 CoCoALib 0.25 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)
Similar? John Abbott

24 Jan 2020

22:34 CoCoALib 0.40 hour (Bug #1308 (Closed): test-GFan1 fails)
OK now John Abbott
17:23 CoCoALib 0.20 hour (Bug #1308 (Closed): test-GFan1 fails)
You were lucky! John Abbott
22:10 CoCoALib 0.10 hour (Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled)
Back to 1308 John Abbott
22:03 CoCoALib 0.50 hour (Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled)
Some notes John Abbott
21:32 CoCoA-5 0.20 hour (Feature #1401 (Closed): Parolacce e basi border)
Il responsabile paga John Abbott
15:00 CoCoA-5 0.50 hour (Feature #1401 (Closed): Parolacce e basi border)
Long? John Abbott
21:20 CoCoA-5 0.40 hour (Bug #1403 (In Progress): RingID: remove this function?)
Some notes John Abbott
17:54 CoCoA-5 0.20 hour (Bug #1403 (In Progress): RingID: remove this function?)
Maybe just change doc? John Abbott
15:53 CoCoA-5 0.30 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Sample John Abbott
11:41 CoCoA-5 0.15 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Quick hack John Abbott
11:32 CoCoA-5 0.30 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Trickier... John Abbott

23 Jan 2020

17:32 CoCoA-5 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Maybe John Abbott
15:05 CoCoA-5 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
CoCoA-4 John Abbott

22 Jan 2020

15:01 CoCoA-5 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
stdout is not very safe John Abbott
09:58 CoCoA-5 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Anna Maria Bigatti
13:53 CoCoA-5 0.50 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials)
Some notes John Abbott
10:46 CoCoA-5 0.50 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)
Anna Maria Bigatti
10:03 CoCoA-5 0.20 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)
Anna Maria Bigatti

21 Jan 2020

20:36 CoCoA-5 1.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
Some notes John Abbott
20:22 CoCoA-5 0.20 hour (Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?)
Too hasty? John Abbott

19 Jan 2020

10:56 CoCoA-5 0.10 hour (Support #1315 (Closed): Manual entry about reporting bugs?)
Original problem? John Abbott
10:52 CoCoA-5 0.20 hour (Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5)
Postponing John Abbott
10:47 CoCoA-5 0.10 hour (Slug #1390 (Closed): CoCoA-5 test: radical too slow)
Removed ulimit John Abbott

18 Jan 2020

20:40 CoCoA-5 0.30 hour (Bug #1335 (Closed): ManExamples: some problems)
Commented out John Abbott
20:18 CoCoA-5 0.10 hour (Support #1344 (Rejected): Clean out OBSOLESCENT)
Still to do John Abbott
20:05 CoCoALib 0.20 hour (Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat))
More thoughts John Abbott
19:59 CoCoALib 0.20 hour (Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat))
Fn names John Abbott
19:47 CoCoALib 0.20 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files)
Make a test John Abbott
15:00 CoCoA-5 0.25 hour (Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU)
Some notes John Abbott

17 Jan 2020

22:20 CoCoALib 0.30 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)
Acceptable John Abbott
15:43 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
Steps John Abbott
15:32 CoCoALib 0.40 hour (Feature #1395 (Closed): SHA checksum for released code)
Some notes John Abbott

16 Jan 2020

16:31 CoCoA-5 1.00 hour (Slug #1392 (Closed): ApproxSolve: another slow example)
Anna Maria Bigatti
14:10 CoCoA-5 0.50 hour (Design #1334 (Closed): sylvester or SylvesterMat?)
Added test John Abbott
12:28 CoCoA-5 0.25 hour (Design #1334 (Closed): sylvester or SylvesterMat?)
Closing John Abbott
12:19 CoCoA-5 0.20 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)
Arithmetic operators John Abbott
12:17 CoCoA-5 0.10 hour (Feature #1372 (In Progress): New function: find ?)
Postpone? John Abbott
12:15 CoCoA-5 0.10 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)
Status? John Abbott

15 Jan 2020

22:15 CoCoALib 0.10 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
Probably OK John Abbott

14 Jan 2020

21:52 CoCoALib 0.30 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
Seems better John Abbott

13 Jan 2020

20:52 CoCoA-5 0.25 hour (Slug #1392 (Closed): ApproxSolve: another slow example)
Some notes John Abbott
20:13 CoCoALib 0.20 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector)
Homogeneous John Abbott
18:38 CoCoALib 1.00 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector)
Anna Maria Bigatti
18:34 CoCoALib 0.20 hour (Feature #966 (Closed): New function or explain: first and last for a vector?)
Anna Maria Bigatti
18:23 CoCoALib 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)
Anna Maria Bigatti
17:20 CoCoALib 0.20 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach))
Anna Maria Bigatti
16:42 CoCoALib 0.20 hour (Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead)
Anna Maria Bigatti
16:35 CoCoA-5 0.20 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5)
Anna Maria Bigatti
16:00 CoCoALib 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)
Anna Maria Bigatti
12:11 CoCoALib 0.20 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)
Variant fn? John Abbott
11:24 CoCoALib 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)
Anna Maria Bigatti
12:16 CoCoA-5 1.00 hour (Slug #1390 (Closed): CoCoA-5 test: radical too slow)
Anna Maria Bigatti

12 Jan 2020

19:00 CoCoALib 0.30 hour (Design #1389 (Rejected): myZeroPtr and myOnePtr)
Bad idea! John Abbott

10 Jan 2020

17:08 CoCoA-5 0.25 hour (Slug #1390 (Closed): CoCoA-5 test: radical too slow)
Disabled John Abbott
15:56 CoCoA-5 0.50 hour (Slug #1390 (Closed): CoCoA-5 test: radical too slow)
Netbook John Abbott
15:57 CoCoALib 0.50 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)
Not yet done John Abbott
12:17 CoCoALib 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)
More tests? John Abbott

09 Jan 2020

22:28 CoCoALib 0.15 hour (Bug #1260 (Closed): Fix file permissions after using CVS)
Resolved? John Abbott
22:22 CoCoALib 0.20 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)
Good enough John Abbott
22:17 CoCoALib 0.15 hour (Feature #303 (Closed): Rows and Columns of a matrix)
Already done John Abbott
22:10 CoCoALib 0.25 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)
Uniform now John Abbott
22:02 CoCoALib 0.40 hour (Slug #792 (Closed): configure: search for libgmp too slow)
Seems OK John Abbott
21:15 CoCoA-5 2.00 hours (Feature #1316 (Closed): Matrix row reduction (rref))
Simple impl John Abbott
21:08 CoCoA-5 0.10 hour (Bug #1384 (Closed): NewPolyRing and SymbolRange)
OK for me John Abbott
17:40 CoCoA-5 2.00 hours (Bug #1384 (Closed): NewPolyRing and SymbolRange)
Anna Maria Bigatti
20:57 CoCoALib 0.40 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
More notes John Abbott
14:56 CoCoALib 0.20 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
More details John Abbott
14:46 CoCoALib 0.25 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)
Tricky John Abbott
20:49 CoCoA-5 0.25 hour (Slug #1390 (Closed): CoCoA-5 test: radical too slow)
Some notes John Abbott
20:39 CoCoA-5 0.25 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))
Status? John Abbott
20:29 CoCoA-5 0.20 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
Awkward John Abbott
17:18 CoCoALib 1.00 hour (Feature #1277 (Closed): Gaussian row reduction)
Prototype John Abbott
17:01 CoCoALib 0.25 hour (Design #1389 (Rejected): myZeroPtr and myOnePtr)
Probably John Abbott
14:19 CoCoA-5 0.40 hour (Bug #1385 (Closed): valgrind: reports 456byte leak)
Done John Abbott
13:55 CoCoALib 0.10 hour (Support #1265 (Closed): Unregistered TXT files in doc)
Postponing John Abbott
13:52 CoCoALib 0.25 hour (Feature #1388 (New): GlobalManager: create SignalWatcher internally?)
Some notes John Abbott
13:42 CoCoALib 0.25 hour (Design #982 (Closed): Catching interrupts in example progs?)
Change of mind John Abbott
13:32 CoCoALib 0.25 hour (Support #1353 (Closed): configure script help)
Documentation is better now John Abbott
13:27 CoCoALib 0.10 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))
Not quite so simple John Abbott
13:21 CoCoALib 0.25 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))
Something has already been done John Abbott
12:27 CoCoALib 0.25 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)
Done? John Abbott
11:56 CoCoA-5 0.25 hour (Feature #1374 (Closed): Add function power to CoCoA-5)
In the manual John Abbott
11:46 CoCoA-5 0.10 hour (Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once)
Postponing John Abbott
11:43 CoCoA-5 0.25 hour (Support #1368 (Closed): Improve manual for mod)
Updated John Abbott
11:35 CoCoA-5 0.10 hour (Design #1352 (Closed): cocoa5 (launch) script: sleep time)
Seems OK John Abbott
11:33 CoCoA-5 0.20 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
Anna Maria Bigatti
11:31 CoCoA-5 0.25 hour (Support #1344 (Rejected): Clean out OBSOLESCENT)
Done some John Abbott
10:02 CoCoA-5 0.25 hour (Support #1387 (Closed): John's visit Feb 2020)
Preparations John Abbott

08 Jan 2020

23:04 CoCoALib 0.20 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)
Test case John Abbott
16:41 CoCoA-5 0.15 hour (Bug #1382 (Closed): SEGV: should have been harmless)
Checked in John Abbott
16:05 CoCoA-5 0.20 hour (Bug #1382 (Closed): SEGV: should have been harmless)
Thanks to valgrind John Abbott
15:47 CoCoA-5 0.10 hour (Bug #1382 (Closed): SEGV: should have been harmless)
valgrind John Abbott
15:44 CoCoA-5 0.25 hour (Bug #1382 (Closed): SEGV: should have been harmless)
gdb John Abbott
16:08 CoCoA-5 0.20 hour (Bug #1383 (Closed): NewPolyRing on MS Windows)
Anna Maria Bigatti
15:03 CoCoA-5 0.20 hour (Bug #1383 (Closed): NewPolyRing on MS Windows)
OK now John Abbott
09:19 CoCoA-5 0.25 hour (Bug #1383 (Closed): NewPolyRing on MS Windows)
Resolved? John Abbott

07 Jan 2020

21:59 CoCoA-5 0.10 hour (Bug #1383 (Closed): NewPolyRing on MS Windows)
Add new test John Abbott
16:31 CoCoA-5 0.25 hour (Bug #1383 (Closed): NewPolyRing on MS Windows)
Some notes John Abbott
21:53 CoCoA-5 0.10 hour (Support #1387 (Closed): John's visit Feb 2020)
Other matters John Abbott
21:51 CoCoA-5 0.10 hour (Support #1387 (Closed): John's visit Feb 2020)
List of things to do John Abbott
21:30 CoCoA-5 0.25 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
Bug or feature John Abbott
20:51 CoCoA-5 0.25 hour (Bug #1385 (Closed): valgrind: reports 456byte leak)
Valgrind output John Abbott
16:45 CoCoA-5 0.25 hour (Bug #1384 (Closed): NewPolyRing and SymbolRange)
Some notes John Abbott
16:07 CoCoA-5 0.25 hour (Bug #1382 (Closed): SEGV: should have been harmless)
Just a silly example John Abbott
14:28 CoCoALib 0.25 hour (Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]])
Updates John Abbott
 

Also available in: Atom