CoCoA » CoCoA-5

12 Apr 2023

22:05 Feature #1731: Verbosity level in CoCoA5

Not sure if it is really a good idea....
I remind you that it is possible to have global variables in packages. May... John Abbott

14:50 Feature #1731 (In Progress): Verbosity level in CoCoA5

New approach: easier to use, more similar to CoCoALib and sofisticated use of CoCoA-5 anonymous functions (@func@) ;-... Anna Maria Bigatti

14:44 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5

Found, discussed with Elisa Palezzato & Michele Torielli, fixed.
Anna Maria Bigatti

14:42 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5

In the tutorial we actually want to compare ArrPoincarePoly with the HVector (or numerator of the simplified HilberSe... Anna Maria Bigatti

28 Mar 2023

16:35 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 Feature #1731: Verbosity level in CoCoA5

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

19:41 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

21 Mar 2023

03:33 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 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

15 Mar 2023

07:30 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 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 Feature #1112: New function: IsEmpty

And also:... Anna Maria Bigatti

14 Mar 2023

23:07 Feature #1112: New function: IsEmpty

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

23:01 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:29 Feature #1718: FactorINT with time-out

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

21:58 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 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 Design #1075 (Feedback): LaTeX package: power-product printing

John Abbott

22:10 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 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 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 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 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

14:59 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 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 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 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 Feature #1724 (Closed): New function: AdjacentMinors

Anna Maria Bigatti