Activity
From 10 Sep 2021 to 09 Oct 2021
05 Oct 2021
-
20:21 CoCoA-5 Design #1568: RMap and image: obsolescent?
- I have boosted priority to "high" because I would like this to be completed soon!
04 Oct 2021
-
12:13 CoCoA-5 Bug #1613 (Resolved): CRASH with RingHom from FrF
- Similar to issue #1614, I have "hacked" the interpreter, and the examples seem to work now.
But I am not confident t... -
12:11 CoCoA-5 Bug #1614 (Resolved): SourceRegion gives misleading error mesg
- I have rather blindly changed the interpreter. The code now seems to work as hoped (but I am not too confident that ...
-
12:08 CoCoALib Bug #1601: Compilation ambiguity
- This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... -
12:03 CoCoALib 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...
-
12:00 CoCoALib 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:...
-
11:57 CoCoA-5 Design #1615 (Rejected): apply: remove for RingHom
- *THIS IS REALLT A DUPLICATE OF #1598. SO REJECTING!*
-
11:16 CoCoA-5 Design #1615 (Rejected): apply: remove for RingHom
- As done for CoCoALib, permit RINGHOMs to be applied directly to LIST and MAT.
Then eliminate @apply@ (or make it obs... -
11:50 CoCoALib 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... -
09:50 CoCoALib Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
- checked in (4 Oct 21)
02 Oct 2021
-
10:25 CoCoA-5 Bug #1614: SourceRegion gives misleading error mesg
- The relevant source code is around line 4170 in @Interpreter.C@
inside the function @void SourceRegionStatement::imp... -
10:23 CoCoA-5 Bug #1614 (Closed): SourceRegion gives misleading error mesg
- Here is the simplified failing example from issue #1613:...
01 Oct 2021
-
13:53 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
- According to gdb the fn is called (indrectly) from @Interpreter.C:3032@ in @Interpreter::run@
I think the problem m... -
12:35 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
- Probable source code:
@RINGHOM::eval@ around line 2792 in @Interpreter.C@
Probably called from: @intrusive_ptr<Va... -
12:19 CoCoA-5 Bug #1613 (In Progress): CRASH with RingHom from FrF
- Simpler failing example:...
30 Sep 2021
-
22:42 CoCoA-5 Bug #1613: CRASH with RingHom from FrF
- Actually a separate bug: @CommonDenom(a*x^2-1/a)@ gives 1 rather than @a@... Ooops!
*NOTE* the code looks fine, ... -
22:35 CoCoA-5 Bug #1613 (Closed): CRASH with RingHom from FrF
- The following causes a crash: why was the exception not caught and handled?...
-
14:13 CoCoALib 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 ...
-
10:45 CoCoALib 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... -
10:23 CoCoALib 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...
28 Sep 2021
-
17:48 CoCoA-5 Bug #1610 (Feedback): IsInRadical: some more little bugs
- fixed. I didn't encounter other new bugs.
Updated test-exbugs -
16:48 CoCoA-5 Bug #1610: IsInRadical: some more little bugs
- This seems to be the problem...
27 Sep 2021
-
09:57 CoCoA-5 Bug #1610: IsInRadical: some more little bugs
- Error for...
-
09:55 CoCoA-5 Bug #1610: IsInRadical: some more little bugs
- Error if *GradingDim* is 0 (lex, elim, ...) for call to *IsHomog*. Now fixed.
-
09:52 CoCoA-5 Bug #1610 (Closed): IsInRadical: some more little bugs
- I met some more bugs for extreme cases.
Usually, after isolating them, the solution is trivial.
List below.
24 Sep 2021
-
22:37 CoCoA-5 Feature #1536 (Closed): Implement xel?
-
22:35 CoCoA-5 Bug #1215 (Closed): RationalSolve: gives "Error: must be non-zero"
- Closing this issue because there is no clear indication of what to test.
I suspect the new design of @RationalSolve@... -
22:32 CoCoA-5 Bug #1537 (Closed): EmacUI: strange colours, sometimes
- I have not seen the problem of unexpected colours for some time.
Reading through the notes suggests that Emacs's way... -
22:29 CoCoA-5 Bug #1574: ApproxSolveTF
- Probably @ApproxSolveTF@ should have an accuracy-check-loop the same was as was done for @ApproxSolve@:
the heuristi... -
22:26 CoCoA-5 Bug #1573 (Closed): ApproxSolve: very imprecise
- @ApproxSolveTF@ was surprisingly fast on the example given in the description (about 9s, vs 64s using @ApproxSolve@)....
-
20:34 CoCoA-5 Bug #1573: ApproxSolve: very imprecise
- I have just updated the manual entry for @ApproxSolv@.
I wonder what @ApproxSolveTF@ does... mmm??? -
22:21 CoCoA-5 Slug #1392 (Closed): ApproxSolve: another slow example
-
22:18 CoCoA-5 Bug #1539: Website: installation instructions for Microsoft
- With luck the current instructions will be well tested over the next couple of weeks.
I hope we can close this issue... -
22:16 CoCoA-5 Bug #1531 (Closed): CRASH: arithmetic with HilbertSeries (tagged object)
- There is already a test in *@exbugs.cocoa5@*
Closing after 11 months in feedback. -
21:58 CoCoA-5 Bug #713 (Closed): External libs: interrupting not easy
- CoCoALib and CoCoA-5 do often monitor for ctrl-C. Inside CoCoA-5 the situation seems to be reasonably good.
The d... -
21:50 CoCoA-5 Bug #1216 (Closed): RationalSolve: gives wrong answer
- This has been in feedback for 7 months.
I think we mention in the release notes that it is a backward INcompatible c... -
21:47 CoCoA-5 Feature #1293: Vim Plugin for CoCoA
- Same comment as above (11 months ago). We should mention it to the participants at the minicourse.
-
21:43 CoCoA-5 Design #1540 (Closed): Double power
22 Sep 2021
-
17:45 CoCoALib 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...
21 Sep 2021
-
11:31 CoCoALib 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...
20 Sep 2021
-
21:33 CoCoALib 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... -
20:52 CoCoALib 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...
-
16:49 CoCoALib Bug #1601: Compilation ambiguity
- Florian succeeded in installing g++-10 on his computer; and he reports that CoCoALib compiled just fine (except a kno...
-
16:17 CoCoALib 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 ... -
16:09 CoCoALib 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... -
15:41 CoCoALib 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... -
14:08 CoCoALib 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)... -
13:24 CoCoALib 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...
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 ...
Also available in: Atom