CoCoA » CoCoALib

15 Jan 2020

22:15 0.10 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)

Probably OK John Abbott

14 Jan 2020

21:52 0.30 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)

Seems better John Abbott

13 Jan 2020

20:13 0.20 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector)

Homogeneous John Abbott

18:38 1.00 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector)

Anna Maria Bigatti

18:34 0.20 hour (Feature #966 (Closed): New function or explain: first and last for a vector?)

Anna Maria Bigatti

18:23 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

17:20 0.20 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach))

Anna Maria Bigatti

16:42 0.20 hour (Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead)

Anna Maria Bigatti

16:00 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Anna Maria Bigatti

12:11 0.20 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Variant fn? John Abbott

11:24 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Anna Maria Bigatti

12 Jan 2020

19:00 0.30 hour (Design #1389 (Rejected): myZeroPtr and myOnePtr)

Bad idea! John Abbott

10 Jan 2020

15:57 0.50 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)

Not yet done John Abbott

12:17 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

More tests? John Abbott

09 Jan 2020

22:28 0.15 hour (Bug #1260 (Closed): Fix file permissions after using CVS)

Resolved? John Abbott

22:22 0.20 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)

Good enough John Abbott

22:17 0.15 hour (Feature #303 (Closed): Rows and Columns of a matrix)

Already done John Abbott

22:10 0.25 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Uniform now John Abbott

22:02 0.40 hour (Slug #792 (Closed): configure: search for libgmp too slow)

Seems OK John Abbott

20:57 0.40 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)

More notes John Abbott

14:56 0.20 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)

More details John Abbott

14:46 0.25 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist)

Tricky John Abbott

17:18 1.00 hour (Feature #1277 (Closed): Gaussian row reduction)

Prototype John Abbott

17:01 0.25 hour (Design #1389 (Rejected): myZeroPtr and myOnePtr)

Probably John Abbott

13:55 0.10 hour (Support #1265 (Closed): Unregistered TXT files in doc)

Postponing John Abbott

13:52 0.25 hour (Feature #1388 (New): GlobalManager: create SignalWatcher internally?)

Some notes John Abbott

13:42 0.25 hour (Design #982 (Closed): Catching interrupts in example progs?)

Change of mind John Abbott

13:32 0.25 hour (Support #1353 (Closed): configure script help)

Documentation is better now John Abbott

13:27 0.10 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

Not quite so simple John Abbott

13:21 0.25 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

Something has already been done John Abbott

12:27 0.25 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)

Done? John Abbott

08 Jan 2020

23:04 0.20 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)

Test case John Abbott

07 Jan 2020

14:28 0.25 hour (Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]])

Updates John Abbott

28 Dec 2019

19:03 0.20 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

New tests John Abbott

18:57 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Seems OK John Abbott

18:49 0.75 hour (Bug #1380 (Closed): Make IsZeroDim more robust)

Revised John Abbott

27 Dec 2019

19:20 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

19:19 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

18:49 2.00 hours (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

16:48 0.20 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

15:31 0.40 hour (Bug #1380 (Closed): Make IsZeroDim more robust)

Made a first impl John Abbott

14:41 0.10 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

IsZeroDim John Abbott

13:22 2.00 hours (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:19 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:18 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:13 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Concrete example John Abbott

13:01 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

More notes John Abbott

12:47 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Suspicious John Abbott

12:38 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Worrying comment John Abbott

12:36 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Confirmed John Abbott

21 Dec 2019

17:22 0.75 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Impenetrable code John Abbott

20 Dec 2019

17:05 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Experiment proposal John Abbott

16:59 0.20 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Checked in John Abbott

16:34 2.00 hours (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Improved John Abbott

16:58 0.25 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Suggestion John Abbott