Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

7
  • $\begingroup$ Is there a way to do it where T1 is still defined? Because I need it (and T2, T3, ...) in other places. Didn't know about "Format", thanks! I could imagine using a Module or Block, but it seems so ugly... $\endgroup$ Commented Apr 19, 2020 at 13:32
  • $\begingroup$ Define the replacement rule t1r = T1 -> π Ai/(2 Ja); Then whenever you want to replace T1 use expression /. t1r $\endgroup$ Commented Apr 19, 2020 at 14:05
  • $\begingroup$ Perhaps I'm misunderstanding, but if I only have the replacement rule then there would be no way for the system to know there is a relationship between T1 and Ja and so I'd either have answers without T1 (if I used the replacement rules) or I'd have answers with a mix of T1 and Ai/Ja, but without the simplifications that can result by knowing how they inter-relate. $\endgroup$ Commented Apr 19, 2020 at 14:24
  • $\begingroup$ If you Set the value of T1, i.e. T1 = ... then T1 can never appear since it will always be replaced by its definition. A rule enables you to either not use the rule and let T1 appear or use the rule and thereby substitute for T1. Alternatively, you can define the equation T1 == ... and use the equation in a system of equations (Solve, Eliminate, Reduce, FindInstance, ...) or as an assumption in Simplify or similar. $\endgroup$ Commented Apr 19, 2020 at 14:37
  • $\begingroup$ Ok, that makes sense, thank you! If I want to do the system of equations route, do I need to do something like eq1 = T1 == ..., eq2 = T2 == ..., or is there some way to reference the T1 == and T2 == without assigning the equality to another symbol? $\endgroup$ Commented Apr 19, 2020 at 19:32