|
From: | Marcus Better |
Subject: | Re: [Axiom-mail] Expressions over finite fields |
Date: | Mon, 16 Feb 2004 18:20:37 +0100 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040115 |
EXPR has the signature: Expression(R:OrderedSet)but if we ask about PrimeField(2): PrimeField(2) has OrderedSet ==> falseso Axiom will not allow you to build the type because PrimeField(2) lacks the OrderedSet property.
The categories that are defined in algfunc.spad (AlgebraicallyClosedField, AlgebraicallyClosedFunctionSpace etc) all seem to impose the OrderedSet assumptions for the underlying domains.
I probably don't know the code well enough, but is this OrderedSet restriction really motivated? It would appear that most of these operations, such as rootsOf and friends, make perfect sense without OrderedSet.
For instance, it should be possible to apply these operations to PrimeField 2, as I have been trying to do, even though it is not an OrderedSet.
Unless someone tells me that I've got it all wrong here, I might just clone the code in algfunc.spad and see what happens.
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 -----------------------------------------------------------------
[Prev in Thread] | Current Thread | [Next in Thread] |