Activity
From 18 Sep 2021 to 17 Oct 2021
17 Oct 2021
-
20:49 CoCoA-5 Bug #1412 (Feedback): Emacs UI: font size
- I have just checked in a modified version of cocoa5.el.
I have replaced line 1337 by an *@if@* which sets the major ...
15 Oct 2021
-
- I think the relevant line is 1337 in @cocoa5.el@... too tired to try now.
-
- A quick search produced the following advice:
https://stackoverflow.com/questions/2238418/emacs-lisp-how-to-get-bu... -
14:24 CoCoALib Bug #1620 (New): MinPolyQuot not documented
- MinPolyQuot is available in CoCoALib but is not documented.
-
- It seems like this is already implemented. There is a function mySaturate in _AlgebraicCore/SparsePolyOps-ideal.C_.
...
14 Oct 2021
-
- Mmm, should it be an error to call @UnivariateIndetIndex@ if the polyring has just 1 indet?
After all, the answer i... -
- I think that *@ex-RingElem2@* needs to be updated/tidied.
For instance, there is no need to pass the ring to the f...
13 Oct 2021
-
- What about the case of a constant poly in a polyring with just 1 indet?
Error or not? (assuming we opt for an error... -
- What are the exact semantics of *@UnivariateIndetIndex@*?
In particular what should the function return if passed ... -
17:11 CoCoA-5 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
12 Oct 2021
-
- (2021-10-12) Last time this was checked was 4 years ago! We must check to see if it still a problem!
-
- The situation has improved. Maybe I will get good feedback from the course here in Kassel (2021-10-12).
-
- I think this has progressed but nothing was noted here. Increased %done.
-
- *2021-10-12* this is still a problem.
Presumably the problem comes from computing a multivariate gcd over a finite... -
- Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue? -
- Any progress on this issue in the last year?
05 Oct 2021
-
- I have boosted priority to "high" because I would like this to be completed soon!
04 Oct 2021
-
- Similar to issue #1614, I have "hacked" the interpreter, and the examples seem to work now.
But I am not confident t... -
- I have rather blindly changed the interpreter. The code now seems to work as hoped (but I am not too confident that ...
-
- This particular problem has been resolved (by eliminating the *@apply@* fn from CoCoALib).
In this case the removal ... -
- We should move towards making *@apply@* obsolescent in CoCoA-5 now that RINGHOM can be applied directly to LIST and M...
-
- I am not sure whether the following behaviour is what is wanted:...
-
- *THIS IS REALLT A DUPLICATE OF #1598. SO REJECTING!*
-
- As done for CoCoALib, permit RINGHOMs to be applied directly to LIST and MAT.
Then eliminate @apply@ (or make it obs... -
- In the end my hand was forced.
Some future version of C++ (maybe C++17?) defines a template fn *@apply@* which match... -
- checked in (4 Oct 21)
02 Oct 2021
-
- The relevant source code is around line 4170 in @Interpreter.C@
inside the function @void SourceRegionStatement::imp... -
- Here is the simplified failing example from issue #1613:...
01 Oct 2021
-
- According to gdb the fn is called (indrectly) from @Interpreter.C:3032@ in @Interpreter::run@
I think the problem m... -
- Probable source code:
@RINGHOM::eval@ around line 2792 in @Interpreter.C@
Probably called from: @intrusive_ptr<Va... -
- Simpler failing example:...
30 Sep 2021
-
- Actually a separate bug: @CommonDenom(a*x^2-1/a)@ gives 1 rather than @a@... Ooops!
*NOTE* the code looks fine, ... -
- The following causes a crash: why was the exception not caught and handled?...
-
- Do we want to handle structured matrices like sparse matrices? _e.g._ Toeplitz matrices are specified by just a few ...
-
- Merge the doc file *@RadicalMembership.txt@* into *@ideal.txt@*?
Note that the doc refers to @ex-RadicalMembership... -
- The CoCoALib doc for @PrimaryDecomposition@ needs to be improved.
I have just added a description of the data type i...
28 Sep 2021
-
- fixed. I didn't encounter other new bugs.
Updated test-exbugs -
- This seems to be the problem...
27 Sep 2021
-
- Error for...
-
- Error if *GradingDim* is 0 (lex, elim, ...) for call to *IsHomog*. Now fixed.
-
- I met some more bugs for extreme cases.
Usually, after isolating them, the solution is trivial.
List below.
24 Sep 2021
-
-
- Closing this issue because there is no clear indication of what to test.
I suspect the new design of @RationalSolve@... -
- I have not seen the problem of unexpected colours for some time.
Reading through the notes suggests that Emacs's way... -
- Probably @ApproxSolveTF@ should have an accuracy-check-loop the same was as was done for @ApproxSolve@:
the heuristi... -
- @ApproxSolveTF@ was surprisingly fast on the example given in the description (about 9s, vs 64s using @ApproxSolve@)....
-
- I have just updated the manual entry for @ApproxSolv@.
I wonder what @ApproxSolveTF@ does... mmm??? -
-
- With luck the current instructions will be well tested over the next couple of weeks.
I hope we can close this issue... -
- There is already a test in *@exbugs.cocoa5@*
Closing after 11 months in feedback. -
- CoCoALib and CoCoA-5 do often monitor for ctrl-C. Inside CoCoA-5 the situation seems to be reasonably good.
The d... -
- This has been in feedback for 7 months.
I think we mention in the release notes that it is a backward INcompatible c... -
- Same comment as above (11 months ago). We should mention it to the participants at the minicourse.
-
22 Sep 2021
-
- 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
-
- 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
-
- I have worked around the @FloatStr@ problem (actually in @FloorLogBase@) mentioned in comment 4 above.
I just call t... -
- I have put a new constant called *@OVERFLOW_BITS@* in *@config.H@*, and modified the impls so that they use this cons...
-
- Florian succeeded in installing g++-10 on his computer; and he reports that CoCoALib compiled just fine (except a kno...
-
- I have removed the commented-out code (and another function which existed only for that code).
It all compiles, and ... -
- The file @time.C@ contains some hackery to work on Microsoft (or other non-unix-like) platforms.
Can we clean this... -
- No problems have been reported in 7 months. So closing.
Maybe the imminent CoCoA school will find some "interesting... -
- I have spoken to Anna who agrees to change the behaviour:
* both fns throw @BadArg@ (or similar) if given (strictly)... -
- I am now inclined to allow 0 as arg to @NextPrime@; perhaps this is related to my preference to consider 0 as a "natu...
Also available in: Atom