> This raises the question, why is FiniteField(p,n) not convertible to
> Integer? I mean is it just an omission?
I would like to say, I leave this to you as an exercise. ;-)
Of course, conversion can "somehow" be done.
For PrimeField the conversion is quite natural, but how would you
convert between the integers 0,1,2,3 and the elements of FiniteField(2,2)?
(339) -> FF ==> FiniteField(2,2)
(340) -> a1 := 1$FF
(340) 1
(341) -> a2 := a1+a1
(341) 0
(342) -> a3 := a1+a1+a1
(342) 1
Hmmmm... isn't that strange? ;-)
Ralf