Activity
From 11 Dec 2017 to 09 Jan 2018
20 Dec 2017
- 09:39 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
- 08:53 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
19 Dec 2017
- 07:49 3.00 hours (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)
- 07:44 3.00 hours (Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1)
18 Dec 2017
- 09:35 0.50 hour (Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1)
16 Dec 2017
- 15:19 0.10 hour (Support #887 (Closed): My first compilations with clang)
- Two types of warning?
15 Dec 2017
- 19:02 0.50 hour (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)
- 18:50 0.50 hour (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)
- 18:09 0.50 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- 17:35 1.00 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- 17:04 0.50 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- 17:30 0.25 hour (Feature #319 (Closed): BOOST -- how it could help in CoCoALib)
- Better to avoid BOOST
- 17:27 0.20 hour (Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX)
- An example
- 17:21 0.40 hour (Bug #693 (Closed): Makefile_dependencies in src/tests/)
- Seems OK
- 16:37 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation)
- Adequate?
- 16:25 1.00 hour (Support #1058 (Closed): CoCoALib version in Documentation and Examples)
- 15:16 0.25 hour (Bug #1135 (Closed): Compilaton with --debug configuration option gives errors)
- Done
- 15:08 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- Essentially done
14 Dec 2017
Also available in: Atom