CoCoA

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... John Abbott

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... John Abbott

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... John Abbott

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

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... John Abbott

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 ... John Abbott

29 Jun 2017

16:32 CoCoA-5 Feature #1084 (Feedback): New function: PrevPrime

Anna Maria Bigatti

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
Anna Maria Bigatti

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! John Abbott

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

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

12:43 CoCoA-5 Feature #1021 (Resolved): CoCoA Manual: search should ignore multiple spaces

John Abbott

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
... John Abbott

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

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

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

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

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

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

18:27 CoCoALib Feature #900: New function: MinPoly of RingElem in quotient ring

Is this a duplicate issue? Progress is really 0%? John Abbott

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... John Abbott

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

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... John Abbott

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... John Abbott

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@
John Abbott

21:32 CoCoALib Bug #1082 (Closed): factor in ZZ[x] gives errors

factorizing in ZZ[x] gives errors.
Rectify.
John Abbott

20 Jun 2017

16:27 CoCoALib Bug #1081 (Feedback): ideal() * RingElem gives error

added tests in anna.cocoa5 Anna Maria Bigatti

16:20 CoCoALib Bug #1081: ideal() * RingElem gives error

fixed it: now testing Anna Maria Bigatti

16:19 CoCoALib Bug #1081 (Closed): ideal() * RingElem gives error

... Anna Maria Bigatti

14:24 CoCoA-5 Bug #1080: intersect: problem with zero generators

We must remember to add some tests for various failing cases when this has been resolved.
*PS* it is a little tedi... John Abbott

16 Jun 2017

19:14 CoCoA-5 Bug #1080: intersect: problem with zero generators

The problem appears to be the ctor for a @GPoly@ which does not allow @GPoly@ of 0 to be created.
Location @TMPGredu... John Abbott

19:02 CoCoA-5 Bug #1080 (Closed): intersect: problem with zero generators

There are still problems with zero generators:... John Abbott

17:24 CoCoA-5 Support #1077 (Resolved): Manual: remove old stuff about "devices"

I have checked in the updated doc. Anna will check it.
John Abbott

17:22 CoCoALib Bug #1064 (Feedback): Bug in MinPolyModular (ugly prime)

John Abbott

16:50 CoCoALib 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 CoCoALib 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

14 Jun 2017

14:58 CoCoA-5 Support #1079 (In Progress): CoCoAManual: AffHilbertFn accepts also ideal (correct?)

The fn @AffHilbertFn@ accepts a RING or an IDEAL.
The manual says it accepts only a RING.
Rectify!
John Abbott

13 Jun 2017

16:37 CoCoALib 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

11:28 CoCoA-5 Support #1077 (In Progress): Manual: remove old stuff about "devices"

I have already done some of this.
While this is not that important, I prefer to resolve it quickly, so I have left... John Abbott

11:26 CoCoA-5 Support #1077 (Resolved): Manual: remove old stuff about "devices"

The CoCoA-5 manual still contain references to (input-output) "devices".
This is now very obsolete.
Clean the rel... John Abbott

12 Jun 2017

19:08 CoCoA-5 Bug #670 (Feedback): Error column indicator misaligned with non-printing (unprintable) characters

This has already been done (ages ago?).
Moving to "feedback".
John Abbott

18:27 CoCoA-5 Bug #1076: EmacsUI: interrupt copies line cursor is on to bottom then interrupts

Marked as low priority because it appears to be harmless, just "unsightly".
I suspect it may be a feature of @comint... John Abbott

18:25 CoCoA-5 Bug #1076 (New): EmacsUI: interrupt copies line cursor is on to bottom then interrupts

Using Emacs, if you move the cursor away from the bottom line in the *@*cocoa5*@* buffer, and then interrupt a comput... John Abbott

07 Jun 2017

15:19 CoCoA-5 Feature #1011: Random seed fn

In the manual page I have given a simplistic example of calling @reseed@ with an argument which varies with the time:... John Abbott