Changeset 6140:2fb4b1da68ab for sage/rings/number_field/number_field.py

Timestamp:

09/04/07 17:30:50 (6 years ago)

Author:

William Stein <wstein@…>

Branch:

default

Message:

Working on improving basic structure of number fields.

File:

• sage/rings/number_field/number_field.py (modified) (4 diffs)

sage/rings/number_field/number_field.py

@@ -7 +7 @@
 """
 
-"""
-Ideas / todo
-
-* Make the base class for all number fields cdef's so that elements
-have very fast access to e.g., properties of the field such as the
-degree, defining poly, etc.  This will optimize the error testing in
-getime for number field elements.
-
-"""
 
 #*****************************************************************************
@@ -72 +63 @@
 
 import sage.rings.arith as arith
-import sage.rings.field as field
 import sage.rings.rational_field as rational_field
 import sage.rings.integer_ring as integer_ring
@@ -231 +221 @@
     return isinstance(x, NumberField_quadratic)
 
-def is_NumberField(x):
-    """
-    Return True if x is of number field type.
-
-    EXAMPLES:
-        sage: is_NumberField(NumberField(x^2+1,'a'))
-        True
-        sage: is_NumberField(QuadraticField(-97,'theta'))
-        True
-        sage: is_NumberField(CyclotomicField(97))
-        True
-        sage: is_NumberField(QQ)
-        True
-    """
-    return isinstance(x, NumberField_generic)
-
 def is_NumberFieldExtension(x):
     return isinstance(x, NumberField_extension)
@@ -266 +240 @@
     return isinstance(x, NumberField_cyclotomic)
 
-
-class NumberField_generic(field.Field):
+import number_field_base
+
+is_NumberField = number_field_base.is_NumberField
+
+class NumberField_generic(number_field_base.NumberField):
     """
     EXAMPLES: