Re: [Axiom-mail] Expressions over finite fields

[Marcus Better]

>     PrimeField(2) has OrderedSet  ==>  false
> so Axiom will not allow you to build the type because 
> PrimeField(2) lacks the OrderedSet property.

Yes, I figured that would be the reason.

> I can't find a domain directly for what you want but there are many
> polynomial-style domains (see the src/algebra subdirectory and grep
> for poly)

Actually, FRAC POLY PrimeField 2 seems to work well for rational 
functions of variables, but it does not allow, say, square roots of the 
variables. Perhaps there is some way to express that 'a is a new 
variable such that a^2=b where b just another variable?

> > Is it possible to work with transcendental field extensions?
>
> Yes.

Ok, I will grep around in the sources...

Thanks for your help,

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
-----------------------------------------------------------------