CoCoA » CoCoALib

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

30 Nov 2017

17:32 0.20 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

10:04 0.20 hour (Feature #1132 (New): Canonical homomorphism for (some) polynomial rings?)

Names John Abbott

29 Nov 2017

21:39 2.00 hours (Feature #1131 (Closed): Sturm sequence)

Mostly implemented John Abbott

27 Nov 2017

09:48 0.50 hour (Feature #1094 (In Progress): Revive code for SelfSaturating GBasis)

partial release, for testing Anna Maria Bigatti

09:15 1.00 hour (Feature #1094 (In Progress): Revive code for SelfSaturating GBasis)

Anna Maria Bigatti

25 Nov 2017

10:42 0.25 hour (Feature #361 (Closed): implement IsPrime3, IsMaximal3)

Anna Maria Bigatti

24 Nov 2017

17:21 6.00 hours (Feature #1094 (In Progress): Revive code for SelfSaturating GBasis)

Anna Maria Bigatti

15:28 0.30 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Status? John Abbott

20 Nov 2017

14:06 0.50 hour (Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?)

Anna Maria Bigatti

16 Nov 2017

17:13 0.20 hour (Design #1125 (New): Separate install script for CoCoALib?)

Some notes John Abbott

16:32 0.20 hour (Design #1124 (Closed): Move examples directory into doc -- or just change makefile?)

Also in the installed version of CoCoALib? John Abbott

15:24 0.30 hour (Design #1124 (Closed): Move examples directory into doc -- or just change makefile?)

Some notes John Abbott

15:20 0.40 hour (Feature #1005 (Closed): Makefile: install target for CoCoALib)

Better targets John Abbott