CoCoA » CoCoALib

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