Activity
From 24 Dec 2023 to 22 Jan 2024
22 Jan 2024
- 20:28 Feature #539: Functions to clean up a factorization
- Do you have a good use-case for this?
So far I have not needed such a function. Anyway priority is _low_.
- 20:24 Feature #1349 (In Progress): ideal ctor where given gens are a gbasis
- What is the status of this issue?
The previous comment suggests that it should be _feedback_ or _closed_. Is there ... - 20:14 Design #1753 (Feedback): Clean up EulerTotient, InvTotient jungle in NumTheory-misc
- I have cleaned the code:
* removed the InvTotient iterator which is superseded by the new code (which is fast enough... - 19:41 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Which ideal operations could benefit from @CleanGens@?
Sum, product, maybe colon. Radical?
It might make sense t... - 19:39 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Here is an outline heuristic for cleaning the generators:
* remove zeroes
* collect all monomial gens, compute GBas... - 10:58 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Anna: recover ideas, read it all, decide, implement, and close!
- 11:01 Feature #1763: implement ideal(R) for zero ideal, with no generators?
- Anna: read it all, decide, implement, close!
- 10:53 Design #908: Sum of ideals: what are the generators of (x) + (0)?
- Neither the manual for CoCoALib nor for CoCoA-5 mention that the generators are the mere concatenation, so we are all...
- 10:47 Design #908: Sum of ideals: what are the generators of (x) + (0)?
- Anna has just confirmed that the documentation *does not guarantee* that @gens(I+J) = concat(...)@. This is good!
- 10:44 Design #908: Sum of ideals: what are the generators of (x) + (0)?
- Status on 2024-01-22...
- 10:36 Design #1768 (Closed): Limit indentation in verbose mesgs?
- 10:28 Support #1761 (Feedback): MakeTermOrdMat: improve error mesg
21 Jan 2024
- 20:33 Slug #1569 (In Progress): IsInRadical too slow (test-RadicalMembership)
- The "stupid approach" gets the answer in 10s (on my Linux laptop)....
- 20:21 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- What is the status of this issue?
Is it now resolved if one uses the updated @txt2tags@ which Nico mentioned? Which... - 20:16 Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong
- I have added a new error mesg for the case that the first extra char is open-bracket or letter or digit.
The err mes... - 20:01 Design #64: submat takes only vector<long>
- In comment 8 Anna says that practically all uses could be replaced by *@FirstRows(M,n)@*, so it makes a lot of sense ...
- 19:46 Bug #1361: Compilation fails when compiling with libgsl
- Hi Florian. Does compilation still fail with version 0.99818 (from website)? Thanks!
13 Jan 2024
- 22:27 Slug #1756: deg(f) is slow if f is long
- I have re-run the example from comment 2: it now takes 0.001s.
I'm undecided about the extra generality handling t... - 22:20 Design #1768: Limit indentation in verbose mesgs?
- Can we close this?
*Anna* do you agree? - 22:16 Slug #1739: IsHomog for ideals
- This should be easy to implement, right?
I was wondering how often one would want to know whether an ideal is homog ...
12 Jan 2024
- 11:45 Support #1775: CoCoALib releases on redmine
- (Just keep updating the description)
- 11:29 Support #1775 (New): CoCoALib releases on redmine
- Links to the list of issues dealt with in each release:
*CoCoALib: C++ library*
- (2024) *CoCoALib-0.998??* h...
04 Jan 2024
- 10:23 Feature #1763: implement ideal(R) for zero ideal, with no generators?
- I still think that @ideal(P)@ looks odd, and is less immediate to understand than @ideal(P,EmptyListOfRingElem)@.
Or... - 10:18 Design #1767: Finalize design for ideals in CoCoALib
- Also for _exception cleanliness_, an operation such as @I += J@ would almost certainly have to compute a temporary id...
- 09:49 Design #908: Sum of ideals: what are the generators of (x) + (0)?
- Currently I think we *should not* require that @gens(I+J) = concat(gens(I),gens(J))@. Other ideal operations do not ...
Also available in: Atom