Error in lines 4-4
Traceback (most recent call last):
File "/cocalc/lib/python3.10/site-packages/smc_sagews/sage_server.py", line 1244, in execute
exec(
File "", line 1, in <module>
File "/ext/sage/9.8/src/sage/symbolic/assumptions.py", line 676, in assume
x.assume()
File "sage/symbolic/expression.pyx", line 2380, in sage.symbolic.expression.Expression.assume
raise TypeError("self (=%s) must be a relational expression" % self)
TypeError: self (=x^2 + 1) must be a relational expression
[]
(, )