Activity
From 01 Dec 2014 to 30 Dec 2014
10 Dec 2014
- 16:38 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
- I'm running tests with the profiler on our linux virtual machine.
One surprise was that the profiler gave a mysterio...
09 Dec 2014
- 23:02 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
- One problem with @ImpliciDirectWithCond@ is that the normal form computations take too long. Here is an idea which _...
- 16:22 CoCoALib Feature #437: MemPool: order free blocks?
- It seems the correct (portable) way to sort a @vector<void*>@ is to use @sort(v.begin(), v.end(), std::less)@.
Apa...
05 Dec 2014
- 22:40 CoCoA-5 Feature #652 (In Progress): Flag to enable/disable printing of list of loaded packages
- I have modified @Main.C@ but not checked in -- will discuss with Anna first.
* replaced @bool printPremable@ by @int...
04 Dec 2014
- 15:39 CoCoA-5 Feature #653: Emacs UI: use "warning colour" for an unmatched */
- I agree, it would be nice.
But I have no idea how to achieve it :-( - 15:22 CoCoA-5 Feature #653: Emacs UI: use "warning colour" for an unmatched */
- Not very important --> low priority.
Not sure how easy this might be; given the low importance, I'd say it's worth d... - 15:20 CoCoA-5 Feature #653 (New): Emacs UI: use "warning colour" for an unmatched */
- It may be helpful to have the emacs UI use a visible "warning colour" for an unmatched @*/@ comment end marker.
Also available in: Atom