Activity
From 18 Feb 2020 to 18 Mar 2020
14 Mar 2020
-
21:46 CoCoA-5 1.50 hour (Bug #1443 (Closed): Illegal instruction)
- Annoying
-
20:29 CoCoA-5 0.30 hour (Bug #1443 (Closed): Illegal instruction)
- Seems to be GMP
-
12:08 CoCoA-5 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
- SURPRISE!
12 Mar 2020
-
22:17 CoCoA-5 0.30 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Closing
-
13:36 CoCoA-5 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Seems OK now
-
18:05 CoCoALib 0.50 hour (Support #1338 (Closed): Release CoCoALib-0.99700)
-
18:05 CoCoALib 1.50 hour (Support #1338 (Closed): Release CoCoALib-0.99700)
-
15:55 CoCoA-5 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Uh oh
-
15:40 CoCoA-5 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Maybe...
-
15:33 CoCoA-5 0.20 hour (Bug #1443 (Closed): Illegal instruction)
- Oh
-
14:50 CoCoALib 0.20 hour (Design #1446 (In Progress): Start using C++14 "move" capability)
- Some notes
-
14:39 CoCoALib 0.20 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- What to do?
-
14:34 CoCoALib 0.10 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))
- Status?
11 Mar 2020
-
21:34 CoCoA-5 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)
- No one cares
-
21:28 CoCoA-5 0.20 hour (Design #1348 (Closed): cocoa5 script for releases)
- Ooops!
-
18:18 CoCoA-5 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Added doc
-
18:14 CoCoA-5 2.00 hours (Feature #1439 (Closed): New function: LinearForm)
- Impl'd
-
16:20 CoCoA-5 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Name?
-
13:47 CoCoA-5 0.40 hour (Feature #1439 (Closed): New function: LinearForm)
- In C++
-
17:42 CoCoALib 2.00 hours (Feature #1395 (Closed): SHA checksum for released code)
-
12:26 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
- Confused?
-
14:06 CoCoA-5 0.20 hour (Support #322 (In Progress): Installation instructions (on website))
- LINUX
-
13:40 CoCoA-5 0.10 hour (Support #322 (In Progress): Installation instructions (on website))
- Clearer
-
12:25 CoCoA-5 0.50 hour (Support #322 (In Progress): Installation instructions (on website))
-
12:27 CoCoA-5 0.10 hour (Bug #1443 (Closed): Illegal instruction)
- Waiting for Feedback?
-
11:22 CoCoALib 0.50 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)
10 Mar 2020
-
16:21 CoCoA-5 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- How to find where a static library is
-
15:56 CoCoA-5 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- More details
-
15:14 CoCoA-5 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Static library for tinfo (needed by readline)
-
15:47 CoCoALib 0.20 hour (Feature #1444 (New): HNF: Hermite Normal Form)
- Some notes
-
15:39 CoCoALib 0.30 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)
- Revised interface
-
15:07 CoCoA-5 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Strip
-
12:37 CoCoA-5 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- What to do?
-
11:09 CoCoA-5 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)
- Clue city
-
14:08 CoCoA-5 0.10 hour (Bug #1443 (Closed): Illegal instruction)
- Flag
-
14:02 CoCoA-5 0.50 hour (Bug #1443 (Closed): Illegal instruction)
- Puzzled
-
13:15 CoCoA-5 0.30 hour (Support #322 (In Progress): Installation instructions (on website))
- Microsoft
09 Mar 2020
-
16:52 CoCoA-5 0.20 hour (Feature #1439 (Closed): New function: LinearForm)
-
15:36 CoCoA-5 0.10 hour (Feature #1439 (Closed): New function: LinearForm)
- Homog compts?
-
16:31 CoCoALib 0.30 hour (Feature #1395 (Closed): SHA checksum for released code)
- Mac too
-
15:26 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)
- Small change
-
16:01 CoCoALib 0.10 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files)
- Wait...
-
15:56 CoCoA-5 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Mac release
-
13:51 CoCoA-5 2.00 hours (Design #990 (Closed): CoCoA-5 distribution: tidying)
-
11:31 CoCoA-5 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
-
15:34 CoCoA-5 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)
- Postponing
-
15:28 CoCoA-5 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Seems OK now
-
13:18 CoCoA-5 1.00 hour (Support #1258 (Closed): Manual page for CantStop)
-
10:26 CoCoA-5 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)
-
10:25 CoCoALib 0.20 hour (Support #1338 (Closed): Release CoCoALib-0.99700)
08 Mar 2020
-
09:24 CoCoA-5 0.20 hour (Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER)
- Some notes
07 Mar 2020
-
11:20 CoCoA-5 0.50 hour (Feature #1439 (Closed): New function: LinearForm)
-
09:21 CoCoA-5 0.20 hour (Feature #1439 (Closed): New function: LinearForm)
-
09:17 CoCoA-5 1.50 hour (Feature #1439 (Closed): New function: LinearForm)
06 Mar 2020
-
19:35 CoCoA-5 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Then again...
-
15:11 CoCoA-5 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Default linux version
-
17:41 CoCoALib 4.00 hours (Feature #1434 (Closed): GBasisByHomog for DegLex)
-
16:19 CoCoALib 0.15 hour (Feature #1395 (Closed): SHA checksum for released code)
- Delay release?
-
15:48 CoCoALib 0.10 hour (Feature #1427 (Closed): New function: LawrenceMat)
- MatrixView?
-
15:43 CoCoALib 0.10 hour (Feature #1427 (Closed): New function: LawrenceMat)
- Defn?
-
15:39 CoCoALib 0.40 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis))
- Postponing
-
12:23 CoCoA-5 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- OK now
-
12:05 CoCoA-5 0.40 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- OK now
-
10:15 CoCoA-5 0.30 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Found
05 Mar 2020
-
22:56 CoCoA-5 0.75 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Nightmare :-(
-
16:42 CoCoA-5 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)
- Maybe
-
12:03 CoCoA-5 0.20 hour (Bug #1303 (Rejected): Manual looking for "?")
- Not harmful
-
12:00 CoCoA-5 0.30 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)
- Must improve the manual about operators
04 Mar 2020
-
22:32 CoCoA-5 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Implemented
-
17:00 CoCoA-5 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)
- Slightly unfortunate
-
22:30 CoCoA-5 0.20 hour (Support #1071 (In Progress): LinKerBasis is user-unfriendly)
- Needs improvement
-
22:06 CoCoA-5 0.30 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)
- Clue city
-
21:53 CoCoA-5 0.10 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)
- Confirmed
-
21:48 CoCoA-5 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
- Almost done?
-
21:45 CoCoA-5 0.20 hour (Support #1298 (Closed): How can user find the indent command?)
- Improved doc
-
21:33 CoCoA-5 0.10 hour (Support #557 (New): CoCoAManual: improve part on input/output)
- Currently
-
21:31 CoCoA-5 0.10 hour (Feature #1174 (Closed): package of a function --> of an identifier!)
- Workaround
-
21:28 CoCoA-5 0.20 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Source code
-
21:19 CoCoA-5 0.10 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Some notes
-
21:13 CoCoA-5 0.10 hour (Design #610 (Closed): Variable It: assign before or after printing)
- A note
-
19:31 CoCoA-5 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
-
19:29 CoCoA-5 0.20 hour (Feature #1373 (In Progress): GFan also for Microsoft?)
-
19:09 CoCoA-5 0.10 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))
- Agreed
-
19:00 CoCoA-5 0.10 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Closing
-
18:38 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
-
18:38 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
-
16:14 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Out of date?
-
15:59 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
-
15:49 CoCoA-5 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Uncertain
-
18:20 CoCoALib 0.30 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis))
- Renamed
-
17:15 CoCoALib 0.50 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis))
-
16:26 CoCoA-5 0.10 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)
- Already done
-
15:41 CoCoA-5 0.25 hour (Feature #781 (Closed): Option to "fold" long lines?)
- OK
-
15:31 CoCoA-5 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Conclusion
-
15:20 CoCoA-5 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)
- Clue city
-
14:41 CoCoA-5 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Seems OK
-
14:19 CoCoALib 1.00 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens)
03 Mar 2020
-
22:23 CoCoA-5 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)
- Improved
-
22:20 CoCoA-5 0.20 hour (Feature #1372 (In Progress): New function: find ?)
- Possibly useful variant
-
22:14 CoCoA-5 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Suggestion
-
22:07 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)
- Seems OK
-
22:04 CoCoA-5 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)
- I can help
-
21:57 CoCoA-5 0.10 hour (Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?)
- Some notes
-
21:51 CoCoALib 0.10 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens)
- Other functions?
-
21:26 CoCoALib 0.60 hour (Bug #1426 (Closed): Main Makefile: does not rebuild dependencies)
- Found and fixed
-
20:56 CoCoA-5 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Undecided
-
14:48 CoCoA-5 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Emacs code seems to work
-
14:10 CoCoA-5 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Emacs code
-
13:56 CoCoA-5 1.00 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Seems to be impossible
-
17:29 CoCoA-5 0.10 hour (Feature #1431 (Rejected): Juxtaposition of string literals)
- Source code
-
15:14 CoCoA-5 0.40 hour (Feature #1431 (Rejected): Juxtaposition of string literals)
- Some notes
-
11:54 CoCoA-5 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Surely...
02 Mar 2020
-
22:32 CoCoA-5 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)
- Undecided
-
22:10 CoCoA-5 0.15 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)
- Still a problem?
-
22:05 CoCoA-5 0.20 hour (Feature #781 (Closed): Option to "fold" long lines?)
- Mostly done
-
21:55 CoCoA-5 0.20 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))
- Entertaining
-
21:45 CoCoA-5 0.10 hour (Design #597 (New): Interpreter.C: remove calls to WrongTypeException)
- Huh?
-
21:42 CoCoA-5 0.40 hour (Bug #1303 (Rejected): Manual looking for "?")
- Some notes
-
21:24 CoCoA-5 0.30 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)
- Still a problem?
-
21:11 CoCoA-5 0.15 hour (Bug #727 (In Progress): Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized)
- Some notes
-
20:46 CoCoA-5 0.25 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)
- Another idea
-
20:37 CoCoA-5 0.25 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)
- Some notes
-
15:40 CoCoA-5 0.20 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture")
- Too old?
-
15:03 CoCoA-5 2.00 hours (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Already done
-
14:04 CoCoA-5 0.20 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)
- Split or subsections
28 Feb 2020
-
17:52 CoCoA-5 0.50 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5)
-
16:44 CoCoA-5 1.00 hour (Bug #1429 (In Progress): Stack overflow reading long list (SEGV))
- Some notes
-
10:09 CoCoALib 3.50 hours (Feature #206 (In Progress): Matrix equation solving: LinKer)
- LinKerZZ
-
10:06 CoCoALib 0.50 hour (Feature #1306 (In Progress): exgcd over integers (ZZ))
- Needs improvement
27 Feb 2020
-
21:05 CoCoALib 1.00 hour (Feature #1306 (In Progress): exgcd over integers (ZZ))
- First proto
-
18:37 CoCoALib 0.50 hour (Feature #1427 (Closed): New function: LawrenceMat)
-
17:30 CoCoALib 0.50 hour (Feature #1427 (Closed): New function: LawrenceMat)
-
18:04 CoCoALib 0.10 hour (Feature #206 (In Progress): Matrix equation solving: LinKer)
- Status?
-
14:55 CoCoALib 1.50 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis))
- First impl (KISS)
-
11:50 CoCoALib 0.50 hour (Feature #1197 (In Progress): IsZeroDet: new fn)
- Made a first impl
26 Feb 2020
-
22:47 CoCoALib 0.20 hour (Bug #1426 (Closed): Main Makefile: does not rebuild dependencies)
- Some notes
-
22:22 CoCoA-5 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)
- More notes
-
21:03 CoCoA-5 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)
- Aha!
-
20:40 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)
- More notes
-
17:18 CoCoA-5 2.00 hours (Support #1333 (Closed): Typevectors)
-
16:59 CoCoA-5 0.20 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)
- Good enough
-
16:50 CoCoA-5 0.30 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))
-
16:32 CoCoA-5 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)
-
16:31 CoCoA-5 0.20 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
-
16:27 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error(""))
-
16:24 CoCoA-5 0.75 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Checked
-
15:25 CoCoA-5 0.50 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Almost done
-
14:35 CoCoA-5 0.40 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Tidied
-
13:28 CoCoA-5 0.15 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Source code
-
12:12 CoCoA-5 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Another test case
-
12:02 CoCoA-5 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Also for modules
-
11:30 CoCoALib 0.20 hour (Design #1422 (In Progress): Remove flag IhaveGBasisValue?)
- To do
25 Feb 2020
-
22:04 CoCoA-5 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Fixed
-
21:58 CoCoA-5 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Location
-
21:36 CoCoA-5 0.10 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)
- Confirmed
-
17:50 CoCoALib 0.10 hour (Design #1422 (In Progress): Remove flag IhaveGBasisValue?)
- Some notes
-
17:20 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog)
- Not new?
-
16:24 CoCoA-5 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
-
16:07 CoCoA-5 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)
-
11:16 CoCoA-5 0.15 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)
- Manual
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
Also available in: Atom