CoCoA » CoCoALib

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

14 Sep 2021

12:07 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 Bug #1605 (Closed): binomial: domain of defn?

John Abbott

12:00 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 Bug #1473 (Closed): isystem not working as expected

John Abbott

13 Sep 2021

11:56 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 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 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 Design #1576: cmp for machine integers

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

01 Sep 2021

14:51 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 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