Project

General

Profile

Activity

From 11 Jan 2022 to 09 Feb 2022

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

24 Jan 2022

20:42 Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon
The following could be confusing:... John Abbott

21 Jan 2022

10:27 Feature #1644 (In Progress): Allow user to choose whether to print finite field elems as symm residues or non-neg residue
Anna suggests these names: *@AsINT_Symm@* and *@AsINT_NonNeg@* (because @AsINT_LeastNonNeg@ is too long)
The idea i...
John Abbott
10:12 Feature #1648 (New): ApproxSolve and RationalSolve take different input
ApproxSolve expects an ideal (0-dim) and RationalSolve a list of polynnomials.
Choose which one we want, and modify ...
Anna Maria Bigatti
10:10 Bug #1640 (Closed): MinSubsetOfGens does not find min subset
We had effectively already taken into account the comment 5 above.
Anna has just changed the code slightly to orde...
John Abbott

20 Jan 2022

20:32 Bug #1640: MinSubsetOfGens does not find min subset
Unfortunately I have lost the specific example (but I suppose a new one could easily be created).
I did notice the f...
John Abbott
19:02 Feature #1644: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
I have just given a demo to my students of using CRT to reconstruct a large integer value.
The demo happened to work...
John Abbott

13 Jan 2022

13:07 Feature #1644: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
The current impl in @SmallFpImpl.H@ expects there to be a boolean data mem which says how to print (@LeastNonNeg@ or... John Abbott
12:58 Feature #1644: Allow user to choose whether to print finite field elems as symm residues or non-neg residue
JAA thinks that allowing the user to choose should not cause any problems: it is just a matter of printing.
Mmm, w...
John Abbott
12:57 Feature #1644 (In Progress): Allow user to choose whether to print finite field elems as symm residues or non-neg residue
A student here asked how to make CoCoA-5 print elements of a finite field as the least non-neg residue class represen... John Abbott
 

Also available in: Atom