CoCoA

02 Dec 2016

09:13 CoCoALib 0.50 hour (Feature #961 (Closed): New function: ReducedGBasis)

Anna Maria Bigatti

01 Dec 2016

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

Command line arg John Abbott

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

Symbolic link John Abbott

30 Nov 2016

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

Building 32 bit version John Abbott

21:47 CoCoALib 0.50 hour (Feature #765 (In Progress): ExternalLib-CDD: (needed by GFan))

Hints John Abbott

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

Another suggestion John Abbott

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

Mostly done? John Abbott

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

Anna Maria Bigatti

29 Nov 2016

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

Source code John Abbott

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

Clean up contents of init.cocoa5 John Abbott

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

History John Abbott

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

Now on web site? John Abbott

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

Still needs improvement John Abbott

19:30 CoCoALib 0.50 hour (Design #932 (Closed): CoCoALib configuration: BOOST dependency)

No boost option John Abbott

19:24 CoCoALib 0.25 hour (Design #932 (Closed): CoCoALib configuration: BOOST dependency)

Normaliz needs boost? John Abbott

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

Not entirely trivial John Abbott

28 Nov 2016

22:21 CoCoALib 0.25 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))

Moved to CoCoALib John Abbott

22:04 CoCoALib 0.25 hour (Feature #987 (New): GCD: add special case if args are monomials)

Where? John Abbott

15:43 CoCoALib 0.10 hour (Design #764 (Closed): ExternalLib: simplify configuration)

Resolved? John Abbott

15:41 CoCoALib 0.25 hour (Bug #986 (In Progress): GFan: require version newer than 0.6)

Status John Abbott

13:52 CoCoA-5 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 CoCoA-5 0.10 hour (Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries)

Some notes John Abbott

18:02 CoCoA-5 1.00 hour (Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries)

An example John Abbott

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

Interpreter is not so easy to alter John Abbott

17:40 CoCoALib 0.30 hour (Feature #765 (In Progress): ExternalLib-CDD: (needed by GFan))

Trouble on Kassel Linux box John Abbott

25 Nov 2016

18:01 CoCoALib 0.25 hour (Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?)

Some notes John Abbott

17:44 CoCoALib 0.50 hour (Design #982 (Closed): Catching interrupts in example progs?)

Some notes John Abbott

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

Added new test John Abbott

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

Quick fix John Abbott

24 Nov 2016

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

Anna Maria Bigatti

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

First prototype John Abbott

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

Semantics? John Abbott

13:56 CoCoALib 0.40 hour (Bug #154 (In Progress): GCD normalization (e.g. monic))

Still a problem John Abbott

13:19 CoCoALib 1.50 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)

Translated from CoCoA-5 John Abbott

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

From email (2016-11-24) John Abbott

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

Update John Abbott

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

How universal? John Abbott

23 Nov 2016

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

How universal? John Abbott

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

OK for name John Abbott

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

Anna Maria Bigatti

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

Anna Maria Bigatti

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

Anna Maria Bigatti

08:34 CoCoALib 1.50 hour (Feature #961 (Closed): New function: ReducedGBasis)

Anna Maria Bigatti

08:23 CoCoALib 0.50 hour (Feature #962 (Closed): General verbose mode?)

Anna Maria Bigatti

22 Nov 2016

15:38 CoCoALib 0.10 hour (Feature #979 (Closed): SmallestNonDivisor -- new fn)

Iter John Abbott

15:31 CoCoALib 1.00 hour (Feature #979 (Closed): SmallestNonDivisor -- new fn)

Almost done John Abbott

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

Partly done John Abbott

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

Large OrdMat entries John Abbott

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

Changed doc John Abbott

12:42 CoCoALib 0.30 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Added config flag John Abbott

21 Nov 2016

18:01 CoCoALib 0.50 hour (Feature #979 (Closed): SmallestNonDivisor -- new fn)

Some notes John Abbott

17:49 CoCoALib 0.75 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Changed format John Abbott

14:22 CoCoALib 0.50 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Let's try. John Abbott

13:51 CoCoALib 0.25 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Another idea John Abbott

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

Semantics? John Abbott

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

Already there John Abbott

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

Documentation John Abbott

18 Nov 2016

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

Postpone? John Abbott

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

Works for Michael Wheat John Abbott

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

Applications? John Abbott

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

Suggestion John Abbott

21:58 CoCoALib 0.50 hour (Bug #971 (Closed): CheckForInterrupt does not work in the expected way)

Works for TmpGReductor John Abbott

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

GUI John Abbott

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

Mostly done John Abbott

18:54 CoCoALib 0.10 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Another suggestion John Abbott

18:44 CoCoALib 0.10 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Might work, might not John Abbott

18:39 CoCoALib 0.25 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Icing on the cake? John Abbott

18:28 CoCoALib 0.50 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Not sufficient. John Abbott

18:20 CoCoALib 5.00 hours (Bug #593 (Closed): Temporary directories used during configuration)

Almost done John Abbott

13:39 CoCoALib 1.00 hour (Bug #593 (Closed): Temporary directories used during configuration)

Progress John Abbott

12:19 CoCoALib 1.00 hour (Bug #593 (Closed): Temporary directories used during configuration)

Name of tmp dirs John Abbott

17 Nov 2016

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

Surprising John Abbott

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

Repetitions? John Abbott

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

Easy? John Abbott

22:47 CoCoALib 1.00 hour (Bug #593 (Closed): Temporary directories used during configuration)

Done GMP scripts John Abbott

22:04 CoCoALib 0.30 hour (Bug #593 (Closed): Temporary directories used during configuration)

Another detail John Abbott

21:34 CoCoALib 0.25 hour (Bug #593 (Closed): Temporary directories used during configuration)

Temp dir naming convention John Abbott

21:16 CoCoALib 0.50 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Possibly resolved? John Abbott

19:25 CoCoALib 0.75 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Some notes John Abbott

19:15 CoCoALib 0.50 hour (Feature #974 (In Progress): QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints)

Some notes John Abbott

19:03 CoCoALib 1.00 hour (Feature #678 (In Progress): Accumulator (like a geobucket))

Probable design John Abbott

14:26 CoCoALib 0.25 hour (Feature #678 (In Progress): Accumulator (like a geobucket))

Applications John Abbott

14:12 CoCoALib 0.10 hour (Feature #678 (In Progress): Accumulator (like a geobucket))

Adding some keywords John Abbott

13:36 CoCoALib 0.25 hour (Feature #839 (In Progress): SparsePolyIter: make more compatible with STL)

Clarification John Abbott

13:25 CoCoALib 0.10 hour (Feature #817 (New): GenRepr in CoCoALib?)

No progress? John Abbott

13:21 CoCoALib 0.25 hour (Support #972 (New): ex-PolyIterator)

Names John Abbott

14 Nov 2016

16:11 CoCoALib 1.50 hour (Bug #971 (Closed): CheckForInterrupt does not work in the expected way)

Some changes John Abbott

13:07 CoCoALib 0.25 hour (Bug #971 (Closed): CheckForInterrupt does not work in the expected way)

Where to catch InterruptReceived John Abbott

13:03 CoCoALib 1.00 hour (Bug #971 (Closed): CheckForInterrupt does not work in the expected way)

Missing catch statements John Abbott

11 Nov 2016

15:49 CoCoALib 0.10 hour (Design #970 (In Progress): Weights in ElimMat?)

KISS? John Abbott

15:35 CoCoALib 0.20 hour (Design #970 (In Progress): Weights in ElimMat?)

Opinion John Abbott

15:10 CoCoALib 1.00 hour (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately)

Mostly done? John Abbott

15:02 CoCoALib 1.50 hour (Feature #962 (Closed): General verbose mode?)

Checked in John Abbott

11:23 CoCoALib 0.25 hour (Feature #962 (Closed): General verbose mode?)

Simpler John Abbott

10 Nov 2016

21:33 CoCoALib 0.50 hour (Slug #968 (In Progress): Slow NF example)

Explanation? John Abbott

21:09 CoCoALib 0.50 hour (Slug #968 (In Progress): Slow NF example)

Another example John Abbott

17:03 CoCoALib 0.25 hour (Slug #968 (In Progress): Slow NF example)

Strange! John Abbott

16:42 CoCoALib 0.50 hour (Slug #968 (In Progress): Slow NF example)

Anna Maria Bigatti

16:16 CoCoALib 0.25 hour (Slug #968 (In Progress): Slow NF example)

A question of strategy John Abbott

18:16 CoCoALib 0.25 hour (Feature #962 (Closed): General verbose mode?)

DevNull John Abbott

16:19 CoCoALib 0.20 hour (Feature #962 (Closed): General verbose mode?)

Development strategy John Abbott

17:51 CoCoALib 0.10 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)

A bit slow John Abbott

16:54 CoCoALib 2.00 hours (Slug #967 (Resolved): Improve saturate)

Anna Maria Bigatti

11:59 CoCoALib 1.00 hour (Slug #967 (Resolved): Improve saturate)

Anna Maria Bigatti

16:38 CoCoALib 0.25 hour (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately)

Some notes John Abbott

16:11 CoCoALib 0.20 hour (Feature #966 (Closed): New function or explain: first and last for a vector?)

Not yet convinced John Abbott

09:06 CoCoALib 0.50 hour (Feature #966 (Closed): New function or explain: first and last for a vector?)

Anna Maria Bigatti

08:29 CoCoALib 1.00 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector)

done in 2014/12/02 Anna Maria Bigatti

09 Nov 2016

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

Anna Maria Bigatti

08 Nov 2016

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

Anna Maria Bigatti

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

Another example John Abbott

07 Nov 2016

18:23 CoCoALib 0.30 hour (Feature #962 (Closed): General verbose mode?)

Another idea John Abbott

15:07 CoCoALib 0.20 hour (Feature #962 (Closed): General verbose mode?)

KISS? John Abbott

13:54 CoCoALib 0.25 hour (Feature #962 (Closed): General verbose mode?)

Possible design John Abbott

13:38 CoCoALib 0.25 hour (Feature #962 (Closed): General verbose mode?)

Some notes John Abbott

17:53 CoCoALib 0.20 hour (Feature #958 (Resolved): New function: multiplicity and dim)

What exactly does multiplicity do? John Abbott

16:04 CoCoALib 1.50 hour (Feature #951 (Closed): New function: IsSqFree)

Anna Maria Bigatti

12:31 CoCoALib 0.50 hour (Feature #951 (Closed): New function: IsSqFree)

Renamed John Abbott

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

Anna Maria Bigatti

13:31 CoCoALib 0.25 hour (Bug #790 (Closed): RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times)

Closing John Abbott

05 Nov 2016

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

Not enough John Abbott

17:39 CoCoALib 1.00 hour (Support #953 (Closed): new file for old functions: obsolescent.C)

Doc John Abbott

04 Nov 2016

22:41 CoCoALib 1.00 hour (Support #953 (Closed): new file for old functions: obsolescent.C)

Added test, example aand doc John Abbott

21:46 CoCoALib 1.00 hour (Support #953 (Closed): new file for old functions: obsolescent.C)

Almost done John Abbott

17:02 CoCoALib 0.20 hour (Support #953 (Closed): new file for old functions: obsolescent.C)

Not convinced John Abbott

10:43 CoCoALib 0.25 hour (Support #953 (Closed): new file for old functions: obsolescent.C)

Another idea John Abbott