CoCoA » CoCoA-5

11 Jun 2015

08:28 4.00 hours (Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4))

Anna Maria Bigatti

06 Jun 2015

23:04 0.25 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)

Related problem? John Abbott

22:39 0.25 hour (Bug #726 (Closed): TopLevel cannot "import" a package variable)

Some notes John Abbott

02 Jun 2015

22:43 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)

Not entirely trivial John Abbott

17:06 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)

Non totally trivial John Abbott

15:55 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)

Some notes John Abbott

16:35 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)

Yes and no John Abbott

16:18 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)

Anna Maria Bigatti

15:45 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)

Almost... but not quite John Abbott

15:39 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)

An example John Abbott

13:11 0.40 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Avoid echo John Abbott

12:45 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

QUick reply John Abbott

30 May 2015

19:49 0.20 hour (Feature #711 (Closed): External Libs: print credits?)

Contributed packages? John Abbott

26 May 2015

15:51 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Anna Maria Bigatti

14:57 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Anna Maria Bigatti

25 May 2015

12:17 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Some notes John Abbott

24 May 2015

14:29 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Not perfect John Abbott

14:26 1.00 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Updating configure John Abbott

22 May 2015

18:35 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Checked in John Abbott

18:25 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

linker John Abbott

18:17 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Emacs+readline John Abbott

18:04 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Some notes John Abbott

17:45 0.30 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

First prototype John Abbott

16:52 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Configuration John Abbott

16:46 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)

Installing readline John Abbott

14:14 0.20 hour (Feature #720 (New): External libs: specifying I/O streams (initialization?))

Some notes John Abbott

21 May 2015

15:23 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)

KISS John Abbott

11:57 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

Profiling John Abbott

11:34 0.25 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

Side by cide comparison John Abbott

11:26 0.50 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

Timing info John Abbott

11:19 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

Original Normaliz input file John Abbott

11:17 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

CoCoALib code John Abbott

11:15 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

CoCoA-5 input John Abbott