Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

order of assume

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!

order of assume

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!