CoCoA » CoCoALib

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).... John Abbott

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... John Abbott

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... John Abbott

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 ... John Abbott

19:46 Bug #1361: Compilation fails when compiling with libgsl

Hi Florian. Does compilation still fail with version 0.99818 (from website)? Thanks! John Abbott

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... John Abbott

22:20 Design #1768: Limit indentation in verbose mesgs?

Can we close this?
*Anna* do you agree? John Abbott

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 ... John Abbott

12 Jan 2024

11:45 Support #1775: CoCoALib releases on redmine

(Just keep updating the description) Anna Maria Bigatti

11:29 Support #1775 (New): CoCoALib releases on redmine

Links to the list of issues dealt with in each release:
*CoCoALib: C++ library*
- (202?) *CoCoALib-0.99850* h... Anna Maria Bigatti

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... John Abbott

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... John Abbott

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 ... John Abbott