CoCoA » CoCoALib

06 Apr 2018

20:54 0.50 hour (Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals)

Anna Maria Bigatti

20:29 1.00 hour (Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim)

Anna Maria Bigatti

18:57 4.00 hours (Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files)

Anna Maria Bigatti

05 Apr 2018

15:11 0.20 hour (Feature #1176 (In Progress): interval arithmetic)

External library? John Abbott

04 Apr 2018

11:52 1.00 hour (Feature #1173 (New): Upper bound for value of poly in an interval)

Some notes John Abbott

03 Apr 2018

12:20 0.50 hour (Slug #1170 (Closed): SmoothFactor: slow when a factor is found)

Found the slug John Abbott

29 Mar 2018

23:03 1.00 hour (Design #1168 (In Progress): ideal: does const ourGetPtr really need to be private?)

Anna Maria Bigatti

22:59 1.00 hour (Design #924 (New): FlagManager for bool/bool3 flags)

Anna Maria Bigatti

19 Mar 2018

14:24 0.20 hour (Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib))

Anna Maria Bigatti

13:26 0.20 hour (Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib))

Doubt John Abbott

09:52 1.50 hour (Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib))

Anna Maria Bigatti

17 Mar 2018

09:16 0.50 hour (Slug #1165 (Closed): MinPoly over QQ: verification may be very slow)

Anna Maria Bigatti

09:15 4.00 hours (Design #1168 (In Progress): ideal: does const ourGetPtr really need to be private?)

Anna Maria Bigatti

16 Mar 2018

08:57 5.00 hours (Slug #1165 (Closed): MinPoly over QQ: verification may be very slow)

Anna Maria Bigatti

15 Mar 2018

14:12 0.50 hour (Design #1168 (In Progress): ideal: does const ourGetPtr really need to be private?)

Mmmm John Abbott

13 Mar 2018

18:48 1.00 hour (Feature #1167 (Closed): New class VerificationLevel)

First impl John Abbott

12 Mar 2018

16:45 1.00 hour (Feature #1131 (Closed): Sturm sequence)

Apparently almost done John Abbott

11:51 0.50 hour (Design #1166 (Closed): C++11: allows large integer literals (in NumTheory-prime.C))

Some notes John Abbott

08:57 0.50 hour (Slug #1165 (Closed): MinPoly over QQ: verification may be very slow)

Anna Maria Bigatti

08:24 1.00 hour (Slug #1165 (Closed): MinPoly over QQ: verification may be very slow)

Anna Maria Bigatti

09 Mar 2018

18:18 0.10 hour (Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho)

Another idea John Abbott

18:14 0.10 hour (Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2)

Opinion John Abbott

18:08 20.00 hours (Feature #1155 (Closed): Create a new "prime source" iterator)

Mostly done? John Abbott

18:05 0.25 hour (Design #1162 (Closed): Check semantics of NoSmallFactorSeq)

Small factor limit? John Abbott