CoCoA

19 Feb 2024

21:28 CoCoALib 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling)

Progress? John Abbott

17 Feb 2024

21:27 CoCoA-5 0.10 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Ahhh! John Abbott

21:07 CoCoA-5 0.10 hour (Bug #1713 (In Progress): Windows: Qt-Gui does not link correctly)

Wow! John Abbott

16 Feb 2024

21:31 CoCoALib 0.30 hour (Feature #1513 (New): Better test for univariate-ness (and better conversion))

UI? John Abbott

21:22 CoCoALib 0.15 hour (Design #1735 (Rejected): PushFront/PushBack without checks?)

Oh! John Abbott

10:23 CoCoALib 0.20 hour (Design #1735 (Rejected): PushFront/PushBack without checks?)

Anna Maria Bigatti

10:00 CoCoALib 0.10 hour (Design #1735 (Rejected): PushFront/PushBack without checks?)

Test it! John Abbott

20:54 CoCoALib 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling)

Added Nico John Abbott

20:53 CoCoALib 0.10 hour (Feature #1670 (New): Build also dynamic/shared library for CoCoALib?)

Useful links? John Abbott

20:47 CoCoALib 0.20 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))

Confirmed John Abbott

16:06 CoCoALib 2.00 hours (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))

Anna Maria Bigatti

20:44 CoCoALib 0.25 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?)

First impl John Abbott

17:02 CoCoALib 0.10 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?)

Source code John Abbott

09:42 CoCoALib 0.20 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?)

What about over ZZ? John Abbott

18:19 CoCoALib 0.20 hour (Design #849 (In Progress): Cleanup MinPoly code)

No need for new UI John Abbott

18:05 CoCoALib 0.20 hour (Feature #813 (Feedback): Implement "elim" in CoCoALib)

ElimMat John Abbott

18:00 CoCoALib 0.20 hour (Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?)

Anna Maria Bigatti

17:41 CoCoALib 0.30 hour (Feature #645 (Rejected): Automatic mapping of RingElem: user selectable at run-time (GlobalManager?))

Rejected John Abbott

09:55 CoCoALib 0.20 hour (Feature #1472 (In Progress): Idea for for loops)

Julia John Abbott

09:46 CoCoALib 0.10 hour (Bug #1575 (New): DynamicBitset missing arg checks)

Elsewhere John Abbott

09:33 CoCoALib 0.20 hour (Support #1672 (New): Documentation: a good model to follow?)

Features John Abbott

09:24 CoCoALib 0.10 hour (Feature #1748 (New): July 2023)

Status? John Abbott

15 Feb 2024

22:35 CoCoALib 0.40 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))

Already implemented John Abbott

16:41 CoCoALib 1.00 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))

Anna Maria Bigatti

15:32 CoCoALib 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Anna Maria Bigatti

15:30 CoCoALib 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Anna Maria Bigatti

09 Feb 2024

10:29 CoCoALib 0.10 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)

OK John Abbott

08:51 CoCoALib 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)

Anna Maria Bigatti

08:38 CoCoALib 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)

Anna Maria Bigatti

10:13 CoCoALib 0.10 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

IsConstant John Abbott

09:53 CoCoALib 0.25 hour (Bug #1779 (Closed): Radical error with lex (again))

John Abbott

08:16 CoCoA-5 0.50 hour (Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR)

Anna Maria Bigatti

07:59 CoCoA-5 0.25 hour (Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR)

Anna Maria Bigatti

08 Feb 2024

22:08 CoCoALib 0.20 hour (Feature #1778 (In Progress): Homogenizer)

I like it John Abbott

21:55 CoCoALib 0.10 hour (Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat))

Status? John Abbott

21:37 CoCoALib 0.75 hour (Feature #379 (Closed): Iter for subsets/tuples)

Added TupleIter John Abbott

06 Feb 2024

16:47 CoCoALib 2.00 hours (Bug #1779 (Closed): Radical error with lex (again))

Anna Maria Bigatti

10:17 CoCoALib 0.50 hour (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ )

Anna Maria Bigatti

09:10 CoCoALib 2.00 hours (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ )

Anna Maria Bigatti

08:48 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Anna Maria Bigatti

08:47 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Anna Maria Bigatti

05 Feb 2024

21:29 CoCoALib 0.10 hour (Bug #1779 (Closed): Radical error with lex (again))

Allow factorizing non-zero comstant? John Abbott

18:32 CoCoALib 0.50 hour (Bug #1779 (Closed): Radical error with lex (again))

Anna Maria Bigatti

12:21 CoCoALib 1.00 hour (Slug #1739 (Closed): IsHomog for ideals)

Anna Maria Bigatti

02 Feb 2024

20:34 CoCoALib 0.10 hour (Bug #1764 (In Progress): Verbosity messages: avoid printing BIG values)

List of files checked John Abbott

20:21 CoCoALib 0.20 hour (Feature #1778 (In Progress): Homogenizer)

Term order John Abbott

20:13 CoCoALib 0.10 hour (Feature #1778 (In Progress): Homogenizer)

Possible extensions John Abbott

20:10 CoCoALib 0.50 hour (Feature #1778 (In Progress): Homogenizer)

Possible interface John Abbott

20:01 CoCoALib 0.25 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Example John Abbott

01 Feb 2024

19:59 CoCoALib 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading)

Anna? John Abbott

11:04 CoCoALib 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading)

Anna Maria Bigatti

10:42 CoCoALib 0.15 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?)

CoCoALib John Abbott

10:17 CoCoALib 0.25 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?)

Partly done John Abbott

10:03 CoCoALib 0.20 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?)

Anna Maria Bigatti

10:03 CoCoALib 0.10 hour (Design #1777 (New): VerificationLevel: just 3? Low, high, guaranteed?)

Currently John Abbott

09:50 CoCoALib 0.10 hour (Slug #1739 (Closed): IsHomog for ideals)

Also IsHomog3? John Abbott

09:47 CoCoALib 0.10 hour (Slug #1739 (Closed): IsHomog for ideals)

Source John Abbott

31 Jan 2024

22:26 CoCoALib 4.00 hours (Feature #1197 (In Progress): IsZeroDet: new fn)

Partly done John Abbott

22:16 CoCoALib 0.10 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?)

Implement or postpone? John Abbott

22:14 CoCoALib 0.20 hour (Slug #1739 (Closed): IsHomog for ideals)

Go for it! John Abbott

22:07 CoCoALib 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading)

But why? John Abbott

22:02 CoCoALib 0.10 hour (Support #1665 (New): Compilation on Windows: problems for normaliz)

Still a problem? John Abbott

25 Jan 2024

20:27 CoCoALib 0.20 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))

Trickier than hoped. John Abbott

20:22 CoCoALib 0.50 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))

Bother! John Abbott

16:26 CoCoALib 2.00 hours (Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong)

Anna Maria Bigatti

10:12 CoCoALib 0.25 hour (Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong)

Another test case John Abbott

23 Jan 2024

22:14 CoCoALib 0.10 hour (Feature #1715 (New): ProductBigInt (also ProductBigRat???))

Some notes John Abbott

22:13 CoCoALib 0.40 hour (Feature #947 (In Progress): IsRadical for ideal?)

Might be tricky John Abbott

09:27 CoCoALib 0.20 hour (Design #1777 (New): VerificationLevel: just 3? Low, high, guaranteed?)

Some notes John Abbott

22 Jan 2024

20:28 CoCoALib 0.10 hour (Feature #539 (New): Functions to clean up a factorization)

Why? John Abbott

20:24 CoCoALib 0.10 hour (Feature #1349 (In Progress): ideal ctor where given gens are a gbasis)

Status? John Abbott

20:14 CoCoALib 0.75 hour (Design #1753 (Closed): Clean up EulerTotient, InvTotient jungle in NumTheory-misc)

Cleaning John Abbott

19:41 CoCoALib 0.10 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Other operations John Abbott

19:39 CoCoALib 0.40 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)

Ideas about cleaning John Abbott

10:53 CoCoALib 0.25 hour (Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?)

Anna Maria Bigatti

10:47 CoCoALib 0.10 hour (Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?)

Doc makes no guarantees John Abbott

10:44 CoCoALib 0.20 hour (Design #908 (Closed): Sum of ideals: what are the generators of (x) + (0)?)

Current state John Abbott

10:52 CoCoALib 0.25 hour (Slug #1739 (Closed): IsHomog for ideals)

Anna Maria Bigatti

10:37 CoCoA-5 0.20 hour (Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5)

Passau code John Abbott