[Axiom-mail] Expressions over finite fields

[Marcus Better]

Hi all,

I am looking for a way to handle algebraic expressions over finite 
fields that will allow me to take square roots of variables. For 
example, I want something like

   (sqrt(a)*w + w^2)::UTS(EXPR INT, w, 0)

but in positive characteristic. There is apparently no such thing as 
EXPR PrimeField 2.

I am currently using FRAC POLY PrimeField 2, which allows me to form 
rational functions of variables, but not to take square roots. Is there 
a more appropriate domain available?

Is it possible to work with transcendental field extensions?

Thanks,
Marcus

--
-----------------------------------------------------------------
Marcus Better
Department of Mathematics                      Tel. +46 8 164539
Stockholm University                           Fax +46 8 6126717
SE-106 91 Stockholm
Sweden                                     http://www.math.su.se
-----------------------------------------------------------------