CoCoA

16 Sep 2021

22:03 CoCoALib Design #1608 (Closed): Domain of definition of NextPrime (and PrevPrime)

Not so important: what is the domain of defn of @NextPrime@ and that of @PrevPrime@?
I tried to compute @NextPrime... John Abbott

13:51 CoCoALib Bug #1376 (Closed): GBasisTimeout: not working as expected

John Abbott

13:48 CoCoALib Bug #15 (Closed): Adjoint of a non-invertible matrix

John Abbott

13:47 CoCoALib Slug #897 (Closed): SimplestBigRatBetween: why is it so slow?

John Abbott

13:12 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?

Closing after 11 months in feedback.
John Abbott

13:38 CoCoALib Design #786 (Closed): MemPool: review min and max loaf sizes

John Abbott

13:33 CoCoALib Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())

Added test to @test-exbugs.C@.
Closing.
John Abbott

13:08 CoCoA-5 Bug #1573: ApproxSolve: very imprecise

tested on my Mac, now is gives (takes some time)... Anna Maria Bigatti

13:04 CoCoA-5 Bug #1573: ApproxSolve: very imprecise

My hack favours correctness over speed.
Is there a verbosity level which gives useful info? If so, document it (ri... John Abbott

12:54 CoCoALib Design #1538 (Closed): RingElem from string (ReadExpr)

John Abbott

12:49 CoCoALib Bug #1565 (Closed): IsInRadical: gives "weird" error

Deleted the comment out cruft. There is already a test in @ex-bugs.C@
Closing!
John Abbott

12:40 CoCoA-5 Slug #1270 (Closed): RationalSolve: use MinPolyQuot instead of elim

tested on Mac, ~0.1s Anna Maria Bigatti

12:38 CoCoA-5 Support #1287 (Closed): Better err mesg for easy typo in ring definition

Anna Maria Bigatti

12:36 CoCoA-5 Slug #1506 (Closed): Remove XMLFileName from Main.C

Anna Maria Bigatti

12:32 CoCoALib Bug #1570 (Closed): FloatStr sometimes produces NUL chars

John Abbott

12:29 CoCoALib Feature #1580: New fn prim for polys

Try to implement the idea in comment 4 (above).
John Abbott

12:27 CoCoALib Bug #1590 (Closed): CRASH: LinKerZZ

There seems to be documentation now.
I have just added a new test *@test-MatrixOps1.C@* which tests the input given ... John Abbott

12:15 CoCoALib Bug #1590: CRASH: LinKerZZ

works ok for me.
Anna Maria Bigatti

15 Sep 2021

11:56 CoCoALib Bug #1585: CRASH/ABORT: GMP overflow

I have discussed this with Anna; and had also written to the GMP people some time ago.
Overall conclusion: it is *... John Abbott

14 Sep 2021

12:07 CoCoALib Design #1606: Return type with const

Not yet ready: the awkward cases mentioned in the description are compiled... ooops :-(
We may need to change the ... John Abbott

12:01 CoCoALib Bug #1605 (Closed): binomial: domain of defn?

John Abbott

12:00 CoCoALib Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix

The manual entry for "Intro to RingHom" needs to be updated.
Must also add some good tests, e.g.... John Abbott

11:56 CoCoALib Bug #1473 (Closed): isystem not working as expected

John Abbott

11:53 CoCoA-5 Feature #1599 (Closed): ConcatStr

John Abbott

11:47 CoCoA-5 Slug #1597 (Closed): GetRow/GetRows are extraordinarily slow

John Abbott

11:46 CoCoA-5 Bug #1594 (Closed): Parser bug: missing close square bracket

John Abbott

11:45 CoCoA-5 Feature #1431 (Rejected): Juxtaposition of string literals

Given the example in comment 6 (above), and the fact that *@ConcatStrings@* is now quite fast. We have decided to re... John Abbott

13 Sep 2021

11:56 CoCoALib Design #1576: cmp for machine integers

Here is another approach which could be viewed as being "proper use of C++" (maybe):
* The only *@cmp@* function is ... John Abbott

08 Sep 2021

21:13 CoCoALib Design #1576: cmp for machine integers

It seems there may be some nice solutions in C++20, but it is to early [Sept 2021] to adopt features from C++20:
* t... John Abbott

20:49 CoCoALib Design #1576: cmp for machine integers

I think I may have an ugly solution. The idea is to use yet another template fn:... John Abbott

15:50 CoCoALib Design #1576: cmp for machine integers

Here is a simpler failing example:... John Abbott

01 Sep 2021

14:51 CoCoALib Design #1576: cmp for machine integers

Here is an example program which fails to compile because the call to @cmp@ in @main@ refers to the template rather t... John Abbott

14:28 CoCoALib Design #1576: cmp for machine integers

I think I have now understood what is causing the trouble:
creating a @ConstRefRingElem@ object from a @const RingEl... John Abbott