Drasil icon indicating copy to clipboard operation
Drasil copied to clipboard

DblPend, SglPend: `A:startOrigin` assumptions++

Open balacij opened this issue 7 months ago • 1 comments

@smith's recent comment on #4088 (https://github.com/JacquesCarette/Drasil/pull/4088#discussion_r2116223757) had me looking into the assumptions into A:startOrigin assumption a tad bit, where I realized that:

  1. A:startOrigin doesn't appear to be used.
  2. It also seems to be superseded by A:firstPend, which includes the content of A:startOrigin with the "first pendulum" text.
  3. However, A:firstPend is also not referenced anywhere in the SRS!

balacij avatar May 30 '25 17:05 balacij

@balacij thank you for the new information. I think the fact that the assumption is never invoked is evidence that it isn't really necessary. The assumption is an incomplete version of what we already say when we define the angle $\theta_1$. We are saying in words what we say better in the figure showing the double pendulum. The same applies for A:secondPend and $\theta_2$.

I think the cleanest fix is to remove the two assumptions we are discussing.

smiths avatar May 30 '25 18:05 smiths

I was going to work on this however I just wanted to confirm that the result of this conversation was to just remove the startOrigin, firstPend, and secondPend assumptions altogether?

jackwyand avatar Jun 13 '25 19:06 jackwyand

Yes, you can remove them @jackwyand.

smiths avatar Jun 14 '25 16:06 smiths