CoCoA » CoCoALib

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

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