Hi, I am perplexed as to what is being tracked. There does not appear to be a bug mentioned. Art

Hi, I am perplexed as to what is being tracked. There does not appear to be a bug mentioned. Art

Hi Robert, With your example, "has(sin(x)^2+cos(x)^2,x)" is also true. So, I don't see the difference between "has" and "depends" in this case. Regards, Art

Hi Robert, With your example, "has(sin(x)^2+cos(x)^2,x)" is also true. So, I don't see the difference between "has" and "depends" in this case. Regards, Art

Hi, Thanks for the reply. I was using assumptions that Ip was real. I believe it was global. I didn't do anything to make it explicitly local. When you say save a procedure you mean something that takes an argument? t-> (something) I had created these "functions" via unapply. Does anyone have any more detail on why saving something with assumptions should make it unrecognizable as the same variable? Thanks, Art

Hi, Thanks for the reply. I was using assumptions that Ip was real. I believe it was global. I didn't do anything to make it explicitly local. When you say save a procedure you mean something that takes an argument? t-> (something) I had created these "functions" via unapply. Does anyone have any more detail on why saving something with assumptions should make it unrecognizable as the same variable? Thanks, Art