# HG changeset patch
# User Julian Rueth <julian.rueth@gmail.com>
Trac 9054: fixes for function fields related to the review comments by mderickx
diff git a/sage/rings/function_field/function_field.py b/sage/rings/function_field/function_field.py
index 7cf9a0e..29ab6ae 100644
a

b

class FunctionField(Field): 
120  120  sage: False in [e in K for e in elements] 
121  121  False 
122  122  """ 
123   return [self.random_element()] 
 123  return [self.random_element(), self.random_element(), self.random_element()] 
124  124  
125  125  def characteristic(self): 
126  126  """ 
… 
… 
class FunctionField_polymod(FunctionField): 
712  712  from maps import MapVectorSpaceToFunctionField, MapFunctionFieldToVectorSpace 
713  713  from_V = MapVectorSpaceToFunctionField(V, self) 
714  714  to_V = MapFunctionFieldToVectorSpace(self, V) 
715   self._vector_space = (V, from_V, to_V) 
716   return self._vector_space 
 715  return (V, from_V, to_V) 
717  716  
718  717  def maximal_order(self): 
719  718  """ 
… 
… 
class RationalFunctionField(FunctionField): 
1207  1206  from maps import MapVectorSpaceToFunctionField, MapFunctionFieldToVectorSpace 
1208  1207  from_V = MapVectorSpaceToFunctionField(V, self) 
1209  1208  to_V = MapFunctionFieldToVectorSpace(self, V) 
1210   self._vector_space = (V, from_V, to_V) 
1211   return self._vector_space 
 1209  return (V, from_V, to_V) 
1212  1210  
1213  1211  def random_element(self, *args, **kwds): 
1214  1212  """ 
diff git a/sage/rings/function_field/function_field_order.py b/sage/rings/function_field/function_field_order.py
index f872e49..7602cad 100644
a

b

class FunctionFieldOrder(IntegralDomain): 
51  51  """ 
52  52  INPUT: 
53  53  
54    ``fraction_field``  the function field in which this iss an order. 
 54   ``fraction_field``  the function field in which this is an order. 
55  55  
56  56  EXAMPLES:: 
57  57  