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
$\displaystyle y$
$\displaystyle 5$
$\displaystyle 6$
$\displaystyle y$
$\displaystyle y^{3} + 2 \, y + \frac{y}{{\left(y + 1\right)}^{3}} + 1$
$\displaystyle y^{3} + 2 \, y + \frac{y}{y^{3} + 3 \, y^{2} + 3 \, y + 1} + 1$
$\displaystyle \cos\left(x\right) = 0$
[$\displaystyle x = \frac{1}{2} \, \pi$]
$\displaystyle 0 = 0$
($\displaystyle x$, $\displaystyle y$)