Taking real and imaginary parts after reciprocalpresenting a real number as real instead of imaginaryAssumptions about list elementsIntegrate yields complex value, while after variable transformation the result is real. Bug?Assumptions and Conditions in Integrate Function in MathmaticaAssumption that a parameter is realUnable to simplify the real part of a complex expressionHow to check the assumptions attached to a given symbol?How can I tell the kernel that a variable is Real?Assuming and Conjugate do not work as expectedSeries default assumptions?

How can I remove material from this wood beam?

Electricity free spaceship

Longest bridge/tunnel that can be cycled over/through?

How to handle (one's own) self-harm scars (on the arm), in a work environment?

Entire circuit dead after GFCI outlet

How to communicate to my GM that not being allowed to use stealth isn't fun for me?

Writing an augmented sixth chord on the flattened supertonic

Who won a Game of Bar Dice?

How can I get an unreasonable manager to approve time off?

Does the Long March-11 increase its thrust after clearing the launch tower?

60s or 70s novel about Empire of Man making 1st contact with 1st discovered alien race

Thread Pool C++ Implementation

How to trick the reader into thinking they're following a redshirt instead of the protagonist?

How to decline a wedding invitation from a friend I haven't seen in years?

Does the new finding on "reversing a quantum jump mid-flight" rule out any interpretations of QM?

Let M and N be single-digit integers. If the product 2M5 x 13N is divisible by 36, how many ordered pairs (M,N) are possible?

Generate basis elements of the Steenrod algebra

Is it possible to have a wealthy country without a middle class?

Traversing Oceania: A Cryptic Journey

Why does R 3.6.0 return FALSE when evaluating the expression ("Dogs" < "cats")?

Heap allocation on microcontroller

Are there any important biographies of nobodies?

Why didn't Voldemort recognize that Dumbledore was affected by his curse?

Why are MBA programs closing?



Taking real and imaginary parts after reciprocal


presenting a real number as real instead of imaginaryAssumptions about list elementsIntegrate yields complex value, while after variable transformation the result is real. Bug?Assumptions and Conditions in Integrate Function in MathmaticaAssumption that a parameter is realUnable to simplify the real part of a complex expressionHow to check the assumptions attached to a given symbol?How can I tell the kernel that a variable is Real?Assuming and Conjugate do not work as expectedSeries default assumptions?













2












$begingroup$


I noticed the following strange scenario. When I defined a variable to be real, Mathematica does not only recognize that it is real after taking an inverse. How can I resolve this so that it will recognize 1/x is still real?



In[29]:= $Assumptions = x ∈ Reals

Out[29]= x ∈ Reals

In[30]:= Im[x]

Out[30]= Im[x]

In[31]:= Refine[Im[x]]

Out[31]= 0

In[32]:= Refine[Re[x]]

Out[32]= x

In[33]:= Refine[Im[1/x]]

Out[33]= Im[1/x]

In[34]:= Refine[Re[1/x]]

Out[34]= Re[1/x]









share|improve this question









New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






$endgroup$







  • 1




    $begingroup$
    Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
    $endgroup$
    – LouisB
    8 hours ago







  • 1




    $begingroup$
    You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
    $endgroup$
    – Michael E2
    7 hours ago















2












$begingroup$


I noticed the following strange scenario. When I defined a variable to be real, Mathematica does not only recognize that it is real after taking an inverse. How can I resolve this so that it will recognize 1/x is still real?



In[29]:= $Assumptions = x ∈ Reals

Out[29]= x ∈ Reals

In[30]:= Im[x]

Out[30]= Im[x]

In[31]:= Refine[Im[x]]

Out[31]= 0

In[32]:= Refine[Re[x]]

Out[32]= x

In[33]:= Refine[Im[1/x]]

Out[33]= Im[1/x]

In[34]:= Refine[Re[1/x]]

Out[34]= Re[1/x]









share|improve this question









New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






$endgroup$







  • 1




    $begingroup$
    Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
    $endgroup$
    – LouisB
    8 hours ago







  • 1




    $begingroup$
    You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
    $endgroup$
    – Michael E2
    7 hours ago













2












2








2





$begingroup$


I noticed the following strange scenario. When I defined a variable to be real, Mathematica does not only recognize that it is real after taking an inverse. How can I resolve this so that it will recognize 1/x is still real?



In[29]:= $Assumptions = x ∈ Reals

Out[29]= x ∈ Reals

In[30]:= Im[x]

Out[30]= Im[x]

In[31]:= Refine[Im[x]]

Out[31]= 0

In[32]:= Refine[Re[x]]

Out[32]= x

In[33]:= Refine[Im[1/x]]

Out[33]= Im[1/x]

In[34]:= Refine[Re[1/x]]

Out[34]= Re[1/x]









share|improve this question









New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






$endgroup$




I noticed the following strange scenario. When I defined a variable to be real, Mathematica does not only recognize that it is real after taking an inverse. How can I resolve this so that it will recognize 1/x is still real?



In[29]:= $Assumptions = x ∈ Reals

Out[29]= x ∈ Reals

In[30]:= Im[x]

Out[30]= Im[x]

In[31]:= Refine[Im[x]]

Out[31]= 0

In[32]:= Refine[Re[x]]

Out[32]= x

In[33]:= Refine[Im[1/x]]

Out[33]= Im[1/x]

In[34]:= Refine[Re[1/x]]

Out[34]= Re[1/x]






complex assumptions






share|improve this question









New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.










share|improve this question









New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








share|improve this question




share|improve this question








edited 7 hours ago









Michael E2

153k12208498




153k12208498






New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








asked 9 hours ago









JamesJames

111




111




New contributor



James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




New contributor




James is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









  • 1




    $begingroup$
    Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
    $endgroup$
    – LouisB
    8 hours ago







  • 1




    $begingroup$
    You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
    $endgroup$
    – Michael E2
    7 hours ago












  • 1




    $begingroup$
    Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
    $endgroup$
    – LouisB
    8 hours ago







  • 1




    $begingroup$
    You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
    $endgroup$
    – Michael E2
    7 hours ago







1




1




$begingroup$
Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
$endgroup$
– LouisB
8 hours ago





$begingroup$
Another way to do it is use ComplexExpand without any assumptions. For example: $Assumptions = True; ReIm[ 1 / x ] // ComplexExpand
$endgroup$
– LouisB
8 hours ago





1




1




$begingroup$
You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
$endgroup$
– Michael E2
7 hours ago




$begingroup$
You can format inline code and code blocks by selecting the code and clicking the button above the edit window. The edit window help button ? is useful for learning how to format your questions and answers. You may also find this meta Q&A helpful
$endgroup$
– Michael E2
7 hours ago










1 Answer
1






active

oldest

votes


















7












$begingroup$

If x=0, then 1/0 is ComplexInfinity. If you add the assumption that x!=0, then you get what you are wanting:



 Assuming[b [Element] Reals, b != 0, Refine[Im[1/b]]]



 0






share|improve this answer









$endgroup$













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



    );






    James is a new contributor. Be nice, and check out our Code of Conduct.









    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathematica.stackexchange.com%2fquestions%2f199891%2ftaking-real-and-imaginary-parts-after-reciprocal%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









    7












    $begingroup$

    If x=0, then 1/0 is ComplexInfinity. If you add the assumption that x!=0, then you get what you are wanting:



     Assuming[b [Element] Reals, b != 0, Refine[Im[1/b]]]



     0






    share|improve this answer









    $endgroup$

















      7












      $begingroup$

      If x=0, then 1/0 is ComplexInfinity. If you add the assumption that x!=0, then you get what you are wanting:



       Assuming[b [Element] Reals, b != 0, Refine[Im[1/b]]]



       0






      share|improve this answer









      $endgroup$















        7












        7








        7





        $begingroup$

        If x=0, then 1/0 is ComplexInfinity. If you add the assumption that x!=0, then you get what you are wanting:



         Assuming[b [Element] Reals, b != 0, Refine[Im[1/b]]]



         0






        share|improve this answer









        $endgroup$



        If x=0, then 1/0 is ComplexInfinity. If you add the assumption that x!=0, then you get what you are wanting:



         Assuming[b [Element] Reals, b != 0, Refine[Im[1/b]]]



         0







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 8 hours ago









        Robert JacobsonRobert Jacobson

        834814




        834814




















            James is a new contributor. Be nice, and check out our Code of Conduct.









            draft saved

            draft discarded


















            James is a new contributor. Be nice, and check out our Code of Conduct.












            James is a new contributor. Be nice, and check out our Code of Conduct.











            James is a new contributor. Be nice, and check out our Code of Conduct.














            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%2f199891%2ftaking-real-and-imaginary-parts-after-reciprocal%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







            Popular posts from this blog

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її