Activity
From 17 Jan 2018 to 15 Feb 2018
12 Feb 2018
26 Jan 2018
- 15:28 0.10 hour (Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5)
- CoCoALib?
- 15:27 0.10 hour (Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5)
- More failing examples
- 15:23 0.25 hour (Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5)
- Partly done
25 Jan 2018
- 17:19 0.20 hour (Design #1151 (Closed): ConcatList or ConcatLists)
- 17:12 0.25 hour (Design #1151 (Closed): ConcatList or ConcatLists)
- Some notes
22 Jan 2018
- 15:39 0.20 hour (Design #1120 (Closed): Web site)
- Problems with "private mode"
17 Jan 2018
Also available in: Atom