Activity

From 18 Jul 2017 to 16 Aug 2017

09:15 CoCoALib Feature #1094 (In Progress): Revive code for SelfSaturating GBasis: Compiles and run, but gives the wrong answer, because the temporary ring does not have the homogenizing indeterminate... Anna Maria Bigatti
09:11 CoCoALib Feature #1094 (In Progress): Revive code for SelfSaturating GBasis: The code is there.
Make it work.
Anna Maria Bigatti

11:31 CoCoA-5 Design #1092 (Feedback): Design issues for discussion in July 2017: Anna Maria Bigatti
11:31 CoCoA-5 Design #1092: Design issues for discussion in July 2017: homomorphism code
Anna Maria Bigatti

11:10 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..): John Abbott wrote:
> I propose a new fn *@preimage0@* which returns either a preimage or the zero element of the dom... Anna Maria Bigatti
09:07 CoCoA-5 Design #1092: Design issues for discussion in July 2017: I would like to talk about the MathSAT interface: the class I wrote, and the input for MSatLinSolve. Anna Maria Bigatti
09:05 CoCoA-5 Design #939 (Feedback): Rename Fact to factorial?: @Fact@ is in BackwardCompatible.cpkg5, and not in the manual.
@factorial@ is the official name.
Should we close t... Anna Maria Bigatti

16:30 CoCoA-5 Bug #1093: GUI: bugs and slugs: I have changed the way CoCoALib handles signals. This forced me to make some changes to the source of the GUI (but w... John Abbott
16:20 CoCoA-5 Bug #1093: GUI: bugs and slugs: The GUI really seems to have trouble with big outputs; my guess is that this is a QT "feature" :-/
@factorial(10^5... John Abbott
16:14 CoCoA-5 Bug #1093 (In Progress): GUI: bugs and slugs: I know the GUI is on "life support" (or worse), but I'd like to gather in one place some of the problems it has just ... John Abbott
16:07 CoCoA-5 Slug #741 (Feedback): C5 GUI: slow to close: John Abbott
16:04 CoCoA-5 Design #939 (In Progress): Rename Fact to factorial?: How about making *@Fact@* obsolescent?
John Abbott
16:02 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..): My "clever idea" in comment 2 for cleaning the gens of the kernel does not work well.
I have cleaned the students'... John Abbott

15:18 CoCoALib Feature #1030: IsInRadical: case of homog ideal: I wonder if either of the following ideas could be completed into an algorithm (with reliable output):
# if the idea... John Abbott
15:07 CoCoALib Feature #638: Time limit: let user specify time limit for a computation: Checked in the new BOOST-free version.
Still have to update doc.
John Abbott

16:57 CoCoALib Feature #638: Time limit: let user specify time limit for a computation: I have modified the structure of @interrupt@, and now have a new version of @CpuTimeLimit@ which does not need BOOST.... John Abbott
16:28 CoCoA-5 Design #1091 (In Progress): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT: Anna Maria Bigatti
15:29 CoCoALib Bug #1078 (Feedback): makefile: ungraceful when interrupted: I have just checked in a version which seems to work correctly in my (few) tests.
A crucial feature is use of the ... John Abbott

13:12 CoCoALib Bug #1078 (In Progress): makefile: ungraceful when interrupted: It seems that my first attempt does not work as hoped.
Now trying the obvious approach: create a @Makefile_depende... John Abbott
13:06 CoCoALib Bug #1089 (In Progress): invalid pointer in "free": After about 150 hours the program running under gdb the program finally died from a @SIGABRT@.
The problem occurre... John Abbott

19:47 CoCoALib Design #1065 (Feedback): Design: should we allow an ideal to change ring?: I have implemented the change: just delete the check inside @operator=@ for ideals.
Some simple tests passed (_e.g._... John Abbott
19:27 CoCoALib Support #1056: Release: CoCoALib-0.99560 (together with CoCoA-5.2.2): I would like to make a "release" for ISSAC/SC2 School. That is very soon, and there is probably not enough time to m... John Abbott
19:05 CoCoALib Support #1056 (In Progress): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2): *RELEASE NOTES FOR CoCoALIB 0.99560* (or an interim version)
* @MinPolyQuot@ (modular) now has no limit on number ... John Abbott
19:20 CoCoALib Feature #1035: Improvement: how to sort QuotientBasis?: As far as I can tell @QuotientBasisSorted@ is already implemented in CoCoA-5.
Should it be moved into CoCoALib?
S... John Abbott
19:14 CoCoALib Feature #1030 (Feedback): IsInRadical: case of homog ideal: The CoCoA-5 package was translated into C++ by some students at Kassel.
I have cleaned up the resulting code, and ch... John Abbott

Also available in: Atom

CoCoA