Activity
From 27 Jan 2022 to 25 Feb 2022
25 Feb 2022
-
11:28 Support #1393 (Resolved): GUI with Qt5
- I have tried Ulrich's patches and it works!
I did also try switching to @std::thread@ etc. Everything compiled, b...
24 Feb 2022
-
14:23 Support #530: Interpreter error message: "for" with missing "do"
- Is it really worth investing effort trying to fix this?
The err mesgs are inconsistent but nevertheless useful to th...
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... -
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... -
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 ... -
12:28 Support #1478 (Closed): HilbertBasis: clarify
- This has been completely resolved by introducing the new function *@NmzHilbertBasisKer@* (see issue #1596).
The new ... -
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... -
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... -
11:53 Design #1504 (Closed): OnlineHelp: XMLFileName
- Tested on linux and Mac. OK.
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...
-
17:16 Support #1455 (Closed): In a release: which files inside the CoCoAManual
-
17:15 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"
-
17:13 Support #1451 (Closed): CoCoA Manual: make search keys public
-
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
-
17:01 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries
-
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... -
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... -
16:34 Support #1534: Install CoCoA-5 on MacOS-10.15+
- See also this comment: #322#note-23
-
16:31 Support #322: Installation instructions (on website)
- Notes for myself:
compare the 3 installation pages and check they are similarly structured and informative. -
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... -
16:26 Bug #1029: Readline: does not recognize interrupts
- Maybe the simplest is to add this to the pre-release checks...?
-
16:22 Design #1407 (Closed): Tagged values (Hilbert Series)
- Still to do: sanity checks (make another issue, in case...)
17 Feb 2022
16 Feb 2022
-
20:37 Support #1077: Manual: remove old stuff about "devices"
- We should eventually actually do this!!!
-
20:36 Support #1214 (Feedback): CoCoAManual: ensure that LaTeX compilation is "clean"
-
20:33 Design #1504 (Resolved): OnlineHelp: XMLFileName
- Can we close this issue?
-
20:23 Support #1534: Install CoCoA-5 on MacOS-10.15+
- *ANNA!* Please can you do this just before releasing?
-
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... -
20:19 Design #1477 (Resolved): Packages: questions from Andraschko
- Point *(E)* is a very valid point; does Anna have a solution?
-
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.
-
20:15 Support #1451 (Feedback): CoCoA Manual: make search keys public
-
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... -
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).
-
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... -
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... -
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:
... -
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...
14 Feb 2022
-
18:16 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
-
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 ...
13 Feb 2022
-
13:10 Support #1663 (New): GCDList not documented
- The fn @GCDList@ is not documented.
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.
... -
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.
... -
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... -
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... -
14:26 Bug #946: Function "ideal" evaluates the argument twice
- fixed *evalArgAsListOfSymbols*, updated test (@NewPolyRing@)
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... -
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.
... -
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... -
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.
-
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... -
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...
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.
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... -
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...
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...
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... -
20:02 Feature #1415: thmproving package
- Status?
Even something hasty is perhaps better than nothing?
-
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 ... -
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?
-
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...
-
19:57 Support #1393: GUI with Qt5
- I do not want to lose this, but there is never time... grrr!
-
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... -
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....... -
19:47 Design #474: Eliminate package BinRepr
- Postponing once again.... we must eventually actually do this!
-
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.
-
19:40 Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly
- No complaints in several months... must be OK.
Closing!
-
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!
-
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... -
19:32 Bug #946: Function "ideal" evaluates the argument twice
- Can we close this issue? If not, postpone it!
-
19:30 Design #1504: OnlineHelp: XMLFileName
- I suppose the current status must be acceptable. No problems have been reported for a year.
Close?
-
19:28 Support #1447: Manual entry for RandomLinearForm
- Is this issue now resolved satisfactorily?
I guess so. If so, close it!
-
19:24 Support #1214: CoCoAManual: ensure that LaTeX compilation is "clean"
- Is this issue acceptably resolved? Close now?
-
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... -
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... -
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... -
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 ... -
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...
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... -
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...
-
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... -
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...
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...
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... -
14:27 Support #1650: Potentially confusing prompt: waiting for semicolon
- How about *@[[command incomplete]]@*?
Though that does read rather like an error message...
Also available in: Atom