Project

General

Profile

Activity

From 15 Jul 2017 to 13 Aug 2017

09 Aug 2017

09:15 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 Feature #1094 (In Progress): Revive code for SelfSaturating GBasis
The code is there.
Make it work.
Anna Maria Bigatti

24 Jul 2017

11:10 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

23 Jul 2017

16:02 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

22 Jul 2017

15:18 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 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

21 Jul 2017

16:57 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
15:29 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

20 Jul 2017

13:12 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 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 Jul 2017

19:47 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 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 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 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 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

17 Jul 2017

14:21 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
Should I log the time the students spent on this project? If so, how? (and where?)
John Abbott
14:20 Feature #587 (In Progress): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
Since I had to assign some student projects after the CoCoALib mini-course (here in Kassel),
I gave the task of tran...
John Abbott

15 Jul 2017

17:27 Feature #638 (Resolved): Time limit: let user specify time limit for a computation
I have just checked in a first attempt at allowing users to impose time limits on computations in CoCoALib.
It use...
John Abbott
 

Also available in: Atom