Activity
From 21 Jul 2017 to 19 Aug 2017
09 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...
- 09:11 CoCoALib Feature #1094 (In Progress): Revive code for SelfSaturating GBasis
- The code is there.
Make it work.
04 Aug 2017
- 11:31 CoCoA-5 Design #1092 (Feedback): Design issues for discussion in July 2017
- 11:31 CoCoA-5 Design #1092: Design issues for discussion in July 2017
- homomorphism code
24 Jul 2017
- 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... - 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.
- 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...
23 Jul 2017
- 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...
- 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... - 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 ...
- 16:07 CoCoA-5 Slug #741 (Feedback): C5 GUI: slow to close
- 16:04 CoCoA-5 Design #939 (In Progress): Rename Fact to factorial?
- How about making *@Fact@* obsolescent?
- 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'...
22 Jul 2017
- 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... - 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.
21 Jul 2017
- 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....
- 16:28 CoCoA-5 Design #1091 (In Progress): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
- 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 ...
Also available in: Atom