CoCoA » CoCoALib

20 Dec 2017

09:39 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

08:53 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

19 Dec 2017

07:49 3.00 hours (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)

Anna Maria Bigatti

07:44 3.00 hours (Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1)

Anna Maria Bigatti

18 Dec 2017

09:35 0.50 hour (Design #1144 (Closed): File names, coding conventions: Fns, Ops, Operations? part 1)

Anna Maria Bigatti

16 Dec 2017

15:19 0.10 hour (Support #887 (Closed): My first compilations with clang)

Two types of warning? John Abbott

15 Dec 2017

19:02 0.50 hour (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)

Anna Maria Bigatti

18:50 0.50 hour (Bug #1143 (Closed): Polynomial multiplication wrong for non integral rings)

Anna Maria Bigatti

18:09 0.50 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)

Anna Maria Bigatti

17:35 1.00 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)

Anna Maria Bigatti

17:04 0.50 hour (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)

Anna Maria Bigatti

17:30 0.25 hour (Feature #319 (Closed): BOOST -- how it could help in CoCoALib)

Better to avoid BOOST John Abbott

17:27 0.20 hour (Bug #905 (Closed): txt2tags: double quotes wrong in LaTeX)

An example John Abbott

17:21 0.40 hour (Bug #693 (Closed): Makefile_dependencies in src/tests/)

Seems OK John Abbott

16:37 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation)

Adequate? John Abbott

16:25 1.00 hour (Support #1058 (Closed): CoCoALib version in Documentation and Examples)

Anna Maria Bigatti

15:16 0.25 hour (Bug #1135 (Closed): Compilaton with --debug configuration option gives errors)

Done John Abbott

15:08 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Essentially done John Abbott

14 Dec 2017

14:29 1.00 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

07 Dec 2017

17:42 3.50 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

06 Dec 2017

13:43 0.30 hour (Slug #1136 (Closed): IsInRadical: sometimes a bit slow)

Some times John Abbott

05 Dec 2017

15:43 0.50 hour (Bug #1135 (Closed): Compilaton with --debug configuration option gives errors)

Summary John Abbott

04 Dec 2017

18:03 0.25 hour (Support #1134 (New): Organize better the documentation for CoCoALib)

Some notes John Abbott