Why does Sin[b-a] simplify to -Sin[a-b]?Why does this sum not simplify properly?Why does Simplify ignore an assumption?Why does Mathematica not simplify the Gudermannian function?Why does Mathematica simplify $x/xto1$?Why does Mathematica not simplify this expression?Simplify does not simplifySimplification behaviour of subscript expression: is this correct?Simplify: Why does it miss this simple one?Why does the following expression not simplify?Why doesn't Simplify[Sqrt[(Sin[a])^2] ] give Sin[a]?
Should I prioritize my 401(k) over my student loans?
How do I set an alias to a terminal line?
What are the penalties for overstaying in USA?
Hand soldering SMD 1206 components
Why is the voltage measurement of this circuit different when the switch is on?
Can White Castle?
Inverse-quotes-quine
How do I respond to requests for a "guarantee" not to leave after a few months?
Links to webpages in books
Sci fi short story, robot city that nags people about health
Proving a certain type of topology is discrete without the axiom of choice
First-year PhD giving a talk among well-established researchers in the field
Why cruise at 7000' in an A319?
Is adding a new player (or players) a DM decision, or a group decision?
Cascading Repair Costs following Blown Head Gasket on a 2004 Subaru Outback
If you snatch, I trade
Can ADFS connect to other SSO services?
Why is the high-pass filter result in a discrete wavelet transform (DWT) downsampled?
How long would it take to cross the Channel in 1890's?
What is the legal status of travelling with methadone in your carry-on?
Is it damaging to turn off a small fridge for two days every week?
Accidentals and ties
Fedora boot screen shows both Fedora logo and Lenovo logo. Why and How?
Should my manager be aware of private LinkedIn approaches I receive? How to politely have this happen?
Why does Sin[b-a] simplify to -Sin[a-b]?
Why does this sum not simplify properly?Why does Simplify ignore an assumption?Why does Mathematica not simplify the Gudermannian function?Why does Mathematica simplify $x/xto1$?Why does Mathematica not simplify this expression?Simplify does not simplifySimplification behaviour of subscript expression: is this correct?Simplify: Why does it miss this simple one?Why does the following expression not simplify?Why doesn't Simplify[Sqrt[(Sin[a])^2] ] give Sin[a]?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
As I understand it, Mathematica often uses alphabetical order when simplifying expressions. For example, b-a simplifies to -a+b.
Similarly, Sin[a-b] simplifies to Sin[a-b], but Sin[b-a] simplifies to -Sin[a-b], which, in my opinion, introduces unnecessary complexity to the output. Is there some way to prevent this behavior?
Intuitively, it made much more sense to me if an uneven function like sine simplified like -f(a-b) -> f(b-a).
simplifying-expressions sorting
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
$endgroup$
add a comment |
$begingroup$
As I understand it, Mathematica often uses alphabetical order when simplifying expressions. For example, b-a simplifies to -a+b.
Similarly, Sin[a-b] simplifies to Sin[a-b], but Sin[b-a] simplifies to -Sin[a-b], which, in my opinion, introduces unnecessary complexity to the output. Is there some way to prevent this behavior?
Intuitively, it made much more sense to me if an uneven function like sine simplified like -f(a-b) -> f(b-a).
simplifying-expressions sorting
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
$endgroup$
add a comment |
$begingroup$
As I understand it, Mathematica often uses alphabetical order when simplifying expressions. For example, b-a simplifies to -a+b.
Similarly, Sin[a-b] simplifies to Sin[a-b], but Sin[b-a] simplifies to -Sin[a-b], which, in my opinion, introduces unnecessary complexity to the output. Is there some way to prevent this behavior?
Intuitively, it made much more sense to me if an uneven function like sine simplified like -f(a-b) -> f(b-a).
simplifying-expressions sorting
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
$endgroup$
As I understand it, Mathematica often uses alphabetical order when simplifying expressions. For example, b-a simplifies to -a+b.
Similarly, Sin[a-b] simplifies to Sin[a-b], but Sin[b-a] simplifies to -Sin[a-b], which, in my opinion, introduces unnecessary complexity to the output. Is there some way to prevent this behavior?
Intuitively, it made much more sense to me if an uneven function like sine simplified like -f(a-b) -> f(b-a).
simplifying-expressions sorting
simplifying-expressions sorting
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
asked Jun 6 at 10:01
MukMuk
1055 bronze badges
1055 bronze badges
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This is not simplification. It is canonicalization. Bringing expressions to canonical form is very useful because then two expressions can be compared for equality by simply checking that they have the same structure. Checking equality is a very common operation during symbolic manipulations.
a+b and b+a are structurally different, but mathematically equivalent. Sorting brings them to the same (canonical) form: a+b. Now they can be trivially compared.
Some limited canonicalization is done automatically by Mathematica. This is what you see here.
Canonicalization does not optimize expressions for readability by humans. It optimizes them for computation. For readability, use TraditionalForm. It will display -a+b as b-a (even though the underlying structure is still (-1*a)+b).
TraditionalForm is not smart enough to handle the example you show, i.e. -Sin[a-b]. I am not aware of any existing formatter that handles this the way you want. You can attempt writing one using replacement rules, but I think covering all similar cases is almost hopeless and not worth the effort ... there are too many possibilities.
You can prevent any evaluation/canonicalization using HoldForm[Sin[b-a]], but this just maintains the expression in its original form. It is not a means to convert a computation result back to the form you ask for.
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
$endgroup$
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "387"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathematica.stackexchange.com%2fquestions%2f199857%2fwhy-does-sinb-a-simplify-to-sina-b%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is not simplification. It is canonicalization. Bringing expressions to canonical form is very useful because then two expressions can be compared for equality by simply checking that they have the same structure. Checking equality is a very common operation during symbolic manipulations.
a+b and b+a are structurally different, but mathematically equivalent. Sorting brings them to the same (canonical) form: a+b. Now they can be trivially compared.
Some limited canonicalization is done automatically by Mathematica. This is what you see here.
Canonicalization does not optimize expressions for readability by humans. It optimizes them for computation. For readability, use TraditionalForm. It will display -a+b as b-a (even though the underlying structure is still (-1*a)+b).
TraditionalForm is not smart enough to handle the example you show, i.e. -Sin[a-b]. I am not aware of any existing formatter that handles this the way you want. You can attempt writing one using replacement rules, but I think covering all similar cases is almost hopeless and not worth the effort ... there are too many possibilities.
You can prevent any evaluation/canonicalization using HoldForm[Sin[b-a]], but this just maintains the expression in its original form. It is not a means to convert a computation result back to the form you ask for.
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
$endgroup$
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
add a comment |
$begingroup$
This is not simplification. It is canonicalization. Bringing expressions to canonical form is very useful because then two expressions can be compared for equality by simply checking that they have the same structure. Checking equality is a very common operation during symbolic manipulations.
a+b and b+a are structurally different, but mathematically equivalent. Sorting brings them to the same (canonical) form: a+b. Now they can be trivially compared.
Some limited canonicalization is done automatically by Mathematica. This is what you see here.
Canonicalization does not optimize expressions for readability by humans. It optimizes them for computation. For readability, use TraditionalForm. It will display -a+b as b-a (even though the underlying structure is still (-1*a)+b).
TraditionalForm is not smart enough to handle the example you show, i.e. -Sin[a-b]. I am not aware of any existing formatter that handles this the way you want. You can attempt writing one using replacement rules, but I think covering all similar cases is almost hopeless and not worth the effort ... there are too many possibilities.
You can prevent any evaluation/canonicalization using HoldForm[Sin[b-a]], but this just maintains the expression in its original form. It is not a means to convert a computation result back to the form you ask for.
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
$endgroup$
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
add a comment |
$begingroup$
This is not simplification. It is canonicalization. Bringing expressions to canonical form is very useful because then two expressions can be compared for equality by simply checking that they have the same structure. Checking equality is a very common operation during symbolic manipulations.
a+b and b+a are structurally different, but mathematically equivalent. Sorting brings them to the same (canonical) form: a+b. Now they can be trivially compared.
Some limited canonicalization is done automatically by Mathematica. This is what you see here.
Canonicalization does not optimize expressions for readability by humans. It optimizes them for computation. For readability, use TraditionalForm. It will display -a+b as b-a (even though the underlying structure is still (-1*a)+b).
TraditionalForm is not smart enough to handle the example you show, i.e. -Sin[a-b]. I am not aware of any existing formatter that handles this the way you want. You can attempt writing one using replacement rules, but I think covering all similar cases is almost hopeless and not worth the effort ... there are too many possibilities.
You can prevent any evaluation/canonicalization using HoldForm[Sin[b-a]], but this just maintains the expression in its original form. It is not a means to convert a computation result back to the form you ask for.
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
$endgroup$
This is not simplification. It is canonicalization. Bringing expressions to canonical form is very useful because then two expressions can be compared for equality by simply checking that they have the same structure. Checking equality is a very common operation during symbolic manipulations.
a+b and b+a are structurally different, but mathematically equivalent. Sorting brings them to the same (canonical) form: a+b. Now they can be trivially compared.
Some limited canonicalization is done automatically by Mathematica. This is what you see here.
Canonicalization does not optimize expressions for readability by humans. It optimizes them for computation. For readability, use TraditionalForm. It will display -a+b as b-a (even though the underlying structure is still (-1*a)+b).
TraditionalForm is not smart enough to handle the example you show, i.e. -Sin[a-b]. I am not aware of any existing formatter that handles this the way you want. You can attempt writing one using replacement rules, but I think covering all similar cases is almost hopeless and not worth the effort ... there are too many possibilities.
You can prevent any evaluation/canonicalization using HoldForm[Sin[b-a]], but this just maintains the expression in its original form. It is not a means to convert a computation result back to the form you ask for.
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
answered Jun 6 at 10:48
SzabolcsSzabolcs
169k17 gold badges461 silver badges977 bronze badges
169k17 gold badges461 silver badges977 bronze badges
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
add a comment |
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
$begingroup$
Thank for elaborating. Are you aware of a way to tell Mathematica how to "canonicalize" a given set of variables. For example, if I have variables a, b and c, and I want to order them as "c+b+a" instead of "a+b+c".
$endgroup$
– Muk
Jun 11 at 9:10
1
1
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
$begingroup$
@Muk This cannot be configured. It is a fundamental part of the system. If this could be changed, everything would break. What is theoretically possible is to post-process a certain output to obtain a different form.
$endgroup$
– Szabolcs
Jun 11 at 12:32
add a comment |
Thanks for contributing an answer to Mathematica Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathematica.stackexchange.com%2fquestions%2f199857%2fwhy-does-sinb-a-simplify-to-sina-b%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
