CoCoA » CoCoALib

12 Jun 2015

12:03 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))

First prototype John Abbott

11 Jun 2015

20:06 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

Werner M Seiler

15:27 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

Seminar John Abbott

11:43 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

Plans John Abbott

11:14 0.25 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

More notes John Abbott

19:00 1.00 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

Anna Maria Bigatti

11:46 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

OK John Abbott

11:04 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

More notes John Abbott

11:00 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

Expressibility John Abbott

10:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

Uncertain John Abbott

08:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)

Anna Maria Bigatti

15:26 9.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))

First prototype John Abbott

14:58 0.25 hour (Feature #386 (In Progress): add resolution data type)

industrial espionage John Abbott

11:57 0.25 hour (Feature #386 (In Progress): add resolution data type)

Compromise John Abbott

10 Jun 2015

17:12 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

Werner M Seiler

12:55 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")

Correction John Abbott

13:41 1.00 hour (Feature #386 (In Progress): add resolution data type)

Design idea John Abbott

13:19 0.30 hour (Feature #729 (In Progress): Betti numbers, betti diagram)

Design idea John Abbott

11:30 0.10 hour (Feature #730 (Closed): Stats in GBMill (GReductor))

Mario John Abbott

11:24 0.30 hour (Feature #730 (Closed): Stats in GBMill (GReductor))

Some notes John Abbott

08 Jun 2015

18:52 0.25 hour (Feature #729 (In Progress): Betti numbers, betti diagram)

Some notes John Abbott

11:09 0.25 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)

Run-time cost? John Abbott

07 Jun 2015

12:46 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)

Short cut? John Abbott

06 Jun 2015

22:49 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)

Input generators John Abbott

22:46 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)

Good idea in principle... John Abbott

20:32 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)

Completion of table of timings John Abbott

14:25 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)

John Abbott

13:19 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)

Sample output John Abbott

01 Jun 2015

22:31 0.75 hour (Slug #722 (Closed): valuation slow for large inputs)

First prototype John Abbott

10:39 0.10 hour (Slug #722 (Closed): valuation slow for large inputs)

QuoRem John Abbott

31 May 2015

11:58 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)

Some notes John Abbott

30 May 2015

14:52 0.50 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)

More notes John Abbott

10:01 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)

Not a CoCoA_ERROR John Abbott

10:22 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance)

Design idea John Abbott

29 May 2015

16:19 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)

Some notes John Abbott

12:03 0.75 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)

Anna Maria Bigatti

22 May 2015

13:45 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)

papers John Abbott

13:21 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)

Hacked John Abbott