Skip to main content

dynamic - Manipulate in Manipulate


Question 63982 (Altering values in Manipulate with dynamically generated controls) got a very interesting answer from @belisarius, in which he used a Manipulate within a Manipulate to achieve the goal. I am puzzled by his solution and will demonstrate my embarrassment by a somewhat simplified example.


In Mathematica there are actually two independent sets of variables: those that are used by the frontend and those that are used by the kernel. All interactivity in Mathematica, such as Manipulate, Button, ... is based on interaction with the user and therefore belongs completely to the domain of the frontend. But we use kernel commands with kernel variables to construct these user interfaces. Fortunately, in Mathematica it is practically never necessary to bother about the difference between frontend and kernel variables, the frontend and the kernel are very well integrated.


Let us start with a simple example, based on the question mentioned above. The button displays the current value of the two variables x and s.


Row[{Manipulate[x, {{x, s}, -1, 1}, Button[Dynamic[{x, s}], s = RandomReal[{-1, 1}]]],
  Spacer[30], Dynamic[{x, s}]}]


In the second argument of Manipulate, the s is the initial value for x. When we move the slider, we see that in the Manipulate expression the value of x is continuously updated but not outside this expression; the variable s does not change at all. That is as expected. Moreover, when we look at the input form of the Manipulate expression, we see that the current value of x is stored in the second argument of Manipulate at the position of s. That is well documentated. There is no connection at all between s and x. When we press the button, the value of both the kernel s and the frontend s changes, but is has no effect on x.


Also, when we inspect the box structure of the displayed Manipulate expression with the toggle Ctrl-E, we see a.o. the variable \$CellContext`x$$. That is, I think, the indication of a frontend variable that has no connection with a kernel variable at all. Its value is displayed on the button, but not outside the Manipulate expression. Moreover, there is a variable $CellContext`s, which, I think, is a frontend variable that is automatically linked to the kernel variable s. So we see its value both on the button and in the Dynamic output.


The following command is a simplified form of the construction of @belisarius. We wrap the Manipulate in another Manipulate:


Row[{Manipulate[Manipulate[x, {{x, s}, -1, 1}, Button[Dynamic[{x, s}], s = RandomReal[{-1, 1}]]]],
   Spacer[30], Dynamic[{x, s}]}]

When we move the slider for x, we see as before the updating on the button, but not in the Dynamic output. When we click on the button for s, of course the value of s changes, but now the value of x is set to the value of s. That means that the effect of the outer Manipulate is that by clicking on the button the inner Manipulate is completely re-evaluated, including the initialization of x to s. It might be simple to understand, but I fail to see an explanation for that.


Another effect is that in the input form we no longer see the values of x and s, and that in the box form the variable \$CellContext`x$$ is no longer is visible. Instead we have the frontend variable \$CellContext`x that is now NOT coupled to the kernel variable x.


Any hint that helps me in better understanding what is going on here is highly appreciated.




Comments

Post a Comment

Popular posts from this blog

mathematical optimization - Minimizing using indices, error: Part::pkspec1: The expression cannot be used as a part specification

I want to use Minimize where the variables to minimize are indices pointing into an array. Here a MWE that hopefully shows what my problem is. vars = u@# & /@ Range[3]; cons = Flatten@ { Table[(u[j] != #) & /@ vars[[j + 1 ;; -1]], {j, 1, 3 - 1}], 1 vec1 = {1, 2, 3}; vec2 = {1, 2, 3}; Minimize[{Total@((vec1[[#]] - vec2[[u[#]]])^2 & /@ Range[1, 3]), cons}, vars, Integers] The error I get: Part::pkspec1: The expression u[1] cannot be used as a part specification. >> Answer Ok, it seems that one can get around Mathematica trying to evaluate vec2[[u[1]]] too early by using the function Indexed[vec2,u[1]] . The working MWE would then look like the following: vars = u@# & /@ Range[3]; cons = Flatten@{ Table[(u[j] != #) & /@ vars[[j + 1 ;; -1]], {j, 1, 3 - 1}], 1 vec1 = {1, 2, 3}; vec2 = {1, 2, 3}; NMinimize[ {Total@((vec1[[#]] - Indexed[vec2, u[#]])^2 & /@ R...
Post a Comment
Read more

functions - Get leading series expansion term?

Given a function f[x] , I would like to have a function leadingSeries that returns just the leading term in the series around x=0 . For example: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x)] x and leadingSeries[(1/x + 2 + (1 - 1/x^3)/4)/(4 + x)] -(1/(16 x^3)) Is there such a function in Mathematica? Or maybe one can implement it efficiently? EDIT I finally went with the following implementation, based on Carl Woll 's answer: lds[ex_,x_]:=( (ex/.x->(x+O[x]^2))/.SeriesData[U_,Z_,L_List,Mi_,Ma_,De_]:>SeriesData[U,Z,{L[[1]]},Mi,Mi+1,De]//Quiet//Normal) The advantage is, that this one also properly works with functions whose leading term is a constant: lds[Exp[x],x] 1 Answer Update 1 Updated to eliminate SeriesData and to not return additional terms Perhaps you could use: leadingSeries[expr_, x_] := Normal[expr /. x->(x+O[x]^2) /. a_List :> Take[a, 1]] Then for your examples: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x), x] leadingSeries[Exp[x], x] leadingSeries[(1/x + 2 + (1 - 1/x...
Post a Comment
Read more

What is and isn't a valid variable specification for Manipulate?

I have an expression whose terms have arguments (representing subscripts), like this: myExpr = A[0] + V[1,T] I would like to put it inside a Manipulate to see its value as I move around the parameters. (The goal is eventually to plot it wrt one of the variables inside.) However, Mathematica complains when I set V[1,T] as a manipulated variable: Manipulate[Evaluate[myExpr], {A[0], 0, 1}, {V[1, T], 0, 1}] (*Manipulate::vsform: Manipulate argument {V[1,T],0,1} does not have the correct form for a variable specification. >> *) As a workaround, if I get rid of the symbol T inside the argument, it works fine: Manipulate[ Evaluate[myExpr /. T -> 15], {A[0], 0, 1}, {V[1, 15], 0, 1}] Why this behavior? Can anyone point me to the documentation that says what counts as a valid variable? And is there a way to get Manpiulate to accept an expression with a symbolic argument as a variable? Investigations I've done so far: I tried using variableQ from this answer , but it says V[1...
Post a Comment
Read more