Activity

Anna Maria Bigatti's activity

From 22 Sep 2020 to 21 Oct 2020

18:05 CoCoA-5 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?: Now I'd have a slight preference in keeping the current name (it is convenient as it emphasise the "HilbertBasis" str... Anna Maria Bigatti

14:43 CoCoA-5 Feature #674 (Rejected): Ring constructor: allow empty range for indices?: Anna Maria Bigatti
14:12 CoCoA-5 Feature #1509: RingElems with empty input: we want ... Anna Maria Bigatti
14:06 CoCoA-5 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p": Anna Maria Bigatti
12:31 CoCoA-5 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign): John Abbott wrote:
> I have added some tests to a new file called @test-package.cocoa5@.
> Not yet checked in: awai... Anna Maria Bigatti
12:11 CoCoA-5 Bug #1412: Emacs UI: font size: John Abbott wrote:
> I have made some improvement. Now "send region" should keep the font magnification.
I confi... Anna Maria Bigatti

15:48 CoCoA-5 Feature #1479 (In Progress): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?: Decision: distrubution with two executables.
John does the cocoa-5 script
Anna does the release script (and the rel... Anna Maria Bigatti
14:17 CoCoA-5 Support #1450 (Closed): Release CoCoA-5.3.2: Anna Maria Bigatti
14:16 CoCoALib Support #1452 (Closed): Release CoCoALib-0.99710: Anna Maria Bigatti
14:12 CoCoALib Feature #1395 (Closed): SHA checksum for released code: Anna Maria Bigatti
13:27 CoCoALib Support #1499: factorization: allow zero as exponent?: John Abbott wrote:
> My current feeling is that I should simply change the error mesg, and leave the rest as is: nam... Anna Maria Bigatti
11:01 CoCoA-5 Bug #1505 (Feedback): EmacsUI: fix "Go to Error C-c C-p": I resorted the lines and now gives the message in the bottom line.
Works fine on emacs 26 and 24. I expect it works... Anna Maria Bigatti
10:33 CoCoA-5 Bug #1505: EmacsUI: fix "Go to Error C-c C-p": @string-to-number@ should be used instead.
But there are a few more things not working as before: the error text in ... Anna Maria Bigatti
10:32 CoCoA-5 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p": @string-to-int@ has been an obsolete function since Emacs 22.1, and it was removed in 26.1.
Fix code in @cocoa5.el@ Anna Maria Bigatti

11:58 CoCoA-5 Feature #1415: thmproving package: John Abbott wrote:
> Any news about this package?
> Can we close this issue quickly and easily?
ok, working on i... Anna Maria Bigatti
11:31 CoCoA-5 Design #1495 (In Progress): Package exporting nothing?: From #1477 point (C)
proposed syntax *@export skip;@* Anna Maria Bigatti
11:30 CoCoA-5 Design #1495 (Closed): Package exporting nothing?: It may be useful to make a package exporting no function: currently it gives a warning.
Choose an explicit syntax ... Anna Maria Bigatti
07:54 CoCoA-5 Bug #1200 (Closed): Package exported function: wrong package name: John Abbott wrote:
> Is this even a bug?
> In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by... Anna Maria Bigatti
07:36 CoCoA-5 Design #1493: Automatic ring mapping in assignment?: John Abbott wrote:
> My "gut feeling" is that it should work... I expect it to work (perhaps because the destination... Anna Maria Bigatti
07:24 CoCoA-5 Design #1477: Packages: questions from Andraschko: John Abbott wrote:
> Regarding point *(C)* _why must a package export at least 1 function?_
> We could also allow s... Anna Maria Bigatti

17:06 CoCoALib Feature #1436: Flatten for a matrix: it is only used in *RingElem MinPoly(ConstMatrixView M, ConstRefRingElem x)*.
Anna Maria Bigatti
16:58 CoCoALib Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog: John Abbott wrote:
> *CHECKED ON 2020-09-25* the example in the description now works.
>
> Has this been fixed? ... Anna Maria Bigatti
16:21 CoCoALib Feature #1490: New function: MinusOneToPower: John Abbott wrote:
> There is a very simple inline impl:
> [...]
>
> If we do accept this fn, in which (header) ... Anna Maria Bigatti
16:16 CoCoALib Feature #1472: Idea for for loops: just wondering: (I know it's low priority) is this any better than the standard syntax?
Anna Maria Bigatti

Also available in: Atom