I am working on cloud-sagemath. I have a question on how "assume" works.
I type:
E.<x,y> = ExteriorAlgebra(SR)
_ = var('t')
psi = t*x+y
assume(t==0)
psi
when I check the output the first time with shift+enter, I just get
t * x + y
The second time, I get the expected answer:
y
Why? how to force the second answer since the beginning?
thanks in advance!