CoCoA » CoCoALib

23 Jun 2014

17:40 0.25 hour (Feature #575 (In Progress): Investigate using cmake for configuration)

Faltering progress John Abbott

17:34 5.00 hours (Feature #573 (Closed): Use symbolic links for external libraries)

Seems to be working OK John Abbott

20 Jun 2014

09:18 2.00 hours (Feature #575 (In Progress): Investigate using cmake for configuration)

cmake and Normaliz John Abbott

19 Jun 2014

17:53 0.50 hour (Feature #573 (Closed): Use symbolic links for external libraries)

Arrrghh! John Abbott

17:00 1.50 hour (Feature #573 (Closed): Use symbolic links for external libraries)

Current situation John Abbott

15:15 2.00 hours (Feature #573 (Closed): Use symbolic links for external libraries)

Some ideas John Abbott

14 Jun 2014

21:54 0.25 hour (Feature #568 (Closed): Valid symbol heads)

John Abbott

21:43 2.00 hours (Feature #568 (Closed): Valid symbol heads)

Done! John Abbott

21:38 1.50 hour (Feature #571 (Closed): CmpAbs for RingElem)

Impl'ed John Abbott

21:24 0.30 hour (Feature #571 (Closed): CmpAbs for RingElem)

Added doc and test for BigRat John Abbott

21:21 1.00 hour (Feature #571 (Closed): CmpAbs for RingElem)

Impl'ed for BigRat John Abbott

12 Jun 2014

19:30 1.00 hour (Design #415 (Closed): Remove AsPolyRing etc?)

Progress & a question John Abbott

12:54 0.10 hour (Feature #571 (Closed): CmpAbs for RingElem)

Missing for BigRat John Abbott

12:41 0.13 hour (Feature #570 (New): Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing))

indets Anna Maria Bigatti

11 Jun 2014

17:40 1.00 hour (Design #415 (Closed): Remove AsPolyRing etc?)

Removing need for AsPolyRing John Abbott

10 Jun 2014

19:19 0.10 hour (Feature #568 (Closed): Valid symbol heads)

What's allowed? John Abbott

19:15 0.10 hour (Feature #568 (Closed): Valid symbol heads)

Quick test John Abbott

19:13 0.50 hour (Feature #568 (Closed): Valid symbol heads)

Pros and cons John Abbott