Project

General

Profile

Activity

From 25 Jan 2022 to 23 Feb 2022

23 Feb 2022

12:54 Support #1447 (Closed): Manual entry for RandomLinearForm
The new fn @HomogCompt@ seems to have solved the problem (provided the grading dim is 1).
I'll update the manual.
C...
John Abbott
12:40 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
Postponed to 5.4.2 because there are some matters still to be discussed:
* should the return value be a matrix over...
John Abbott
12:37 Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?
Rejected.
*HilbertBasisKer* will return a matrix, like *LinKer*.
The interface, rows or columns, QQ or ZZ, will be ...
Anna Maria Bigatti
12:28 Support #1478 (Closed): HilbertBasis: clarify
This has been completely resolved by introducing the new function *@NmzHilbertBasisKer@* (see issue #1596).
The new ...
John Abbott
12:14 Bug #946: Function "ideal" evaluates the argument twice
Mostly done, enough for CoCoA-5.4.0.
*Still to be fixed @submodule@* (see @bug-EvalTwice.cocoa5@).
Probably it is...
Anna Maria Bigatti
12:07 Bug #1029: Readline: does not recognize interrupts
This works for us now (my Ubuntu box, and Anna on the Linux VM).
We hope this means that the problem has been resolv...
John Abbott
11:53 Design #1504 (Closed): OnlineHelp: XMLFileName
Tested on linux and Mac. OK. Anna Maria Bigatti

18 Feb 2022

17:40 Support #1471: Release CoCoA-5.4.0
Consider the number of changes since the last "official" release (5.3.2), and decide whether to call this one 5.3.4 o... John Abbott
17:16 Support #1455 (Closed): In a release: which files inside the CoCoAManual
John Abbott
17:15 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"
John Abbott
17:13 Support #1451 (Closed): CoCoA Manual: make search keys public
John Abbott
17:09 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Think and choose key binding for cocoa5 mode Anna Maria Bigatti
17:01 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries
John Abbott
16:55 Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi)
This issue and #1001 cover similar ground.
Suggestion: *split the 2 issues into: one for CoCoA-5, and one for CoCo...
John Abbott
16:50 Feature #1415: thmproving package
I had renamed all functions with prefix "Thm".
Check it in, so that it is public, and then postpone this issue for p...
Anna Maria Bigatti
16:34 Support #1534: Install CoCoA-5 on MacOS-10.15+
See also this comment: #322#note-23 Anna Maria Bigatti
16:31 Support #322: Installation instructions (on website)
Notes for myself:
compare the 3 installation pages and check they are similarly structured and informative.
Anna Maria Bigatti
15:34 Support #322: Installation instructions (on website)
I would still like o see more helpful guidance for linux users; not all linux users are experts.
How can one unpac...
John Abbott
16:26 Bug #1029: Readline: does not recognize interrupts
Maybe the simplest is to add this to the pre-release checks...?
John Abbott
16:22 Design #1407 (Closed): Tagged values (Hilbert Series)
Still to do: sanity checks (make another issue, in case...) Anna Maria Bigatti

17 Feb 2022

21:22 Feature #1272 (Closed): Groebner Bases over ZZ
John Abbott

16 Feb 2022

20:37 Support #1077: Manual: remove old stuff about "devices"
We should eventually actually do this!!!
John Abbott
20:36 Support #1214 (Feedback): CoCoAManual: ensure that LaTeX compilation is "clean"
John Abbott
20:33 Design #1504 (Resolved): OnlineHelp: XMLFileName
Can we close this issue? John Abbott
20:23 Support #1534: Install CoCoA-5 on MacOS-10.15+
*ANNA!* Please can you do this just before releasing?
John Abbott
20:21 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
I'm postponing this again.
Writing documentation is somehow always "low priority", but writing documentation about w...
John Abbott
20:19 Design #1477 (Resolved): Packages: questions from Andraschko
Point *(E)* is a very valid point; does Anna have a solution?
John Abbott
20:16 Support #1455 (Feedback): In a release: which files inside the CoCoAManual
I guess we shall soon find out if the new script has overlooked some file(s).
Status: feedback.
John Abbott
20:15 Support #1451 (Feedback): CoCoA Manual: make search keys public
John Abbott
20:11 Support #1658 (Closed): LinKerZZ not documented
No one objected to the name @LinKerZZ@, and the discussion in issue #206 seemed to favour that name.
So sticking wit...
John Abbott
20:07 Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
Closing after 1 year in feedback.
The only thing left is to remember to make 2 executables (if we want to do that).
John Abbott
20:02 Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4)
No one objected, so I am closing this issue.
I think a combination of @CanonicalHom@, @BringIn@ and @RingElem(R, str...
John Abbott
19:57 Feature #1272: Groebner Bases over ZZ
I'll close this as it is now in CVS, and should be in the next release (with 1 fn documented).
It could be a good st...
John Abbott
19:53 Bug #1524 (Closed): wrong SystemCommand exit value
Julian did report verbally (quite some time ago) that he had had problems with @SystemCommand@ working erratically:
...
John Abbott
19:48 Bug #1029 (Resolved): Readline: does not recognize interrupts
I suppose we should try to test the Linux executable just before distributing it.
Or should I make the executable on...
John Abbott

14 Feb 2022

18:16 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
Anna Maria Bigatti
17:26 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries
Anna Maria Bigatti wrote:
> Possibly add the year
The release/date is now shown when the function is called (see ...
Anna Maria Bigatti

13 Feb 2022

13:10 Support #1663 (New): GCDList not documented
The fn @GCDList@ is not documented.
John Abbott

09 Feb 2022

19:41 Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8
My 13 year old MacBook now has MacOS 10.11.6. So if anyone is stuck on 10.6.8, they must have a very old computer.
...
John Abbott
16:45 Bug #922: Release for MacOS: compilation on 10.11 incompatible with 10.6.8
Does it still matter?
Should we worry about 10.6? I guess John can still compile it for any user who asks for it.
...
Anna Maria Bigatti
16:49 Bug #1539: Website: installation instructions for Microsoft
John Abbott wrote:
> With luck the current instructions will be well tested over the next couple of weeks.
> I hope...
Anna Maria Bigatti
16:38 Support #1660: Updating file obsolescent.cpkg5: make it easier
Further improvement:
function PrintOBSOLESCENT and OBSOLETE, and variables for CoCoA versions.
Easier for the mai...
Anna Maria Bigatti
14:26 Bug #946: Function "ideal" evaluates the argument twice
fixed *evalArgAsListOfSymbols*, updated test (@NewPolyRing@) Anna Maria Bigatti

07 Feb 2022

19:23 Support #1660 (Feedback): Updating file obsolescent.cpkg5: make it easier
I've added the functions @ObsoleteFunc@ and @ObsolescentFunc@ producing the relevant string.
Now the code is easie...
Anna Maria Bigatti
19:19 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
The file "obsolescent.cpkg5" is designed to track the latest changes and help the user to keep his code up-to-date.
...
Anna Maria Bigatti
18:27 Support #1658: LinKerZZ not documented
I think there was some doubt as to what the correct name for this fn should be.
Don't recall the outcome: see issue...
John Abbott
18:25 Support #1658 (Resolved): LinKerZZ not documented
Written doc; added xrefs.
Found a bug (from the example put into manual); fixed it.
Will check in shortly.
John Abbott
17:27 Support #1658 (Closed): LinKerZZ not documented
It seems that @LinKerZZ@ is callable from CoCoA-5, but is not documented.
Rectify (after checking that code is robus...
John Abbott
17:57 Feature #1659 (New): Jordan Normal Form?
CoCoA-5 can compute @eigenvectors@ (in a particular way).
Would it make sense to try to make it compute Jordan block...
John Abbott

06 Feb 2022

08:58 Support #1471: Release CoCoA-5.4.0
Current CVS compiles, runs and all tests pass on Linux-64, Linux-32 and my old MacBook.
John Abbott

05 Feb 2022

21:05 Support #1455 (In Progress): In a release: which files inside the CoCoAManual
I have changed the impl of the fn @copy-CoCoAManual@. I have checked it in without testing!!
*Anna:* please check m...
John Abbott
20:40 Support #1455: In a release: which files inside the CoCoAManual
I do not like the function @copy-CoCoAManual@ in the script @release-common.sh@.
Currently it copies everything, and...
John Abbott

04 Feb 2022

14:34 Feature #1272: Groebner Bases over ZZ
I have documented @MinGBoverZZ@ but no other function. It is clearly marked as @[PROTOTYPE]@.
The package is now ca...
John Abbott

03 Feb 2022

20:14 Bug #1244 (In Progress): MSatLinSolve: req minor improvements
I have added a quick test in @BuiltinFunctions-MathSAT.C@.
A very quick test worked as hoped. But it needs more tes...
John Abbott
20:02 Feature #1415: thmproving package
Status?
Even something hasty is perhaps better than nothing?
John Abbott
20:01 Support #1471 (In Progress): Release CoCoA-5.4.0
I have been postponing lots of issues which cannot be closed in the very immediate future.
I really hope we can get ...
John Abbott
19:41 Support #1471: Release CoCoA-5.4.0
If we do make a hurried release (as I recommend), should we include a "health warning" that it is a hasty release?
John Abbott
18:52 Support #1471: Release CoCoA-5.4.0
I'm wondering whether we should release 5.3.4 as soon as practicable... otherwise I doubt I'll be able to help make a... John Abbott
19:57 Support #1393: GUI with Qt5
I do not want to lose this, but there is never time... grrr!
John Abbott
19:51 Feature #1549: Add sagbi package
Either do it fast for 5.3.4, or postpone to next release!
If you can write some simple doc quickly, we get the benef...
John Abbott
19:48 Design #929: Clean up CoCoALibSupplement
This is one of those "tedious but necessary tasks" for which it is almost impossible to find time.
So postponing.......
John Abbott
19:47 Design #474: Eliminate package BinRepr
Postponing once again.... we must eventually actually do this!
John Abbott
19:44 Design #1407 (Feedback): Tagged values (Hilbert Series)
The comments suggest that this issue is essentially fixed.. so I have advanced the status to feedback. John Abbott
19:40 Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly
No complaints in several months... must be OK.
Closing!
John Abbott
19:37 Bug #1443 (Closed): Illegal instruction
This issue has been dormant for 2 years. I suppose whatever the problem was has gone away.
Closing!
John Abbott
19:35 Feature #1373: GFan also for Microsoft?
A student (Nico Mexis) here in Passau has reported succeeding getting GFan working on Microsoft.
How to find time to...
John Abbott
19:32 Bug #946: Function "ideal" evaluates the argument twice
Can we close this issue? If not, postpone it!
John Abbott
19:30 Design #1504: OnlineHelp: XMLFileName
I suppose the current status must be acceptable. No problems have been reported for a year.
Close?
John Abbott
19:28 Support #1447: Manual entry for RandomLinearForm
Is this issue now resolved satisfactorily?
I guess so. If so, close it!
John Abbott
19:24 Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean"
Is this issue acceptably resolved? Close now?
John Abbott
19:14 Feature #1272: Groebner Bases over ZZ
So that we do not lose what has been done....
I suggest making the existing code into an official package; we should...
John Abbott
16:53 Feature #1272: Groebner Bases over ZZ
What is the future of this package?
Florian is now rather busy with other things, so cannot in the foreseeable futur...
John Abbott
19:10 Feature #606: Evaluate in ring operator (was called :: in CoCoA-4)
Is this resolved to a satisfactory degree? I think @BringIn@ and @RingElem(P, string)@ cover most use cases.
Can we...
John Abbott
19:07 Bug #1552: subst: not checking args properly
The impl is rather messy.
I suppose the bus is not so terribly bad: it has not (apparently) caused trouble, and the ...
John Abbott
19:03 Bug #1651 (Closed): SEGV subsets ??
Too much stress to keep this open any longer. I'm pretty sure it is fixed now (and faster too).
Let the users do th...
John Abbott

02 Feb 2022

22:36 Feature #1272: Groebner Bases over ZZ
I have a first version with modulus. I think it is probably faster, but still impressively slow :-/
I'll wait a bit...
John Abbott
20:52 Feature #1272: Groebner Bases over ZZ
To be ale to tackle non-trivial examples, it would be very helpful to have a way of reducing polynomials modulo any c... John Abbott
20:17 Feature #1272: Groebner Bases over ZZ
I have done some cleaning in the code, and have added a @SortBy@ to the list of pairs.
It seems to make the code run...
John Abbott
16:49 Feature #1272 (In Progress): Groebner Bases over ZZ
What is the status of this issue?
Is the latest version of the code above more-or-less ready to be included in a rel...
John Abbott

31 Jan 2022

17:49 Bug #1651 (Resolved): SEGV subsets ??
I have modified the impl of @SubsetsN@ in @combinatoria.cpkg5@ so that it handles 2-subsets specially (avoiding recur... John Abbott

27 Jan 2022

14:52 Feature #1644: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
The idea seems reasonable, but what names should we use?
* @AsINT_symm@ or @AsINT_Symm@
* @AsINT_NonNeg@ or @AsINT...
John Abbott
14:27 Support #1650: Potentially confusing prompt: waiting for semicolon
How about *@[[command incomplete]]@*?
Though that does read rather like an error message...
John Abbott

26 Jan 2022

15:28 Bug #1651: SEGV subsets ??
On my Mac I get... Anna Maria Bigatti
12:53 Bug #1651 (In Progress): SEGV subsets ??
I have just used @ulimit@ to increase my stacksize limit, and now I get "too many recursions":... John Abbott

25 Jan 2022

16:32 Bug #1651: SEGV subsets ??
On Julian's computer (Linux, CoCoA-5.3.3b), it gave a controlled CoCoA-5 error: "too many recursive calls" (or simila... John Abbott
09:42 Bug #1651 (Closed): SEGV subsets ??
This was a surprise:... John Abbott
 

Also available in: Atom