Activity - CoCoALib - CoCoA Project

Activity

From 26 Jan 2024 to 24 Feb 2024

24 Feb 2024

18:34 0.10 hour (Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?): Phone John Abbott
18:33 0.50 hour (Design #1783 (In Progress): Code & doc structure: one-big-file or many-small-files?): John Abbott

23 Feb 2024

12:39 0.20 hour (Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong): Anna Maria Bigatti
12:28 0.50 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)): Anna Maria Bigatti
12:13 0.20 hour (Bug #1779 (Closed): Radical error with lex (again)): New bug? John Abbott
11:41 0.20 hour (Bug #1779 (Closed): Radical error with lex (again)): Anna Maria Bigatti
12:07 0.10 hour (Feature #379 (Closed): Iter for subsets/tuples): ANNA John Abbott
11:38 0.15 hour (Slug #1754 (Closed): IsSqFree poorly implemented): John Abbott
11:34 0.66 hour (Support #1265 (Closed): Unregistered TXT files in doc): John Abbott

19 Feb 2024

21:28 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling): Progress? John Abbott

16 Feb 2024

21:31 0.30 hour (Feature #1513 (New): Better test for univariate-ness (and better conversion)): UI? John Abbott
21:22 0.15 hour (Design #1735 (Rejected): PushFront/PushBack without checks?): Oh! John Abbott
10:23 0.20 hour (Design #1735 (Rejected): PushFront/PushBack without checks?): Anna Maria Bigatti
10:00 0.10 hour (Design #1735 (Rejected): PushFront/PushBack without checks?): Test it! John Abbott
20:54 0.10 hour (Bug #1661 (Closed): Microsoft: cannot compile with signal handling): Added Nico John Abbott
20:53 0.10 hour (Feature #1670 (New): Build also dynamic/shared library for CoCoALib?): Useful links? John Abbott
20:47 0.20 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)): Confirmed John Abbott
16:06 2.00 hours (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)): Anna Maria Bigatti
20:44 0.25 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?): First impl John Abbott
17:02 0.10 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?): Source code John Abbott
09:42 0.20 hour (Design #1642 (In Progress): interreduce: make monic if over finite field?): What about over ZZ? John Abbott
18:19 0.20 hour (Design #849 (In Progress): Cleanup MinPoly code): No need for new UI John Abbott
18:05 0.20 hour (Feature #813 (Feedback): Implement "elim" in CoCoALib): ElimMat John Abbott
18:00 0.20 hour (Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?): Anna Maria Bigatti
17:41 0.30 hour (Feature #645 (Rejected): Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)): Rejected John Abbott
09:55 0.20 hour (Feature #1472 (In Progress): Idea for for loops): Julia John Abbott
09:46 0.10 hour (Bug #1575 (New): DynamicBitset missing arg checks): Elsewhere John Abbott
09:33 0.20 hour (Support #1672 (New): Documentation: a good model to follow?): Features John Abbott
09:24 0.10 hour (Feature #1748 (New): July 2023): Status? John Abbott

15 Feb 2024

22:35 0.40 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)): Already implemented John Abbott
16:41 1.00 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)): Anna Maria Bigatti
15:32 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): Anna Maria Bigatti
15:30 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): Anna Maria Bigatti

09 Feb 2024

10:29 0.10 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?): OK John Abbott
08:51 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?): Anna Maria Bigatti
08:38 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?): Anna Maria Bigatti
10:13 0.10 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): IsConstant John Abbott
09:53 0.25 hour (Bug #1779 (Closed): Radical error with lex (again)): John Abbott

08 Feb 2024

22:08 0.20 hour (Feature #1778 (In Progress): Homogenizer): I like it John Abbott
21:55 0.10 hour (Feature #202 (Closed): MatrixView/function for viewing a single row or column (RowMat, ColMat)): Status? John Abbott
21:37 0.75 hour (Feature #379 (Closed): Iter for subsets/tuples): Added TupleIter John Abbott

06 Feb 2024

16:47 2.00 hours (Bug #1779 (Closed): Radical error with lex (again)): Anna Maria Bigatti
10:17 0.50 hour (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ ): Anna Maria Bigatti
09:10 2.00 hours (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ ): Anna Maria Bigatti
08:48 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): Anna Maria Bigatti
08:47 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): Anna Maria Bigatti

05 Feb 2024

21:29 0.10 hour (Bug #1779 (Closed): Radical error with lex (again)): Allow factorizing non-zero comstant? John Abbott
18:32 0.50 hour (Bug #1779 (Closed): Radical error with lex (again)): Anna Maria Bigatti
12:21 1.00 hour (Slug #1739 (Closed): IsHomog for ideals): Anna Maria Bigatti

02 Feb 2024

20:34 0.10 hour (Bug #1764 (In Progress): Verbosity messages: avoid printing BIG values): List of files checked John Abbott
20:21 0.20 hour (Feature #1778 (In Progress): Homogenizer): Term order John Abbott
20:13 0.10 hour (Feature #1778 (In Progress): Homogenizer): Possible extensions John Abbott
20:10 0.50 hour (Feature #1778 (In Progress): Homogenizer): Possible interface John Abbott
20:01 0.25 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?): Example John Abbott

01 Feb 2024

19:59 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading): Anna? John Abbott
11:04 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading): Anna Maria Bigatti
10:42 0.15 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?): CoCoALib John Abbott
10:17 0.25 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?): Partly done John Abbott
10:03 0.20 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?): Anna Maria Bigatti
10:03 0.10 hour (Design #1777 (New): VerificationLevel: just 3? Low, high, guaranteed?): Currently John Abbott
09:50 0.10 hour (Slug #1739 (Closed): IsHomog for ideals): Also IsHomog3? John Abbott
09:47 0.10 hour (Slug #1739 (Closed): IsHomog for ideals): Source John Abbott

31 Jan 2024

22:26 4.00 hours (Feature #1197 (In Progress): IsZeroDet: new fn): Partly done John Abbott
22:16 0.10 hour (Design #1750 (In Progress): IdealOfPoints: allow duplicate points?): Implement or postpone? John Abbott
22:14 0.20 hour (Slug #1739 (Closed): IsHomog for ideals): Go for it! John Abbott
22:07 0.20 hour (Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading): But why? John Abbott
22:02 0.10 hour (Support #1665 (New): Compilation on Windows: problems for normaliz): Still a problem? John Abbott

Also available in: Atom