Skip to main content
Mathematica

Return to Question

Post Closed as "Duplicate" by yarchik, MarcoB, bbgodfrey, corey979, Michael E2
Added code
Source Link
MarcoB
MarcoB
  • 67.7k
  • 18
  • 96
  • 198

I have been trying to simplify equations using Mathematica of the following basic form: $$\text{FullSimplify}\left[x^2+y^2,\text{Assumptions}\to x^2+y^2==c^2\right]$$ With the output being, $$x^2+y^2$$ However

FullSimplify[x^2 + y^2, Assumptions -> x^2 + y^2 == c^2]

However, if $c$ were a number, the expected result is obtained ie. $c^{2}$. I would like to know how to make Mathematica replace the more complex(as per Leaf count) LHS with the simpler RHS.

I have been trying to simplify equations using Mathematica of the following basic form: $$\text{FullSimplify}\left[x^2+y^2,\text{Assumptions}\to x^2+y^2==c^2\right]$$ With the output being, $$x^2+y^2$$ However, if $c$ were a number, the expected result is obtained ie. $c^{2}$. I would like to know how to make Mathematica replace the more complex(as per Leaf count) LHS with the simpler RHS.

I have been trying to simplify equations using Mathematica of the following basic form: $$\text{FullSimplify}\left[x^2+y^2,\text{Assumptions}\to x^2+y^2==c^2\right]$$ With the output being, $$x^2+y^2$$

FullSimplify[x^2 + y^2, Assumptions -> x^2 + y^2 == c^2]

However, if $c$ were a number, the expected result is obtained ie. $c^{2}$. I would like to know how to make Mathematica replace the more complex(as per Leaf count) LHS with the simpler RHS.

Source Link
Gattu Mytraya
Gattu Mytraya
  • 11
  • 1

FullSimplify, Assumptions: Replacing Complex expressions by Simpler Ones as per Leaf Count

I have been trying to simplify equations using Mathematica of the following basic form: $$\text{FullSimplify}\left[x^2+y^2,\text{Assumptions}\to x^2+y^2==c^2\right]$$ With the output being, $$x^2+y^2$$ However, if $c$ were a number, the expected result is obtained ie. $c^{2}$. I would like to know how to make Mathematica replace the more complex(as per Leaf count) LHS with the simpler RHS.