How to evaluate A Taylor series at a specific value

[Albert Chan]

(08-22-2018 07:52 PM)parisse Wrote:  | is evaluated more like a program, where x would be like an argument.
taylor(sin(x))|x=0.5 will evaluate sin(x) to sin(0.5) before taylor is called.

It's hard to evaluate |. You don't want to get sin(1) for sin(x)|x=2 if x:=1; has been run

If "|" is like running a program with argument x:

taylor(sin(x))|x=0.5 ==> (lambda x: taylor(sin(x))) (0.5) ==> taylor(sin(0.5)) ==> sin(0.5)

sin(x)|x=2 ==> (lambda x: sin(x))(2) ==> sin(2)

Why does "|" hard to evaluate ?
Why previous run of x := 1 affect it ?

Maybe "|" is simply "evaluate at" ?
However, that imply taylor had a bug (post #23)