Ticket #9054: trac_9054_order_category.patch

File trac_9054_order_category.patch, 1.6 KB (added by saraedum, 6 years ago)

orders have no category set

  • sage/rings/function_field/function_field_order.py

    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): 
    214214            sage: O = L.equation_order(); O
    215215            Order in Function field in y defined by y^4 + x*y + 4*x + 1
    216216            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'>
    218218
    219219        The basis only defines an order if the module it generates is closed under multiplication
    220220         and contains the identity element (only checked when ``check`` is True)::
    class FunctionFieldOrder_rational(PrincipalIdealDomain, FunctionFieldOrder): 
    365365            sage: R = K.maximal_order(); R
    366366            Maximal order in Rational function field in t over Finite Field of size 19
    367367            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'>
    369369        """
    370370        FunctionFieldOrder.__init__(self, function_field)
    371371        PrincipalIdealDomain.__init__(self, self, names = function_field.variable_names(), normalize = False)