[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Expressions over finite fields
From: |
Marcus Better |
Subject: |
Re: [Axiom-mail] Expressions over finite fields |
Date: |
Mon, 16 Feb 2004 09:55:22 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040115 |
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
-----------------------------------------------------------------