CoCoA

28 Jun 2014

20:48 CoCoA-5 3.00 hours (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

probably working as wanted (and a bit cleaner) Anna Maria Bigatti

26 Jun 2014

15:33 CoCoA-5 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

No problems -- closing John Abbott

12:12 CoCoA-5 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Reason/justification John Abbott

15:14 CoCoA-5 0.25 hour (Support #548 (Closed): Printing rings with ID)

Printing rings in resolutions John Abbott

15:11 CoCoA-5 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

Closing John Abbott

12:06 CoCoA-5 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

Current situation John Abbott

12:03 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

Flag for horiz/vert John Abbott

08:24 CoCoA-5 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

notes for investigation Anna Maria Bigatti

08:18 CoCoA-5 3.50 hours (Support #559 (Closed): Release: CoCoA-5.1.0)

almost... Anna Maria Bigatti

25 Jun 2014

19:16 CoCoA-5 0.10 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Seems OK John Abbott

17:04 CoCoA-5 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Relevant source code John Abbott

16:50 CoCoA-5 0.13 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Anna Maria Bigatti

15:50 CoCoA-5 0.75 hour (Bug #164 (Closed): CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames)

Done! John Abbott

13:14 CoCoA-5 0.10 hour (Support #548 (Closed): Printing rings with ID)

name John Abbott

13:09 CoCoA-5 0.25 hour (Support #548 (Closed): Printing rings with ID)

Some design considerations John Abbott

12:52 CoCoA-5 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

No longer relevant? John Abbott

12:16 CoCoALib 1.00 hour (Feature #571 (Closed): CmpAbs for RingElem)

Added new test John Abbott

24 Jun 2014

10:36 CoCoA-5 0.25 hour (Bug #279 (Closed): Bug in Radical (actually a RingHom problem))

A wrong result John Abbott

23 Jun 2014

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

Faltering progress John Abbott

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

Seems to be working OK John Abbott

20 Jun 2014

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

cmake and Normaliz John Abbott

19 Jun 2014

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

Arrrghh! John Abbott

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

Current situation John Abbott

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

Some ideas John Abbott

14 Jun 2014

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

John Abbott

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

Done! John Abbott

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

Impl'ed John Abbott

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

Added doc and test for BigRat John Abbott

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

Impl'ed for BigRat John Abbott

12 Jun 2014

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

Progress & a question John Abbott

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

Missing for BigRat John Abbott

12:41 CoCoALib 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 CoCoALib 1.00 hour (Design #415 (Closed): Remove AsPolyRing etc?)

Removing need for AsPolyRing John Abbott

10 Jun 2014

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

What's allowed? John Abbott

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

Quick test John Abbott

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

Pros and cons John Abbott

30 May 2014

09:16 CoCoA-5 1.00 hour (Design #567 (Closed): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote)

found the correct line! done Anna Maria Bigatti