Project

General

Profile

Activity

From 04 Jun 2017 to 03 Jul 2017

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

16 Jun 2017

17:22 Bug #1064 (Feedback): Bug in MinPolyModular (ugly prime)
John Abbott
16:50 Bug #1064 (In Progress): Bug in MinPolyModular (ugly prime)
The following example gives SEGV on the latest internal version of CoCoA:... John Abbott
16:48 Design #1065 (In Progress): Design: should we allow an ideal to change ring?
The students here working on translating @HomomorphismFns.cpkg5@ into CoCoALib wanted to reassign an ideal changing r... John Abbott

13 Jun 2017

16:37 Bug #1078 (Closed): makefile: ungraceful when interrupted
It seems that interrupting the building of @Makefile_dependencies@ gives the impression (to @make@) that the dependen... John Abbott
 

Also available in: Atom