Project

General

Profile

Activity

From 18 Sep 2021 to 17 Oct 2021

17 Oct 2021

20:49 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 ...
John Abbott

15 Oct 2021

20:12 Bug #1412: Emacs UI: font size
I think the relevant line is 1337 in @cocoa5.el@... too tired to try now.
John Abbott
14:09 Bug #1412: Emacs UI: font size
A quick search produced the following advice:
https://stackoverflow.com/questions/2238418/emacs-lisp-how-to-get-bu...
John Abbott

13 Oct 2021

17:11 Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's
Anna Maria Bigatti

12 Oct 2021

09:33 Slug #709: Speed of some Normaliz calls (NmzComputation)
(2021-10-12) Last time this was checked was 4 years ago! We must check to see if it still a problem!
John Abbott
09:27 Feature #912: Add TUTORIALs to online manual
The situation has improved. Maybe I will get good feedback from the course here in Kassel (2021-10-12).
John Abbott
09:26 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg"
I think this has progressed but nothing was noted here. Increased %done.
John Abbott
09:22 Slug #1581: Slow sqfr: rad(f)
*2021-10-12* this is still a problem.
Presumably the problem comes from computing a multivariate gcd over a finite...
John Abbott
09:12 Bug #1443: Illegal instruction
Esiste ancora questo problema? Non ho piu` sentito niente.
Possiamo semplicement chiudere l'issue?
John Abbott
09:03 Feature #1415: thmproving package
Any progress on this issue in the last year?
John Abbott

05 Oct 2021

20:21 Design #1568: RMap and image: obsolescent?
I have boosted priority to "high" because I would like this to be completed soon!
John Abbott

04 Oct 2021

12:13 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...
John Abbott
12:11 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 ... John Abbott
11:57 Design #1615 (Rejected): apply: remove for RingHom
*THIS IS REALLT A DUPLICATE OF #1598. SO REJECTING!*
John Abbott
11:16 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...
John Abbott

02 Oct 2021

10:25 Bug #1614: SourceRegion gives misleading error mesg
The relevant source code is around line 4170 in @Interpreter.C@
inside the function @void SourceRegionStatement::imp...
John Abbott
10:23 Bug #1614 (Closed): SourceRegion gives misleading error mesg
Here is the simplified failing example from issue #1613:... John Abbott

01 Oct 2021

13:53 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...
John Abbott
12:35 Bug #1613: CRASH with RingHom from FrF
Probable source code:
@RINGHOM::eval@ around line 2792 in @Interpreter.C@
Probably called from: @intrusive_ptr<Va...
John Abbott
12:19 Bug #1613 (In Progress): CRASH with RingHom from FrF
Simpler failing example:... John Abbott

30 Sep 2021

22:42 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, ...
John Abbott
22:35 Bug #1613 (Closed): CRASH with RingHom from FrF
The following causes a crash: why was the exception not caught and handled?... John Abbott

28 Sep 2021

17:48 Bug #1610 (Feedback): IsInRadical: some more little bugs
fixed. I didn't encounter other new bugs.
Updated test-exbugs
Anna Maria Bigatti
16:48 Bug #1610: IsInRadical: some more little bugs
This seems to be the problem... Anna Maria Bigatti

27 Sep 2021

09:57 Bug #1610: IsInRadical: some more little bugs
Error for... Anna Maria Bigatti
09:55 Bug #1610: IsInRadical: some more little bugs
Error if *GradingDim* is 0 (lex, elim, ...) for call to *IsHomog*. Now fixed. Anna Maria Bigatti
09:52 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.
Anna Maria Bigatti

24 Sep 2021

22:37 Feature #1536 (Closed): Implement xel?
John Abbott
22:35 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@...
John Abbott
22:32 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...
John Abbott
22:29 Bug #1574: ApproxSolveTF
Probably @ApproxSolveTF@ should have an accuracy-check-loop the same was as was done for @ApproxSolve@:
the heuristi...
John Abbott
22:26 Bug #1573 (Closed): ApproxSolve: very imprecise
@ApproxSolveTF@ was surprisingly fast on the example given in the description (about 9s, vs 64s using @ApproxSolve@).... John Abbott
20:34 Bug #1573: ApproxSolve: very imprecise
I have just updated the manual entry for @ApproxSolv@.
I wonder what @ApproxSolveTF@ does... mmm???
John Abbott
22:21 Slug #1392 (Closed): ApproxSolve: another slow example
John Abbott
22:18 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...
John Abbott
22:16 Bug #1531 (Closed): CRASH: arithmetic with HilbertSeries (tagged object)
There is already a test in *@exbugs.cocoa5@*
Closing after 11 months in feedback.
John Abbott
21:58 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...
John Abbott
21:50 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...
John Abbott
21:47 Feature #1293: Vim Plugin for CoCoA
Same comment as above (11 months ago). We should mention it to the participants at the minicourse. John Abbott
21:43 Design #1540 (Closed): Double power
John Abbott
 

Also available in: Atom