CoCoA » CoCoALib

14 Oct 2021

15:50 Design #1617: UnivariateIndetIndex: exact semantics

Mmm, should it be an error to call @UnivariateIndetIndex@ if the polyring has just 1 indet?
After all, the answer i... John Abbott

15:48 Support #1618 (Closed): Tidy ex-RingElem2

I think that *@ex-RingElem2@* needs to be updated/tidied.
For instance, there is no need to pass the ring to the f... John Abbott

13 Oct 2021

20:34 Design #1617: UnivariateIndetIndex: exact semantics

What about the case of a constant poly in a polyring with just 1 indet?
Error or not? (assuming we opt for an error... John Abbott

20:14 Design #1617 (Closed): UnivariateIndetIndex: exact semantics

What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ... John Abbott

04 Oct 2021

12:08 Bug #1601: Compilation ambiguity

This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... John Abbott

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

We should move towards making *@apply@* obsolescent in CoCoA-5 now that RINGHOM can be applied directly to LIST and M... John Abbott

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

I am not sure whether the following behaviour is what is wanted:... John Abbott

11:50 Design #1467: Change syntax apply(phi,M) into phi(M)?

In the end my hand was forced.
Some future version of C++ (maybe C++17?) defines a template fn *@apply@* which match... John Abbott

09:50 Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring

checked in (4 Oct 21) Anna Maria Bigatti

30 Sep 2021

14:13 Feature #1602: Sparse matrix (SparseMat)

Do we want to handle structured matrices like sparse matrices? _e.g._ Toeplitz matrices are specified by just a few ... John Abbott

10:45 Support #1612 (Closed): Merge the doc file RadicalMembership.txt into ideal.txt

Merge the doc file *@RadicalMembership.txt@* into *@ideal.txt@*?
Note that the doc refers to @ex-RadicalMembership... John Abbott

10:23 Support #1611 (New): Documentation for PrimaryDecomposition

The CoCoALib doc for @PrimaryDecomposition@ needs to be improved.
I have just added a description of the data type i... John Abbott

22 Sep 2021

17:45 Bug #1585 (Closed): CRASH/ABORT: GMP overflow

As observed in comment 11, it would be very hard to try to prevent overflow in all cases.
It thus seems reasonable t... John Abbott

21 Sep 2021

11:31 Bug #1601: Compilation ambiguity

I think I know understand what happens: g++ v.11 has as default C++ version something newer than C++14.
My script @c... John Abbott

20 Sep 2021

21:33 Bug #1585: CRASH/ABORT: GMP overflow

I have worked around the @FloatStr@ problem (actually in @FloorLogBase@) mentioned in comment 4 above.
I just call t... John Abbott

20:52 Bug #1585: CRASH/ABORT: GMP overflow

I have put a new constant called *@OVERFLOW_BITS@* in *@config.H@*, and modified the impls so that they use this cons... John Abbott

16:49 Bug #1601: Compilation ambiguity

Florian succeeded in installing g++-10 on his computer; and he reports that CoCoALib compiled just fine (except a kno... John Abbott

16:17 Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)

I have removed the commented-out code (and another function which existed only for that code).
It all compiles, and ... John Abbott

16:09 Support #1609 (New): Clean time.C

The file @time.C@ contains some hackery to work on Microsoft (or other non-unix-like) platforms.
Can we clean this... John Abbott

15:41 Design #1558 (Closed): CpuTimeLimit: more frequent clock checks

No problems have been reported in 7 months. So closing.
Maybe the imminent CoCoA school will find some "interesting... John Abbott

14:08 Design #1608 (Feedback): Domain of definition of NextPrime (and PrevPrime)

I have spoken to Anna who agrees to change the behaviour:
* both fns throw @BadArg@ (or similar) if given (strictly)... John Abbott

13:24 Design #1608 (In Progress): Domain of definition of NextPrime (and PrevPrime)

I am now inclined to allow 0 as arg to @NextPrime@; perhaps this is related to my preference to consider 0 as a "natu... John Abbott

16 Sep 2021

22:03 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 Bug #1376 (Closed): GBasisTimeout: not working as expected

John Abbott

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

John Abbott

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

John Abbott

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

Closing after 11 months in feedback.
John Abbott

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

John Abbott

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

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

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

John Abbott

12:49 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:32 Bug #1570 (Closed): FloatStr sometimes produces NUL chars

John Abbott

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

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

12:27 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 Bug #1590: CRASH: LinKerZZ

works ok for me.
Anna Maria Bigatti

15 Sep 2021

11:56 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