CoCoA

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

27 Mar 2023

19:45 CoCoA-5 Feature #1731: Verbosity level in CoCoA5

I made a test in the package @monomial_ideals@.... Anna Maria Bigatti

19:41 CoCoA-5 Feature #1731 (In Progress): Verbosity level in CoCoA5

We should provide a mechanism to mimick verbosity in CoCoA-5, so that it looks similar to that in CoCoALib Anna Maria Bigatti

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

23 Mar 2023

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

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

05:40 CoCoALib 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 CoCoALib Bug #1729: Bug HilbertPoly of zero-dimensional ideals

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

05:20 CoCoALib 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 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?

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

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

We have used (probably I had pushed this choice]... Anna Maria Bigatti

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

15 Mar 2023

08:40 CoCoALib 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 CoCoALib Design #855 (Closed): Copyright and authorship?

Anna Maria Bigatti

08:03 CoCoALib 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

07:30 CoCoA-5 Design #1698: indent: return a string?

fixed syntax IndentStr (rtn string) and modified example, also for level 2.
cvs-ed Anna Maria Bigatti

06:56 CoCoA-5 Feature #1112 (Feedback): New function: IsEmpty

In conclusion:
there is no advantage in @IsEmpty(L)@ compared to @L = []@.
And there is no advantage in removing @... Anna Maria Bigatti

06:45 CoCoA-5 Feature #1112: New function: IsEmpty

And also:... Anna Maria Bigatti

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:04 CoCoALib Design #1721: Verbose messages: print level?

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

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:58 CoCoA-5 Feature #1718: FactorINT with time-out

John Abbott wrote:
> I think I prefer with the underscore... not entirely sure why.
> Should I change *@GBasisTimeo... Anna Maria Bigatti

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

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

14:59 CoCoA-5 Design #635 (Closed): Automatic mapping of RingElem (in operation with a compound value)

Added ".. promotion mapping .." (3 lines) and checked in.
Closing.
Anna Maria Bigatti

14:51 CoCoA-5 Design #635: Automatic mapping of RingElem (in operation with a compound value)

I added the manual search key "promotion mapping" to CanonicalHom and to matrix Anna Maria Bigatti

14:46 CoCoA-5 Design #635: Automatic mapping of RingElem (in operation with a compound value)

John Abbott wrote:
> I have changed the err mesg to be more comprehensible: "automatic" instead of "auto".
what a... Anna Maria Bigatti

11:56 CoCoA-5 Bug #1539 (Closed): Website: installation instructions for Microsoft

Seems mainly reasonable. My students, those who read the instructions, managed to install it. Anna Maria Bigatti

11:53 CoCoA-5 Feature #1724 (Closed): New function: AdjacentMinors

Anna Maria Bigatti

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

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

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:41 CoCoA-5 Feature #1724 (Feedback): New function: AdjacentMinors

Documentation done... Anna Maria Bigatti

12 Mar 2023

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