Finite fields in Axiom: a few questions

It was playing around with finite fields which got me to investigate Axiom
in the first place.  Here are a few questions, arising from this input:

(1) -> F16:=FiniteField(2,4)

   (1)  FiniteField(2,4)
                                                                 Type:
Domain
(2) -> random()$F16

          3     2
   (2)  %A  + %A  + 1
                                                       Type:
FiniteField(2,4)
(3) -> definingPolynomial()$F16

         4
   (3)  ?  + ? + 1
                                Type: SparseUnivariatePolynomial PrimeField
2


All well and good, but

- how to I get output in terms of a nice variable (say x) rather than "?"
and "%A"?

- is there any way of forcing a particular defining polynomial?  (This is
good for working through examples.)

Thanks,
Alasdair

_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail