Project

General

Profile

Activity

From 20 Jun 2017 to 19 Jul 2017

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

14 Jul 2017

21:28 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...
John Abbott
18:01 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).
!?...
Anna Maria Bigatti
17:04 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...
John Abbott
11:16 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...
Anna Maria Bigatti

12 Jul 2017

18:53 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...
Anna Maria Bigatti
18:47 Feature #1090 (Closed): ExternaLib-MathSAT: first prototype
Anna Maria Bigatti

11 Jul 2017

10:27 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...
John Abbott
10:24 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):... John Abbott

08 Jul 2017

21:15 Design #1086 (Feedback): New design for interrupt mechanism
I have changed the implementation considerably (with simplifying consequences for GlobalManager and the interpreter (... John Abbott

07 Jul 2017

12:23 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...
Anna Maria Bigatti
11:57 Bug #1088: MinPolyQuot: runs out of primes
Fixed using PrevPrime instead of NextPrime.
cvs-ed
Anna Maria Bigatti

05 Jul 2017

13:00 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...
John Abbott
12:51 Bug #1088: MinPolyQuot: runs out of primes
Here is an example input which triggers the problem (after about 12 mins' CPU time)... John Abbott
12:49 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...
John Abbott

04 Jul 2017

15:20 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... John Abbott

03 Jul 2017

22:21 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... John Abbott
22:15 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...
John Abbott

30 Jun 2017

17:13 Design #1086: New design for interrupt mechanism
The function @SignalInterruptsCoCoA@ just overwrites any previously registered signal handler.
A better design mig...
John Abbott
17:10 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...
John Abbott
14:19 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...
John Abbott
14:14 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:... John Abbott
14:03 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...
John Abbott
13:18 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 ...
John Abbott

29 Jun 2017

09:22 Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
Reminder for myself: update the manual, clarify the meaning, and show evaluation homomorphism. Anna Maria Bigatti
09:19 Bug #1083: MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
Done and checked-in.
A cleaner way to call it is...
Anna Maria Bigatti
08:47 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...
Anna Maria Bigatti
08:12 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...
Anna Maria Bigatti

28 Jun 2017

18:28 Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)
The followinginput produces an (unexpected) "bad characteristic" error:... John Abbott
18:27 Feature #900: New function: MinPoly of RingElem in quotient ring
Is this a duplicate issue? Progress is really 0%? John Abbott
13:44 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...
John Abbott

27 Jun 2017

22:29 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...
Anna Maria Bigatti

22 Jun 2017

13:15 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... John Abbott
13:13 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...
John Abbott

21 Jun 2017

21:33 Bug #1082 (In Progress): factor in ZZ[x] gives errors
The problem is content handling. See around line 282 in @factor.C@
John Abbott
21:32 Bug #1082 (Closed): factor in ZZ[x] gives errors
factorizing in ZZ[x] gives errors.
Rectify.
John Abbott

20 Jun 2017

16:27 Bug #1081 (Feedback): ideal() * RingElem gives error
added tests in anna.cocoa5 Anna Maria Bigatti
16:20 Bug #1081: ideal() * RingElem gives error
fixed it: now testing Anna Maria Bigatti
16:19 Bug #1081 (Closed): ideal() * RingElem gives error
... Anna Maria Bigatti
 

Also available in: Atom