diff --git a/sympy/__init__.py b/sympy/__init__.py
index 5f2a78a..bb1968f 100644
--- a/sympy/__init__.py
+++ b/sympy/__init__.py
@@ -33,6 +33,7 @@ def __sympy_debug():
 from geometry import *
 from utilities import *
 from integrals import *
+from abstractalgebra import *
 # This module is slow to import:
 #from physics import units
 from plotting import Plot, textplot
diff --git a/sympy/abstractalgebra/finitefield.py b/sympy/abstractalgebra/finitefield.py
index 42a0eb2..a57ce96 100644
--- a/sympy/abstractalgebra/finitefield.py
+++ b/sympy/abstractalgebra/finitefield.py
@@ -20,10 +20,10 @@ def elements(self):
         """Returns the elements of the finite field
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import  PrimeField
-        >>> gf2=PrimeField(2)
-        >>> print gf2.elements()
-        [0, 1]
+	    >>> from sympy.abstractalgebra.finitefield import  PrimeField
+            >>> gf2=PrimeField(2)
+            >>> print gf2.elements()
+            [0, 1]
         """
 
         elements = range(0, self.p, 1)
@@ -33,10 +33,10 @@ def add(self,x1,x2):
         """Returns the addition of the two arguements in modulo p
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import PrimeField
-        >>> gf7 = PrimeField(7)
-        >>> gf7.add(4,5)
-        2
+	    >>> from sympy.abstractalgebra.finitefield import PrimeField
+            >>> gf7 = PrimeField(7)
+            >>> gf7.add(4,5)
+            2
         """
 
         if x1 <= self.p -1 and x2 <= self.p -1:
@@ -48,10 +48,10 @@ def additive_inverse(self,x):
         """Returns the additive inverse of the element
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import PrimeField
-        >>> gf7 = PrimeField(7)
-        >>> gf7.additive_inverse(5)
-        2
+	    >>> from sympy.abstractalgebra.finitefield import PrimeField
+            >>> gf7 = PrimeField(7)
+            >>> gf7.additive_inverse(5)
+            2
         """
         return self.p-x
 
@@ -59,10 +59,10 @@ def multiply(self,x1,x2):
         """Returns the multiplication of arguements in modulo p
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import PrimeField
-        >>> gf7 = PrimeField(7)
-        >>> gf7.multiply(4,5)
-        6
+	    >>> from sympy.abstractalgebra.finitefield import PrimeField
+            >>> gf7 = PrimeField(7)
+            >>> gf7.multiply(4,5)
+            6
         """
 
         if x1 <= self.p -1 and x2 <= self.p -1:
@@ -77,10 +77,10 @@ def multiplicative_inverse(self,x):
         Inverse is y, such that xy+qp=1 iff gcd of x and p is 1.
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import PrimeField
-        >>> gf7 = PrimeField(7)
-        >>> gf7.multiplicative_inverse(4)
-        2
+	    >>> from sympy.abstractalgebra.finitefield import PrimeField
+            >>> gf7 = PrimeField(7)
+            >>> gf7.multiplicative_inverse(4)
+            2
         """
         if x < self.p and x > -1:
             return igcdex(x,self.p)[0]%self.p
@@ -93,10 +93,10 @@ def power(self,x,power):
         Uses repeated squaring
 
         Examples:
-	>>> from sympy.abstractalgebra.finitefield import PrimeField
-        >>> gf7 = PrimeField(7)
-        >>> gf7.power(3,3)
-        6
+	    >>> from sympy.abstractalgebra.finitefield import PrimeField
+            >>> gf7 = PrimeField(7)
+            >>> gf7.power(3,3)
+            6
         """
 
         if x < self.p and x > -1:
@@ -116,6 +116,13 @@ def power(self,x,power):
             raise ValueError('Argument must be an element of prime field')
 
     def __repr__(gf):
-	elements = gf.elements()
-	return str(elements)
-    
+        repr = "PrimeField(" + str(gf.p) + ")"
+        return repr
+
+    def __str__(gf):
+        elements = gf.elements()
+        rstr = str(elements)
+        rstr = rstr.replace("[","{")
+        rstr = rstr.replace("]","}")
+        return rstr
+