Merge pull request #645 from skirpichev/fix-pypy

Fix pypy failures

.travis.yml

@@ -67,6 +67,7 @@ matrix:
           tags: true
   allow_failures:
     - python: pypy3.5
+      env: SPLIT=3/3
 before_install:
   - pip install --upgrade pip setuptools pytest codecov
 install:

diofant/core/expr.py

@@ -495,10 +495,6 @@ def is_constant(self, *wrt, **flags):
                     return False
                 # try random real
                 b = expr._random(None, -1, 0, 1, 0)
-                if b is not None and b is not nan and b.equals(a) is False:
-                    return False
-                # try random complex
-                b = expr._random()
                 if b is not None and b is not nan and b.equals(a) is False:
                     return False
                 failing_number = a if a.is_number else b

diofant/core/tests/test_cache.py

@@ -1,3 +1,4 @@
+import gc
 import sys
 import weakref
 
@@ -116,4 +117,5 @@ def test_sympyissue_8825():
     assert sstr(list(ordered(d.items()))) == '[(a, 1), (b, 2)]'
     del a
     clear_cache()
+    gc.collect()
     assert sstr(list(ordered(d.items()))) == '[(b, 2)]'

diofant/domains/algebraicfield.py

@@ -151,7 +151,7 @@ def __init__(self, rep):
         else:
             rep = [dom.convert(_) for _ in rep]
 
-        self.rep = dmp_strip(rep, 0)
+        self.rep = dmp_rem(dmp_strip(rep, 0), self.mod, 0, self.domain)
 
     @property
     def parent(self):

diofant/domains/tests/test_domains.py

@@ -775,6 +775,12 @@ def test_AlgebraicElement():
     assert f.mod == mod
     assert f.domain == QQ
 
+    f = A([QQ(3, 2)])
+
+    assert f.rep == [QQ(3, 2)]
+    assert f.mod == mod
+    assert f.domain == QQ
+
     B = QQ.algebraic_field(I*sqrt(2))
 
     a = A([QQ(1), QQ(1)])
@@ -800,7 +806,8 @@ def test_AlgebraicElement():
     assert bool(A([QQ(1)])) is True
 
     a = A([QQ(1), -QQ(1), QQ(2)])
-    assert a.LC() == 1
+    assert a.LC() == -1
+    assert a.rep == [-1, 1]
 
     A = QQ.algebraic_field(root(2, 3))
 

diofant/polys/tests/test_numberfields.py

@@ -365,7 +365,7 @@ def test_field_isomorphism():
 
     assert field_isomorphism(f, e) == [QQ(3, 80), 0, -QQ(139, 80), 0, QQ(347, 20), 0, -QQ(761, 20), -5]
 
-    assert field_isomorphism(QQ.algebraic_field(3), QQ.algebraic_field(sqrt(2))) == [1, 0]
+    assert field_isomorphism(QQ.algebraic_field(3), QQ.algebraic_field(sqrt(2))) == [3]
 
     assert field_isomorphism(QQ.algebraic_field(+I*sqrt(3)), QQ.algebraic_field(I*sqrt(3)/2)) == [+1, 0]
     assert field_isomorphism(QQ.algebraic_field(-I*sqrt(3)), QQ.algebraic_field(I*sqrt(3)/2)) == [-1, 0]

diofant/vector/basisdependent.py

@@ -182,8 +182,6 @@ def __new__(cls, *args, **options):
 
         return obj
 
-    __init__ = Add.__init__
-
 
 class BasisDependentMul(BasisDependent, Mul):
     """
@@ -242,8 +240,6 @@ def __new__(cls, *args, **options):
 
         return obj
 
-    __init__ = Mul.__init__
-
     def __str__(self, printer=None):
         measure_str = self._measure_number.__str__()
         if ('(' in measure_str or '-' in measure_str or