Possible future changes to the basic libraries
==============================================

Algebra_I:
----------

Field: Possibly replace Field/ConstructField by

Field = 
  CommutativeRing
then
  . not e = 0
  . forall x: Elem. not x = 0 => exists y:Elem. x * y = e
end