CoCoA » CoCoA-5

13 Dec 2016

16:53 0.25 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Suggestion John Abbott

08 Dec 2016

20:08 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Anna Maria Bigatti

13:13 0.30 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Some notes John Abbott

07 Dec 2016

07:53 0.25 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Anna Maria Bigatti

05 Dec 2016

15:01 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

CoCoAManual John Abbott

14:55 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Permissions John Abbott

01 Dec 2016

11:36 0.20 hour (Design #989 (In Progress): init file obligatory?)

Command line arg John Abbott

11:32 0.50 hour (Feature #988 (Closed): Makefile: install target for cocoa5)

Symbolic link John Abbott

30 Nov 2016

23:35 3.00 hours (Bug #755 (Closed): Find out how to compile statically on linux)

Building 32 bit version John Abbott

21:23 0.20 hour (Feature #988 (Closed): Makefile: install target for cocoa5)

Another suggestion John Abbott

21:13 1.50 hour (Feature #988 (Closed): Makefile: install target for cocoa5)

Mostly done? John Abbott

07:34 0.25 hour (Design #989 (In Progress): init file obligatory?)

Anna Maria Bigatti

29 Nov 2016

23:23 0.10 hour (Design #989 (In Progress): init file obligatory?)

Source code John Abbott

23:12 0.10 hour (Design #989 (In Progress): init file obligatory?)

Clean up contents of init.cocoa5 John Abbott

23:10 0.30 hour (Design #989 (In Progress): init file obligatory?)

History John Abbott

23:19 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Now on web site? John Abbott

23:17 0.25 hour (Support #322 (In Progress): Installation instructions (on website))

Still needs improvement John Abbott

18:32 0.25 hour (Feature #988 (Closed): Makefile: install target for cocoa5)

Not entirely trivial John Abbott

28 Nov 2016

13:52 0.25 hour (Support #985 (New): Microsoft (Windows 10, maybe other versions): more help for installation)

An idea John Abbott

26 Nov 2016

18:08 0.10 hour (Design #984 (New): GroebnerFanIdeals: order matrices sometimes have "large" entries)

Some notes John Abbott

18:02 1.00 hour (Design #984 (New): GroebnerFanIdeals: order matrices sometimes have "large" entries)

An example John Abbott

17:46 0.10 hour (Design #917 (New): CallOnGroebnerFanIdeals: better to use an iterator (or a "stream"))

Interpreter is not so easy to alter John Abbott

25 Nov 2016

16:59 0.25 hour (Bug #981 (Closed): SqFreeFactor: small (or big) bug?)

Added new test John Abbott

16:46 0.30 hour (Bug #981 (Closed): SqFreeFactor: small (or big) bug?)

Quick fix John Abbott

24 Nov 2016

19:12 1.00 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)

Anna Maria Bigatti

19:01 0.10 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)

First prototype John Abbott

18:51 0.50 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)

Semantics? John Abbott

13:13 0.40 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)

From email (2016-11-24) John Abbott

13:05 0.10 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)

Update John Abbott

13:02 0.50 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))

How universal? John Abbott

23 Nov 2016

16:44 0.10 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))

How universal? John Abbott

12:19 0.10 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))

OK for name John Abbott

13:55 1.00 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Anna Maria Bigatti

08:53 1.00 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Anna Maria Bigatti

08:52 0.50 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Anna Maria Bigatti