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]?

Multi tool use
Multi tool use

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;








11












$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).










share|improve this question









$endgroup$


















    11












    $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).










    share|improve this question









    $endgroup$














      11












      11








      11


      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).










      share|improve this question









      $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






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Jun 6 at 10:01









      MukMuk

      1055 bronze badges




      1055 bronze badges




















          1 Answer
          1






          active

          oldest

          votes


















          22












          $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.






          share|improve this answer









          $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














          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
          );



          );













          draft saved

          draft discarded


















          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









          22












          $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.






          share|improve this answer









          $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
















          22












          $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.






          share|improve this answer









          $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














          22












          22








          22





          $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.






          share|improve this answer









          $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.







          share|improve this answer












          share|improve this answer



          share|improve this answer










          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

















          • $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


















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          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





















































          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







          BEljvmcyGXVIbO
          7X914k vx,dLInja6U R1W,iHezUBRSrIKlxo9e,h7 V dFtfsq VxDA kfIIVX

          Popular posts from this blog

          RemoteApp sporadic failureWindows 2008 RemoteAPP client disconnects within a matter of minutesWhat is the minimum version of RDP supported by Server 2012 RDS?How to configure a Remoteapp server to increase stabilityMicrosoft RemoteApp Active SessionRDWeb TS connection broken for some users post RemoteApp certificate changeRemote Desktop Licensing, RemoteAPPRDS 2012 R2 some users are not able to logon after changed date and time on Connection BrokersWhat happens during Remote Desktop logon, and is there any logging?After installing RDS on WinServer 2016 I still can only connect with two users?RD Connection via RDGW to Session host is not connecting

          Vilaño, A Laracha Índice Patrimonio | Lugares e parroquias | Véxase tamén | Menú de navegación43°14′52″N 8°36′03″O / 43.24775, -8.60070

          Cegueira Índice Epidemioloxía | Deficiencia visual | Tipos de cegueira | Principais causas de cegueira | Tratamento | Técnicas de adaptación e axudas | Vida dos cegos | Primeiros auxilios | Crenzas respecto das persoas cegas | Crenzas das persoas cegas | O neno deficiente visual | Aspectos psicolóxicos da cegueira | Notas | Véxase tamén | Menú de navegación54.054.154.436928256blindnessDicionario da Real Academia GalegaPortal das Palabras"International Standards: Visual Standards — Aspects and Ranges of Vision Loss with Emphasis on Population Surveys.""Visual impairment and blindness""Presentan un plan para previr a cegueira"o orixinalACCDV Associació Catalana de Cecs i Disminuïts Visuals - PMFTrachoma"Effect of gene therapy on visual function in Leber's congenital amaurosis"1844137110.1056/NEJMoa0802268Cans guía - os mellores amigos dos cegosArquivadoEscola de cans guía para cegos en Mortágua, PortugalArquivado"Tecnología para ciegos y deficientes visuales. Recopilación de recursos gratuitos en la Red""Colorino""‘COL.diesis’, escuchar los sonidos del color""COL.diesis: Transforming Colour into Melody and Implementing the Result in a Colour Sensor Device"o orixinal"Sistema de desarrollo de sinestesia color-sonido para invidentes utilizando un protocolo de audio""Enseñanza táctil - geometría y color. Juegos didácticos para niños ciegos y videntes""Sistema Constanz"L'ocupació laboral dels cecs a l'Estat espanyol està pràcticament equiparada a la de les persones amb visió, entrevista amb Pedro ZuritaONCE (Organización Nacional de Cegos de España)Prevención da cegueiraDescrición de deficiencias visuais (Disc@pnet)Braillín, un boneco atractivo para calquera neno, con ou sen discapacidade, que permite familiarizarse co sistema de escritura e lectura brailleAxudas Técnicas36838ID00897494007150-90057129528256DOID:1432HP:0000618D001766C10.597.751.941.162C97109C0155020