id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
11784 Add more sanity checks to FiniteField constructor lftabera lftabera "Galois (i.e. finite) fields admits a modulus argument and by default it checks if the modulus is irreducible mod the characteristic of the field.
However, it does not check that the polynomial is of the right degree.
An example:
{{{
sage: K=GF(3**2,name='a', modulus=QQ[x](x^3-x+1))
sage: K
Finite Field in a of size 3^2
sage: K.list()
[0, a + 1, 1, 2, 1, 2, 1, 2, 1]
sage: K.modulus()
x^2
}}}" defect closed major sage-4.8 basic arithmetic fixed beginner GF sage-4.8.alpha2 Luis Felipe Tabera Alonso Johan Bosman N/A