exporting patch:
# HG changeset patch
# User Julian Rueth <julian.rueth@gmail.com>
Trac 9054: category for function field orders
diff git a/sage/rings/function_field/function_field_order.py b/sage/rings/function_field/function_field_order.py
index f872e49..44c8ce2 100644
a

b

class FunctionFieldOrder_basis(FunctionFieldOrder): 
214  214  sage: O = L.equation_order(); O 
215  215  Order in Function field in y defined by y^4 + x*y + 4*x + 1 
216  216  sage: type(O) 
217   <class 'sage.rings.function_field.function_field_order.FunctionFieldOrder_basis_with_category'> 
 217  <class 'sage.rings.function_field.function_field_order.FunctionFieldOrder_basis'> 
218  218  
219  219  The basis only defines an order if the module it generates is closed under multiplication 
220  220  and contains the identity element (only checked when ``check`` is True):: 
… 
… 
class FunctionFieldOrder_rational(PrincipalIdealDomain, FunctionFieldOrder): 
365  365  sage: R = K.maximal_order(); R 
366  366  Maximal order in Rational function field in t over Finite Field of size 19 
367  367  sage: type(R) 
368   <class 'sage.rings.function_field.function_field_order.FunctionFieldOrder_rational_with_category'> 
 368  <class 'sage.rings.function_field.function_field_order.FunctionFieldOrder_rational'> 
369  369  """ 
370  370  FunctionFieldOrder.__init__(self, function_field) 
371  371  PrincipalIdealDomain.__init__(self, self, names = function_field.variable_names(), normalize = False) 