Activity
From 19 Aug 2021 to 17 Sep 2021
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... - 13:51 CoCoALib Bug #1376 (Closed): GBasisTimeout: not working as expected
- 13:48 CoCoALib Bug #15 (Closed): Adjoint of a non-invertible matrix
- 13:47 CoCoALib Slug #897 (Closed): SimplestBigRatBetween: why is it so slow?
- 13:12 CoCoALib Slug #897: SimplestBigRatBetween: why is it so slow?
- Closing after 11 months in feedback.
- 13:38 CoCoALib Design #786 (Closed): MemPool: review min and max loaf sizes
- 13:33 CoCoALib Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())
- Added test to @test-exbugs.C@.
Closing.
- 13:08 CoCoA-5 Bug #1573: ApproxSolve: very imprecise
- tested on my Mac, now is gives (takes some time)...
- 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... - 12:54 CoCoALib Design #1538 (Closed): RingElem from string (ReadExpr)
- 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!
- 12:40 CoCoA-5 Slug #1270 (Closed): RationalSolve: use MinPolyQuot instead of elim
- tested on Mac, ~0.1s
- 12:38 CoCoA-5 Support #1287 (Closed): Better err mesg for easy typo in ring definition
- 12:36 CoCoA-5 Slug #1506 (Closed): Remove XMLFileName from Main.C
- 12:32 CoCoALib Bug #1570 (Closed): FloatStr sometimes produces NUL chars
- 12:29 CoCoALib Feature #1580: New fn prim for polys
- Try to implement the idea in comment 4 (above).
- 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 ... - 12:15 CoCoALib Bug #1590: CRASH: LinKerZZ
- works ok for me.
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 *...
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 ... - 12:01 CoCoALib Bug #1605 (Closed): binomial: domain of defn?
- 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.... - 11:56 CoCoALib Bug #1473 (Closed): isystem not working as expected
- 11:53 CoCoA-5 Feature #1599 (Closed): ConcatStr
- 11:47 CoCoA-5 Slug #1597 (Closed): GetRow/GetRows are extraordinarily slow
- 11:46 CoCoA-5 Bug #1594 (Closed): Parser bug: missing close square bracket
- 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...
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 ...
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... - 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:...
- 15:50 CoCoALib Design #1576: cmp for machine integers
- Here is a simpler failing example:...
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...
- 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...
Also available in: Atom