CoCoA » CoCoALib

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