Activity
From 09 Nov 2016 to 08 Dec 2016
08 Dec 2016
- 20:08 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- 13:13 0.30 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Some notes
07 Dec 2016
05 Dec 2016
- 15:01 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- CoCoAManual
- 14:55 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Permissions
01 Dec 2016
- 11:36 0.20 hour (Design #989 (In Progress): init file obligatory?)
- Command line arg
- 11:32 0.50 hour (Feature #988 (Closed): Makefile: install target for cocoa5)
- Symbolic link
30 Nov 2016
- 23:35 3.00 hours (Bug #755 (Closed): Find out how to compile statically on linux)
- Building 32 bit version
- 21:23 0.20 hour (Feature #988 (Closed): Makefile: install target for cocoa5)
- Another suggestion
- 21:13 1.50 hour (Feature #988 (Closed): Makefile: install target for cocoa5)
- Mostly done?
- 07:34 0.25 hour (Design #989 (In Progress): init file obligatory?)
29 Nov 2016
- 23:23 0.10 hour (Design #989 (In Progress): init file obligatory?)
- Source code
- 23:12 0.10 hour (Design #989 (In Progress): init file obligatory?)
- Clean up contents of init.cocoa5
- 23:10 0.30 hour (Design #989 (In Progress): init file obligatory?)
- History
- 23:19 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Now on web site?
- 23:17 0.25 hour (Support #322 (In Progress): Installation instructions (on website))
- Still needs improvement
- 18:32 0.25 hour (Feature #988 (Closed): Makefile: install target for cocoa5)
- Not entirely trivial
28 Nov 2016
- 13:52 0.25 hour (Support #985 (New): Microsoft (Windows 10, maybe other versions): more help for installation)
- An idea
26 Nov 2016
- 18:08 0.10 hour (Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries)
- Some notes
- 18:02 1.00 hour (Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries)
- An example
- 17:46 0.10 hour (Design #917 (New): CallOnGroebnerFanIdeals: better to use an iterator (or a "stream"))
- Interpreter is not so easy to alter
25 Nov 2016
- 16:59 0.25 hour (Bug #981 (Closed): SqFreeFactor: small (or big) bug?)
- Added new test
- 16:46 0.30 hour (Bug #981 (Closed): SqFreeFactor: small (or big) bug?)
- Quick fix
24 Nov 2016
- 19:12 1.00 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)
- 19:01 0.10 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)
- First prototype
- 18:51 0.50 hour (Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly)
- Semantics?
- 13:13 0.40 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)
- From email (2016-11-24)
- 13:05 0.10 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)
- Update
- 13:02 0.50 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))
- How universal?
23 Nov 2016
- 16:44 0.10 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))
- How universal?
- 12:19 0.10 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))
- OK for name
- 13:55 1.00 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- 08:53 1.00 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- 08:52 0.50 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
22 Nov 2016
- 15:34 0.10 hour (Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals))
- Partly done
- 13:08 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Large OrdMat entries
- 11:25 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Changed doc
21 Nov 2016
- 14:41 0.10 hour (Feature #978 (Closed): CommonDenom: for polys and lists?)
- Semantics?
- 14:34 0.25 hour (Feature #978 (Closed): CommonDenom: for polys and lists?)
- Already there
- 14:27 0.50 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Documentation
18 Nov 2016
- 22:20 0.10 hour (Feature #865 (New): Implicit: make easier to use with rational functions)
- Postpone?
- 22:14 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Works for Michael Wheat
- 22:10 0.10 hour (Feature #964 (New): New function: MakeMultiset?)
- Applications?
- 22:02 0.10 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Suggestion
- 21:54 0.50 hour (Feature #744 (Closed): Handle interrupts more helpfully)
- GUI
- 20:50 4.00 hours (Feature #744 (Closed): Handle interrupts more helpfully)
- Mostly done
17 Nov 2016
- 22:52 0.50 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Surprising
- 15:32 0.20 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Repetitions?
- 15:28 0.25 hour (Support #973 (Closed): GroebnerFanIdeals: verbosity and output style)
- Easy?
09 Nov 2016
Also available in: Atom