CoCoA » CoCoA-5

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

22 Nov 2016

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

Partly done John Abbott

13:08 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Large OrdMat entries John Abbott

11:25 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Changed doc John Abbott

21 Nov 2016

14:41 0.10 hour (Feature #978 (Closed): CommonDenom: for polys and lists?)

Semantics? John Abbott

14:34 0.25 hour (Feature #978 (Closed): CommonDenom: for polys and lists?)

Already there John Abbott

14:27 0.50 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Documentation John Abbott

18 Nov 2016

22:20 0.10 hour (Feature #865 (New): Implicit: make easier to use with rational functions)

Postpone? John Abbott

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

Works for Michael Wheat John Abbott

22:10 0.10 hour (Feature #964 (New): New function: MakeMultiset?)

Applications? John Abbott

22:02 0.10 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Suggestion John Abbott

21:54 0.50 hour (Feature #744 (Closed): Handle interrupts more helpfully)

GUI John Abbott

20:50 4.00 hours (Feature #744 (Closed): Handle interrupts more helpfully)

Mostly done John Abbott

17 Nov 2016

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

Surprising John Abbott

15:32 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Repetitions? John Abbott

15:28 0.25 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)

Easy? John Abbott

09 Nov 2016

18:07 1.00 hour (Feature #954 (Closed): New function: StdBasis (standard basis))

Anna Maria Bigatti

08 Nov 2016

16:17 0.75 hour (Bug #963 (Closed): Manual: XML problem with html doc)

Anna Maria Bigatti

14:40 0.50 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Another example John Abbott

07 Nov 2016

15:55 1.00 hour (Support #851 (Closed): Release: CoCoA-5.2.0)

Anna Maria Bigatti

05 Nov 2016

17:44 0.50 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Not enough John Abbott

02 Nov 2016

17:33 0.10 hour (Feature #960 (New): New function: IdealAndSeparatorsOfPoints)

Target version? John Abbott

17:19 0.10 hour (Feature #960 (New): New function: IdealAndSeparatorsOfPoints)

Target version? John Abbott