CoCoA » CoCoALib

14 Nov 2018

17:20 Bug #1233 (Resolved): factor SEGV -- too large characteristic

I have found two bugs related to the old code in the factorizer which uses @int@ (for speed?) rather than @long@.
I ... John Abbott

08 Nov 2018

09:58 Bug #1233: factor SEGV -- too large characteristic

Obviously I discovered the bug while demoing CoCoA-5 :-/
Ange would like to be able to factorize (univariate poly... John Abbott

09:57 Bug #1233 (Resolved): factor SEGV -- too large characteristic

@factor@ can cause a SEGV if the characteristic is @NextProbPrime(2^31)@.... John Abbott

29 Oct 2018

18:03 Feature #898: New function: cardinality of finite field?

I have just noticed that *@LogCardinality@* is not implemented as I expected: it returns 0 when applied to a poly rin... John Abbott

18:00 Design #1232: IsPrime(0)

John Abbott wrote:
> Though I admit that @LogCardinality@ is not the most obvious name; maybe @FiniteFieldExtnDeg@ w... Anna Maria Bigatti

17:52 Design #1232 (Closed): IsPrime(0)

Indeed, I probably created @IsFiniteField@ exactly for this reason. Also the correct code is clearer to read:... John Abbott

15:51 Design #1232: IsPrime(0)

I'd rather keep the error, as in this case you already have @IsFiniteField@.
I'm not sure whether one would expect i... Anna Maria Bigatti

10:44 Design #1232 (Closed): IsPrime(0)

What should *@IsPrime(0)@* do?
Currently it gives error (because arg must be strictly positive).
I ask because ... John Abbott