CoCoA » CoCoALib

31 Jan 2024

22:26 Feature #1197: IsZeroDet: new fn

There is some non-trivial code in *@MatrixOps-IsZeroDet.C@* developed from a project in Passau... John Abbott

22:16 Design #1750: IdealOfPoints: allow duplicate points?

Should we implement this? Or postpone it? Or reject it?
What is most natural?
Is it really a mistake to ask for... John Abbott

22:14 Slug #1739 (In Progress): IsHomog for ideals

I say impl the suggestion in the main description: it should be very little code, and may make some computations fast... John Abbott

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

Yes, it would be possible to implement this, and perhaps not even too hard. *But why?*
When would it be useful? Is ... John Abbott

22:02 Support #1665: Compilation on Windows: problems for normaliz

Is this still a problem? Maybe we can ask Nico?
John Abbott

25 Jan 2024

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

*SUMMARY*
Offering proper thread-safety is likely trickier than I had hoped, and probably decidedly more costly at r... John Abbott

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

Anna reported compilation warnings with @clang@:
@std::mutex@ cannot be copied or moved, so attempting to have defau... John Abbott

16:26 Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong

Still to do: check other cases.
I modified only @ReadExpr(string)@ and @ReadAtom@ (for symbol).
I prefer to documen... Anna Maria Bigatti

16:21 Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong

I think I improved these error messages (hard to spot in string otherwise):... Anna Maria Bigatti

10:12 Bug #1579: Readexpr/RingElem: unhelpful error message when input is wrong

Here is another test case: @RingElem(R, "y(x)")@
Looks like a function call...
John Abbott

23 Jan 2024

22:14 Feature #1715: ProductBigInt (also ProductBigRat???)

If I recall well, a first attempt was disappointing.
One may have to be clever if many factors are small integers.
John Abbott

22:13 Feature #947: IsRadical for ideal?

I think my idea might not work in general.
Let @I := ideal(x+y^2)@ then @I@ *is* radical. But if I add an extra ge... John Abbott

09:27 Design #1777: VerificationLevel: just 3? Low, high, guaranteed?

I discussed withe the OSCAR people about putting something similar into Oscar. There it seemed simpler/clearer to of... John Abbott

09:25 Design #1777 (New): VerificationLevel: just 3? Low, high, guaranteed?

Should there be just 3 @VerificationLevel@ values?
* *@low@* fast but greater chance of wrong answer
* *@high@* sl... John Abbott

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

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

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

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

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

10:58 Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

Anna: recover ideas, read it all, decide, implement, and close! Anna Maria Bigatti

11:01 Feature #1763: implement ideal(R) for zero ideal, with no generators?

Anna: read it all, decide, implement, close! Anna Maria Bigatti

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... Anna Maria Bigatti

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

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

Status on 2024-01-22... John Abbott

10:36 Design #1768 (Closed): Limit indentation in verbose mesgs?

John Abbott

10:28 Support #1761 (Feedback): MakeTermOrdMat: improve error mesg

Anna Maria Bigatti

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