Also, if it helps, if I follow these steps
cd /home/taj/SageMath
./sage
and run the command
sage: assume(x<1)
I get a similar error
ImportError Traceback (most recent call last)
<ipython-input-1-d190d46c0ecf> in <module>()
----> 1 assume(x<Integer(1))
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/symbolic/assumptions.py in assume(*args)
625 assume(*x)
626 else:
--> 627 x.assume()
628
629
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/symbolic/expression.pyx in sage.symbolic.expression.Expression.assume (build/cythonized/sage/symbolic/expression.cpp:13564)()
1875 raise TypeError("self (=%s) must be a relational expression" % self)
1876 if not self in _assumptions:
-> 1877 m = self._maxima_init_assume_()
1878 s = maxima.assume(m)
1879 pynac_assume_rel(self._gobj)
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/symbolic/expression.pyx in sage.symbolic.expression.Expression._maxima_init_assume_ (build/cythonized/sage/symbolic/expression.cpp:14329)()
1951 m = 'notequal(%s, %s)'%(l, r)
1952 else:
-> 1953 m = '(%s)%s(%s)' % (l, maxima._relation_symbols()[op], r)
1954 return m
1955
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/misc/lazy_import.pyx in sage.misc.lazy_import.LazyImport.__getattr__ (build/cythonized/sage/misc/lazy_import.c:3536)()
319 True
320 """
--> 321 return getattr(self.get_object(), attr)
322
323 # We need to wrap all the slot methods, as they are not forwarded
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/misc/lazy_import.pyx in sage.misc.lazy_import.LazyImport.get_object (build/cythonized/sage/misc/lazy_import.c:2347)()
186 if likely(self._object is not None):
187 return self._object
--> 188 return self._get_object()
189
190 cpdef _get_object(self):
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/misc/lazy_import.pyx in sage.misc.lazy_import.LazyImport._get_object (build/cythonized/sage/misc/lazy_import.c:2586)()
218 elif self._at_startup and not startup_guard:
219 print('Option ``at_startup=True`` for lazy import {0} not needed anymore'.format(self._name))
--> 220 self._object = getattr(__import__(self._module, {}, {}, [self._name]), self._name)
221 name = self._as_name
222 if self._deprecation is not None:
/home/taj/SageMath/local/lib/python3.7/site-packages/sage/interfaces/maxima_lib.py in <module>()
90 from sage.symbolic.ring import SR
91
---> 92 from sage.libs.ecl import EclObject, ecl_eval
93
94 from .maxima_abstract import (MaximaAbstract, MaximaAbstractFunction,