Project

General

Profile

Activity

From 19 Sep 2021 to 18 Oct 2021

18 Oct 2021

12:01 Bug #1623: EmacsUI: annoying colours
I suppose we could change the printed form to something like this:... John Abbott
11:58 Bug #1623 (Feedback): EmacsUI: annoying colours
I have now found examples where the EmacsUI can change colours annoyingly: printing out homomorphisms.... John Abbott
11:33 Bug #1622: BuiltinOneLiners -- less precise location in error messages
Here is an example of what I mean:... John Abbott
11:30 Bug #1622: BuiltinOneLiners -- less precise location in error messages
I have set the target version as 5.3.4, but this may be wildly optimistic.
I fear that this request may be rather ha...
John Abbott
11:29 Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages
I have noticed that error messages produced by fns which are defined in *@BuiltinOneLiners@* are less precise than th... John Abbott
11:26 Support #1621: Doc for the various BuiltIn files
I have set 5.3.4 as the target version because I think it would be a good idea to have a first version available soon... John Abbott
11:25 Support #1621 (New): Doc for the various BuiltIn files
We need to produce documentation explaining the difference between the various *@BuiltIn@* files.
When someone wants...
John Abbott
11:23 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
Compare also with *@LinKer@* which returns MAT and *@LinKerBasis@*, returning LIST LIST RINGELEM.
John Abbott
11:08 Bug #928: ciao, exit, quit can be used not only at top level
The problem as describe is still present.
The easy approach is to leave the interpreter as is, and just change the...
John Abbott

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