Activity
From 21 Jun 2017 to 20 Jul 2017
20 Jul 2017
- 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... - 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...
19 Jul 2017
- 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._... - 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...
- 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 ... - 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... - 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...
17 Jul 2017
- 16:46 CoCoA-5 Design #1092: Design issues for discussion in July 2017
- Keywords: ISSAC, SC-square, SC2
- 16:45 CoCoA-5 Design #1092 (Closed): Design issues for discussion in July 2017
- Not really a single issue. Just to gather matters to discuss shortly.
- 14:21 CoCoALib 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?)
- 14:20 CoCoALib 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...
15 Jul 2017
- 17:27 CoCoALib 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...
14 Jul 2017
- 21:28 CoCoALib Bug #1088 (Resolved): MinPolyQuot: runs out of primes
- I think I have fixed the code: the only real change needed was to use @NewZZmod@ instead of @NewRingFp@.
This allows... - 18:01 CoCoALib Bug #1088: MinPolyQuot: runs out of primes
- John Abbott wrote:
> The problem is not yet fixed (but I did have to try "hard" to make a big enough example).
!?... - 17:04 CoCoALib Bug #1088 (In Progress): MinPolyQuot: runs out of primes
- The problem is not yet fixed (but I did have to try "hard" to make a big enough example).
The code should switch f... - 11:16 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype
- I made a class MathSAT::env as a wrapper for msat_env
The interface is currently only via matrices.
See @examples... - 11:04 CoCoA-5 Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
- ...
13 Jul 2017
- 17:32 CoCoA-5 Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
- First prototype working, very naive implementation...
- 17:17 CoCoA-5 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
12 Jul 2017
- 18:53 CoCoALib Feature #1090: ExternaLib-MathSAT: first prototype
- Cleaned up first prototype (0.99550), all in example into a more proper itnegration in ExternalLib-MathSAT.
The exam... - 18:47 CoCoALib Feature #1090 (Closed): ExternaLib-MathSAT: first prototype
11 Jul 2017
- 10:27 CoCoALib Bug #1089: invalid pointer in "free"
- How to debug this? Finding a smaller/faster example would help... but how?
Perhaps I'll try running it with @valgri... - 10:24 CoCoALib Bug #1089 (In Progress): invalid pointer in "free"
- I have a non-trivial program written using CoCoALib which causes the following error (on Fedora Linux):...
08 Jul 2017
- 21:15 CoCoALib Design #1086 (Feedback): New design for interrupt mechanism
- I have changed the implementation considerably (with simplifying consequences for GlobalManager and the interpreter (...
07 Jul 2017
- 12:23 CoCoALib Bug #1088: MinPolyQuot: runs out of primes
- John Abbott wrote:
> I have just tried running the example from the comment above but with verbosity level 80.
> It... - 11:57 CoCoALib Bug #1088: MinPolyQuot: runs out of primes
- Fixed using PrevPrime instead of NextPrime.
cvs-ed
05 Jul 2017
- 13:00 CoCoALib Bug #1088: MinPolyQuot: runs out of primes
- I have just tried running the example from the comment above but with verbosity level 80.
It prints out each prime u... - 12:51 CoCoALib Bug #1088: MinPolyQuot: runs out of primes
- Here is an example input which triggers the problem (after about 12 mins' CPU time)...
- 12:49 CoCoALib Bug #1088 (Closed): MinPolyQuot: runs out of primes
- I tried @MinPolyQuot@ on a slightly big example, and it ran out of primes.
This is surely a problem with all modul...
04 Jul 2017
- 15:20 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- After some reflection and after chatting to Anna we have decided that @CutLF@ should also give an error (like @LF@) w...
- 13:03 CoCoA-5 Bug #1087 (Resolved): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- I have added a 1 sec sleep when the @cocoa5@ script prints out an error message.
This seems not to be inconvenient f... - 11:36 CoCoA-5 Bug #1087 (In Progress): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- A simple workaround is to put a short @sleep@ in the @cocoa5@ script so that the CoCoA-5 buffer still has a process.
... - 11:21 CoCoA-5 Bug #1087: EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- Emacs version is 24.5.1 running on Fedora 24 Linux.
- 11:20 CoCoA-5 Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- I tried starting CoCoA-5 inside a fresh emacs by typing @M-x cocoa5@, and got the error *@Wrong type argument process...
03 Jul 2017
- 22:21 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- There was also a question about the name: I have called it @CutLF@. Another possibility could be @MoveLF@ similar to...
- 22:15 CoCoALib Slug #1042 (Resolved): LF curiously slow (breaking a poly into homog pieces)
- I have checked in my implementation (almost the same as the one above, plus some arg checking).
*QUESTION* what sh...
30 Jun 2017
- 17:13 CoCoALib Design #1086: New design for interrupt mechanism
- The function @SignalInterruptsCoCoA@ just overwrites any previously registered signal handler.
A better design mig... - 17:10 CoCoALib Design #1086 (Closed): New design for interrupt mechanism
- The current desgn for interrupt mechanism is not ideal when CoCoALib is called from other libraries.
Try to make a... - 14:19 CoCoALib Design #1085: Fns with "OUT" args: should they give ERR::MixedRings?
- I wonder which other fns are affected?
Presumably we should decide the same way for all of them...
When I have ti... - 14:14 CoCoALib Design #1085 (In Progress): Fns with "OUT" args: should they give ERR::MixedRings?
- I would expect the following two code excerpts to be essentially equivalent:...
- 14:03 CoCoALib Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?
- The functions @IsDivisible@ (with 3 args) and @GCDQuot@ have OUT args.
They throw @ERR::MixedRings@ if any of the OU... - 13:18 CoCoALib Feature #259: Squarefree(?) GCD-free basis
- Mostly a wake-up call. There is already an implementation in @GCDFreeBasis.C@.
Decide which data-structures to use ...
29 Jun 2017
- 16:32 CoCoA-5 Feature #1084 (Feedback): New function: PrevPrime
- 16:31 CoCoA-5 Feature #1084: New function: PrevPrime
- Great, thanks!
I could swear I had looked for it, without finding it....
I have added it to cocoa-5.
checked-in
- 14:54 CoCoA-5 Feature #1084 (In Progress): New function: PrevPrime
- In CoCoALib the function is already there; it is not exported to CoCoA-5, but perhaps should be?
It is also documented! - 08:39 CoCoA-5 Feature #1084 (Closed): New function: PrevPrime
- We have @NextPrime@.
For modular methods it would be nice to have @PrevPrime@, so that we can start from the biggest... - 13:45 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- John Abbott wrote:
> I am still a bit undecided how best to handle double quotes. I see 3 reasonable options:
> # ... - 12:43 CoCoA-5 Feature #1021 (Resolved): CoCoA Manual: search should ignore multiple spaces
- 11:46 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- I am still a bit undecided how best to handle double quotes. I see 3 reasonable options:
# leave them as they are
... - 11:36 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- John Abbott wrote:
> Yes, the last example was deliberately strange; I do not think it matters if such a strange inp... - 09:22 CoCoALib Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
- Reminder for myself: update the manual, clarify the meaning, and show evaluation homomorphism.
- 09:19 CoCoALib Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
- Done and checked-in.
A cleaner way to call it is... - 08:47 CoCoALib Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
- It is a problem in the input: the third argument must be an indet
(the indet for the univariate polynomial), instead... - 08:12 CoCoALib Feature #900: New function: MinPoly of RingElem in quotient ring
- > Is this a duplicate issue?
no.
This should be just a call to @MinPolyQuot(CanonicalRepr(f), DefiningIdeal(PmodI...
28 Jun 2017
- 18:28 CoCoALib Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
- The followinginput produces an (unexpected) "bad characteristic" error:...
- 18:27 CoCoALib Feature #900: New function: MinPoly of RingElem in quotient ring
- Is this a duplicate issue? Progress is really 0%?
- 13:44 CoCoALib Design #1065: Design: should we allow an ideal to change ring?
- An important point in Anna's previous comment is that her function is a "trick".
It seems unreasonable to require th...
27 Jun 2017
- 22:29 CoCoALib Design #1065: Design: should we allow an ideal to change ring?
- John Abbott wrote:
> The students here working on translating @HomomorphismFns.cpkg5@ into CoCoALib wanted to reassi...
22 Jun 2017
- 13:15 CoCoALib Bug #1082: factor in ZZ[x] gives errors
- A quick check suggests that factorization over ZZ is actually slower than factorization over QQ. This is counter-int...
- 13:13 CoCoALib Bug #1082 (Feedback): factor in ZZ[x] gives errors
- The old factorizer (in C) actually factorizes over ZZ, so the only fix needed was the handling of the content.
I i...
21 Jun 2017
- 21:33 CoCoALib Bug #1082 (In Progress): factor in ZZ[x] gives errors
- The problem is content handling. See around line 282 in @factor.C@
- 21:32 CoCoALib Bug #1082 (Closed): factor in ZZ[x] gives errors
- factorizing in ZZ[x] gives errors.
Rectify.
Also available in: Atom