Re: [Axiom-mail] Expressions over finite fields

[root]

Marcus,

Cloning the needed category and domain with new names and
changing the restriction on the parameters from OrderedSet 
to Set is what I would have suggested. 

You may run into later code that has tests like:

   if R has OrderedSet

which will not allow you to build Domains or will allow
you to build Domains but elide certain functions. Axiom
can construct a Domain that has code conditioned on 
categorical properties (so matricies over integers may
not have an inverse function, for example).

Tim