CoCoA » CoCoALib

09 Apr 2023

10:33 Bug #1733 (Resolved): FactorINT: funny order

I had expected small prime factors to appear in increasing order...... John Abbott

26 Mar 2023

14:56 Design #1721: Verbose messages: print level?

That looks nice! I have increased to two 2 spaces after the close square bracket.
John Abbott

24 Mar 2023

05:34 Bug #1730 (New): ApplySPRCodomain: relax power/exponent check

Near Line 108 in @SparsePolyOps-RingHom.C@... John Abbott

23 Mar 2023

05:44 Bug #1729: Bug HilbertPoly of zero-dimensional ideals

checked in.
@Anna: Test also similar functions. Anna Maria Bigatti

05:40 Bug #1729 (Feedback): Bug HilbertPoly of zero-dimensional ideals

silly mistake, as expected. Fixed
Added check for standard grading (otherwise there is no single HilbertPoly)
Anna Maria Bigatti

05:23 Bug #1729: Bug HilbertPoly of zero-dimensional ideals

code is in @SparsePolyOps-hilbert.C@ Anna Maria Bigatti

05:20 Bug #1729 (Closed): Bug HilbertPoly of zero-dimensional ideals

HilbertPoly works fine in general, but not for zero-dimensional ideals (result should be the polynomial 0)... Anna Maria Bigatti

21 Mar 2023

05:27 Bug #1705: ProgressReporter: prepare for new loop?

I am not so happy with the name *@myPrepareForLoop@*.
Is there a better name? John Abbott

16 Mar 2023

19:49 Feature #1702: Use C++ attributes

Let me clarify. I think we should try to *avoid warnings by rectifying the code.*
If we are sure the code is correc... John Abbott

15 Mar 2023

08:40 Feature #1488 (Closed): BuiltIn Interreduce-Function

Anna Maria Bigatti wrote:
> Anna Maria Bigatti wrote:
> > Reminder for me: write doc for CoCoALib (and check manual... Anna Maria Bigatti

08:06 Design #855 (Closed): Copyright and authorship?

Anna Maria Bigatti

08:03 Design #1721 (Feedback): Verbose messages: print level?

You insipired me: I chose this look because this is how I've always desired the indentation for depth!
Reference: fi... Anna Maria Bigatti

14 Mar 2023

22:51 Design #1721: Verbose messages: print level?

I Tjink I might prefer to info to be inside (square?) brackets:
something like this:... John Abbott

22:04 Design #1721: Verbose messages: print level?

John Abbott wrote:
What about *D depth - L level* _e.g._ @D3-L40@... Anna Maria Bigatti

21:32 Design #1716 (Closed): Qn: factor for BigInt

The current state is reasonable. Some improvements could be made, but I'm not sure it is worth investing time in thi... John Abbott

21:27 Feature #222: Printing polynomials - spaces between terms

Sorry I typed in the example wrongly: there should have been a quotient (now corrected -- see comment 19) John Abbott

21:22 Feature #222: Printing polynomials - spaces between terms

*THIS REPLY BASED ON MY MISTAKE IN COMMENT 19*
On my computer I get... Anna Maria Bigatti

20:08 Feature #222: Printing polynomials - spaces between terms

I am tempted to make the following change (which I hope is not too difficult):
* the coefficient of the PP 1 is prin... John Abbott

20:00 Feature #222: Printing polynomials - spaces between terms

*SOURCE CODE* has moved: now near *@SparsePolyOps-RingElem.C:480@*
John Abbott

21:23 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)

I have done some more. Anna fixed yesterday's bug.
Need a break from this... anyway it does seem to make the code m... John Abbott

20:09 Feature #253 (Closed): W.Bruns's wish list

John Abbott

19:52 Support #256 (Closed): Improve doc about ordering/grading for poly rings

John Abbott

19:49 Feature #664: Impl small non-prime finite fields (using logs)

I'd need a few free days to finish this (and to remember where I'd got to).
Maybe something for the summer holiday?
... John Abbott

19:45 Bug #1233: factor SEGV -- too large characteristic

I have just tried:... John Abbott

13 Mar 2023

22:03 Design #1716: Qn: factor for BigInt

It is now possible to impose a timeout.
John Abbott

22:02 Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho

The current impl is good enough for most purposes.
Some factors may be reducible if PollardRho is used.
Too bad.
C... John Abbott

21:57 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)

This is a mind-numbing task.
Something weird in *@SparsePolyOps-reduce.C@*:
the obvious transformation of the code ... John Abbott

21:50 Bug #1712 (Closed): Windows: New configuration script

Yes, this can be closed and the Qt-Gui already has its own issue: #1713 Nico Mexis

18:31 Bug #1712: Windows: New configuration script

Can we close this issue?
Maybe make a new issue with details about the Qt GUI problem?
John Abbott

19:01 Design #1727 (New): Cruft in ExtLibs-Normaliz.C

@ExtLibs-Nrmaliz.C@ contains quite a lot of commented out code.
Can it be deleted? Or is it an incomplete extension?
John Abbott

12 Mar 2023

18:04 Bug #1662: txt2tags: problem with filenames containing "_" or "-"

About a year ago, I created a PR on their repo (https://github.com/txt2tags/txt2tags/pull/244) targeting the v2 branc... Nico Mexis

11 Mar 2023

12:29 Design #1628: Unused variables, params, data members

Several functions have an unused parameter @CheckForTimeout@.
It would be nice to activate the time-out for these fn... John Abbott