exporting patch:
# HG changeset patch
# User Julian Rueth <julian.rueth@gmail.com>
Trac 9054: authors and copyrights
diff git a/sage/rings/function_field/constructor.py b/sage/rings/function_field/constructor.py
index 9027c10..49738f1 100644
a

b


1  1  r""" 
2  2  Factories to construct Function Fields. 
3  3  
 4  AUTHORS: 
 5  
 6   William Stein (2010): initial version 
 7  
 8   Maarten Derickx (20110911): added FunctionField_polymod_Constructor, use @cached_function 
 9  
 10   Julian Rueth (20110914): replaced @cached_function with UniqueFactory 
 11  
4  12  EXAMPLES:: 
5  13  
6  14  sage: K.<x> = FunctionField(QQ); K 
… 
… 
EXAMPLES:: 
10  18  sage: K is L 
11  19  True 
12  20  """ 
 21  #***************************************************************************** 
 22  # Copyright (C) 2010 William Stein <wstein@gmail.com> 
 23  # Copyright (C) 2011 Maarten Derickx <m.derickx.student@gmail.com> 
 24  # Copyright (C) 2011 Julian Rueth <julian.rueth@gmail.com> 
 25  # 
 26  # Distributed under the terms of the GNU General Public License (GPL) 
 27  # as published by the Free Software Foundation; either version 2 of 
 28  # the License, or (at your option) any later version. 
 29  # http://www.gnu.org/licenses/ 
 30  #***************************************************************************** 
13  31  
14  32  from sage.structure.factory import UniqueFactory 
15  33  
diff git a/sage/rings/function_field/function_field.py b/sage/rings/function_field/function_field.py
index cb0bb22..866fec4 100644
a

b


1  1  r""" 
2  2  Function fields 
3  3  
4   EXAMPLES:: 
 4  AUTHORS: 
 5  
 6   William Stein (2010): initial version 
 7  
 8   Robert Bradshaw (20100530): added is_finite() 
 9  
 10   Julian Rueth (20110608): fixed hom(), extension() 
 11  
 12   Maarten Derickx (20110911): added doctests 
 13  
 14   Julian Rueth (20110914): use @cached_method 
 15  
 16  EXAMPLES: 
5  17  
6  18  We create an extension of a rational function fields, and do some 
7  19  simple arithmetic in it:: 
… 
… 
be fixed in another ticket:: 
50  62  sage: TestSuite(R).run(skip = '_test_elements') #long time 
51  63  sage: TestSuite(S).run(skip = '_test_elements') #long time 
52  64  """ 
 65  #***************************************************************************** 
 66  # Copyright (C) 2010 William Stein <wstein@gmail.com> 
 67  # Copyright (C) 2010 Robert Bradshaw <robertwb@math.washington.edu> 
 68  # Copyright (C) 2011 Julian Rueth <julian.rueth@gmail.com> 
 69  # Copyright (C) 2011 Maarten Derickx <m.derickx.student@gmail.com> 
 70  # 
 71  # Distributed under the terms of the GNU General Public License (GPL) 
 72  # as published by the Free Software Foundation; either version 2 of 
 73  # the License, or (at your option) any later version. 
 74  # http://www.gnu.org/licenses/ 
 75  #***************************************************************************** 
53  76  
54  77  from sage.rings.ring import Field 
55  78  from function_field_element import FunctionFieldElement, FunctionFieldElement_rational, FunctionFieldElement_polymod 
diff git a/sage/rings/function_field/function_field_ideal.py b/sage/rings/function_field/function_field_ideal.py
index 5d7069c..2ae0dd2 100644
a

b


1  1  r""" 
2  2  Ideals in Function Fields. 
3  3  
 4  AUTHORS: 
 5  
 6   William Stein (2010): initial version 
 7  
 8   Maarten Derickx (20110914): fixed ideal_with_gens_over_base() 
 9  
4  10  EXAMPLES: 
5  11  
6  12  Ideals in the maximal order of a rational function field:: 
… 
… 
Ideals in the equation order of an extension of a rational function field:: 
32  38  sage: I.intersection(~I) 
33  39  Ideal (x^3 + 1, y) of Order in Function field in y defined by y^2  x^3  1 
34  40  """ 
 41  #***************************************************************************** 
 42  # Copyright (C) 2010 William Stein <wstein@gmail.com> 
 43  # Copyright (C) 2011 Maarten Derickx <m.derickx.student@gmail.com> 
 44  # 
 45  # Distributed under the terms of the GNU General Public License (GPL) 
 46  # as published by the Free Software Foundation; either version 2 of 
 47  # the License, or (at your option) any later version. 
 48  # http://www.gnu.org/licenses/ 
 49  #***************************************************************************** 
 50  
35  51  from sage.rings.ideal import Ideal_generic 
36  52  
37  53  class FunctionFieldIdeal(Ideal_generic): 
diff git a/sage/rings/function_field/function_field_order.py b/sage/rings/function_field/function_field_order.py
index 7bb1aac..96d2e29 100644
a

b


1  1  r""" 
2  2  Orders in Function Fields. 
3  3  
 4  AUTHORS: 
 5  
 6   William Stein (2010): initial version 
 7  
 8   Maarten Derickx (20110914): fixed ideal_with_gens_over_base() for rational function fields 
 9  
 10   Julian Rueth (20110914): added check in _element_constructor_ 
 11  
4  12  EXAMPLES: 
5  13  
6  14  Maximal orders in rational function fields:: 
… 
… 
Equation orders in extensions of rational function fields:: 
22  30  sage: x/y in O 
23  31  True 
24  32  """ 
 33  #***************************************************************************** 
 34  # Copyright (C) 2010 William Stein <wstein@gmail.com> 
 35  # Copyright (C) 2011 Maarten Derickx <m.derickx.student@gmail.com> 
 36  # Copyright (C) 2011 Julian Rueth <julian.rueth@gmail.com> 
 37  # 
 38  # Distributed under the terms of the GNU General Public License (GPL) 
 39  # as published by the Free Software Foundation; either version 2 of 
 40  # the License, or (at your option) any later version. 
 41  # http://www.gnu.org/licenses/ 
 42  #***************************************************************************** 
25  43  
26  44  from sage.rings.ring import IntegralDomain, PrincipalIdealDomain 
27  45  
diff git a/sage/rings/function_field/maps.py b/sage/rings/function_field/maps.py
index 2d3f955..3c2effd 100644
a

b


1  1  r""" 
2  2  Function field morphisms. 
3  3  
 4  AUTHORS: 
 5  
 6   William Stein (2010): initial version 
 7  
 8   Julian Rueth (20110914): refactored class hierarchy 
 9  
4  10  EXAMPLES:: 
5  11  
6  12  sage: K.<x> = FunctionField(QQ); R.<y> = K[] 
… 
… 
EXAMPLES:: 
16  22  ... 
17  23  ValueError: invalid morphism 
18  24  """ 
 25  #***************************************************************************** 
 26  # Copyright (C) 2010 William Stein <wstein@gmail.com> 
 27  # Copyright (C) 2011 Julian Rueth <julian.rueth@gmail.com> 
 28  # 
 29  # Distributed under the terms of the GNU General Public License (GPL) 
 30  # as published by the Free Software Foundation; either version 2 of 
 31  # the License, or (at your option) any later version. 
 32  # http://www.gnu.org/licenses/ 
 33  #***************************************************************************** 
19  34  
20  35  from sage.categories.morphism import Morphism 
21  36  from sage.rings.morphism import RingHomomorphism 