CoCoA Project

09 Apr 2023

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

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

28 Mar 2023

16:35 CoCoA-5 Feature #1732 (New): EvalPolyAtMat

I have copied my defn of *@EvalPolyAtMat@* into @CoLA.cpkg5@
It needs to be tested and documented (and compared to A... John Abbott

26 Mar 2023

14:56 CoCoALib 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 CoCoALib Bug #1730 (New): ApplySPRCodomain: relax power/exponent check

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

21 Mar 2023

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

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

20 Mar 2023

11:15 CoCoA-5 Design #1728 (In Progress): Refine Poset impl & doc

Review the Poset implementation in light of experience at COCOA 2023.
Refine the manual entries.
Consider porting t... John Abbott

16 Mar 2023

19:49 CoCoALib 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

14 Mar 2023

23:07 CoCoA-5 Feature #1112: New function: IsEmpty

Just out of curiosity I made yet another test:... John Abbott

23:01 CoCoA-5 Feature #1112: New function: IsEmpty

Mmm, so what is the conclusion here?
Originally I had hoped/expected that a simple built-in function would be faster... John Abbott

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

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

22:29 CoCoA-5 Feature #1718: FactorINT with time-out

Do you prefer *@GBasis_TimeOut@* or *@GBasis_Timeout@*?
(and then analogously for *@FactorINT_TimeOut@*)
John Abbott

21:36 CoCoA-5 Feature #1718: FactorINT with time-out

I think I prefer with the underscore... not entirely sure why.
Should I change *@GBasisTimeout@* to *@GBasis_TimeOut... John Abbott

22:11 CoCoA-5 Design #1075 (Feedback): LaTeX package: power-product printing

John Abbott

22:10 CoCoA-5 Design #1075: LaTeX package: power-product printing

I think I now agree with Anna's comment 15.
If there are long indet names then the user will almost surely have to r... John Abbott

22:01 CoCoA-5 Bug #1171 (Closed): RealRoots: first point is sometimes wrong?

I think the revised documentation is helpful here; enough so, that I shall close the issue.
John Abbott

21:57 CoCoA-5 Design #1477 (Closed): Packages: questions from Andraschko

The *@CheckDependencies@* proposal in comment 12 is a tolerable workaround (for the moment).
The issue of document... John Abbott

21:52 CoCoA-5 Feature #1587 (Closed): Multiline string literals (again)

*@fold@* and *@ConcatStrings@* are a reasonable compromise. We'll revisit the topic if a specific use-case comes up.... John Abbott

21:43 CoCoA-5 Design #1698 (Closed): indent: return a string?

I have just revised the manual entry for *@indent@* and *@IndentStr@*.
I think it makes sense for them to share an e... John Abbott

21:32 CoCoALib 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 CoCoALib 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

20:08 CoCoALib 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 CoCoALib Feature #222: Printing polynomials - spaces between terms

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

21:23 CoCoALib 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 CoCoALib Feature #253 (Closed): W.Bruns's wish list

John Abbott

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

John Abbott

19:49 CoCoALib 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 CoCoALib Bug #1233: factor SEGV -- too large characteristic

I have just tried:... John Abbott

13 Mar 2023

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

It is now possible to impose a timeout.
John Abbott

22:02 CoCoALib 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 CoCoALib 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

19:01 CoCoALib 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

18:31 CoCoALib 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

11 Mar 2023

12:29 CoCoALib 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