Adding a red horizontal line to my plot
How to add a vertical line to a plot
Prove that $$\nabla_{\mathrm X} \mbox{tr} (\mathrm A \mathrm X^{-1} \mathrm B) = - \mathrm X^{-\top} \mathrm A^\top \mathrm B^\top \mathrm X^{-\top}$$   My proof is below. I am interested in other proofs.    My proof  Let   $$f (\mathrm X) := \mbox{tr} (\mathrm A \mathrm X^{-1} \mathrm B)$$  Hence,  $$\begin{array}{rl} f (\mathrm X + h \mathrm V) &amp;= \mbox{tr} (\mathrm A (\mathrm X + h \mathrm V)^{-1} \mathrm B)\\ &amp;= \mbox{tr} (\mathrm A (\mathrm X ( \mathrm I + h \mathrm X^{-1} \mathrm V))^{-1} \mathrm B)\\ &amp;= \mbox{tr} (\mathrm A ( \mathrm I + h \mathrm X^{-1} \mathrm V)^{-1} \mathrm X^{-1} \mathrm B)\\ &amp;= \mbox{tr} (\mathrm A ( \mathrm I - h \mathrm X^{-1} \mathrm V + O (h^2)) \mathrm X^{-1} \mathrm B)\\ &amp;= \mbox{tr} (\mathrm A \mathrm X^{-1} \mathrm B) - h \, \mbox{tr} ( \mathrm A \mathrm X^{-1} \mathrm V \mathrm X^{-1} \mathrm B) + O (h^2)\\ &amp;= f (\mathrm X) - h \, \mbox{tr} ( \mathrm X^{-1} \mathrm B \mathrm A \mathrm X^{-1} \mathrm V ) + O (h^2)\end{array}$$  Thus, the directional derivative of $f$ in the direction of $\mathrm V$ at $\mathrm X$ is  $$D_{\mathrm V} f (\mathrm X) = - \mbox{tr} ( \mathrm X^{-1} \mathrm B \mathrm A \mathrm X^{-1} \mathrm V ) = - \mbox{tr} ( (\mathrm X^{-\top} \mathrm A^\top \mathrm B^\top \mathrm X^{-\top})^\top \mathrm V ) = - \langle \mathrm X^{-\top} \mathrm A^\top \mathrm B^\top \mathrm X^{-\top}, \mathrm V \rangle$$  and, lastly,  $$\nabla_{\mathrm X} \mbox{tr} (\mathrm A \mathrm X^{-1} \mathrm B) = - \mathrm X^{-\top} \mathrm A^\top \mathrm B^\top \mathrm X^{-\top}$$ For example, if the ex-dividend date is next Monday, and I buy the stock on next Monday, would I get the dividend? Or would the person who sold the stock to me get the dividend? Can you make an unwilling creature willing? In other words, what defines “willing”? Going through the spells, I see the phrase "Willing creature" used to determine who you can cast some spells on. I don't ever see a proper definition of what a willing creature is, but I would assume that it would go something like if you asked them "Can I perform this spell on you" they would answer yes. Is there a more formal definition of what makes a target willing in 5e?  What are the ways I could make an otherwise unwilling creature willing? Suggestion spells, for instance, should probably work but what other options do I have? Equivalent definition of metric compatibility for a connection: what does $\nabla g$ mean? So the definition I know for metric compatibility is:  $$Xg(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ),$$   which make sense, as $g(Y,Z)$ is a smooth function from the manifold to reals and we think of $X$ as a derivation. So now I read this apparent equivalent definition that says $\nabla g=0$. Can someone explain what this means? How can I do $\nabla$ of $g$ I thought $g_p$ is an element of $T_p^*M\otimes T_p^*M$ at every point. Furthermore after you explain the meaning of this can you show me that these two definitions are indeed equivalent? Session ID from scheduled jobs Here's the scenario.  I have a remote application which is invoked from an HTTP callout.  In this callout, I am passing the session ID.  The application can then do its stuff without needing a username and password.  However, I want to be able to invoke the application from a scheduled job, and getsessionid() returns null in this case.  Is there any way around this?  I am trying very hard to avoid storing sfdc usernames and passwords on my remote server, and I want to avoid the hassle of using oAuth with all the complications of client secrets, etc. Is editing sources.list a good idea? This doubt is hitting me since 2-3 days, so I decided to test it myself. What I did is I installed Ubuntu 16.04.4 in VMWare and edited /etc/apt/sources.list and replaced xenial with bionic using:  sudo sed -i 's/xenial/bionic/g' /etc/apt/sources.list   Then I ran  sudo apt-get update &amp;&amp; sudo apt-get upgrade    I was able to upgrade to 18.04, confirmed by using lsb_release -a. However, I encountered some problems like:   apt does not have a stable CLI interface. Use with caution in scripts. unmet dependency of  python3-aptdaemon.pkcompat Release 'bionic-backports' for 'appstream' not found Broken Unity   I solved all the errors and installed gnome and gdm3.   So, I just want to know is it a good idea to edit sources.list? I know that my system might broke but is there any other specific reason not to use this.  Note: I tested this on Ubuntu 16.04 in VMWare to clear my doubts only. How is double negation interpreted in English? What is the non-parametric equivalent of a two-way ANOVA that can include interactions? Hi I am trying to find the non-parametric equivalent of a two-way ANOVA (3x4 design) which is capable of including interactions. From my reading in Zar 1984 "Biostatistical analysis" this is possible using a method put forth in Scheirer, Ray, and Hare (1976), however, according to other posts online it was inferred that this method is no longer appropriate (if it ever was).  Does anyone know what method would be appropriate for doing so, and if so the corresponding functions in R or Stata? How soon can I re-enter the USA having stayed for 90 days under the Visa Waiver Program? I am currently visiting the USA from the UK (I am a UK citizen) and am intending on staying here for the full 90 days under the Visa Waiver Program.     How long would I have to stay out of the US at the end of this period before returning again?    Would I have to return to the UK, or could I stay with friends in another country (such as Canada) for a while? Proof of the Hockey-Stick Identity: $\sum\limits_{t=0}^n \binom tk = \binom{n+1}{k+1}$ After reading , the most popular answer use the identity $$\sum_{t=0}^n \binom{t}{k} = \binom{n+1}{k+1}.$$  What's the name of this identity? Is it the identity of the  modified.  How can we prove it? I tried by induction, but without success. Can we also prove it algebraically?  Thanks for your help.    EDIT 01 : This identity is known as the  because, on Pascal's triangle, when the addends represented in the summation and the sum itself are highlighted, a hockey-stick shape is revealed. What is cool about generics, why use them? I thought I'd offer this softball to whomever would like to hit it out of the park. What are generics, what are the advantages of generics, why, where, how should I use them? Please keep it fairly basic. Thanks. What is the correct way to use infinitive after the verb "help": with or without "to"? Terminal limits scrolling I have a running log, it outputs a lot to the terminal. Unfortunately, when I try to scroll up and view older output, it appears there is a limit. And I am unable to scroll past a certain point. On the Mac, the terminal allows you to scroll up to the start of the session. Is there a way to do this in ubuntu terminal? Why separate Stack Exchange accounts? I understand the reason why Stack Exchange has different sites to separate  from  or . I understand too why the reputation is associated on each site.   Why do I have to create a new  for each web site? I know that when I create a new account, it is automatically associated to my other accounts. But, is there a reason why, when I originally create a user on the first site, I can't go on another site with this user? As you can see in the picture, I have 13 out of 5. But it's been like this for about two months! What's the reason for that? Ubuntu Won't Boot After Install on Samsung NP915S3G: error "All boot options are tried." So yesterday I went ahead and bought the Samsung NP915S3G (ATIV Book 9 Lite) and installed Tahr in hope that everything would go smoothly. For the most part it; everything necessary seems to work off the bat. Unfortunately when I restart it, nothing boots. I erased Windows so that's obviously not an option, but the computer seems pretty dead certain that there's nothing there to boot. I think this might have a lot to do with UEFI which is a field I have next to no experience with. There also seems to be a fat32 partition that consistently reappears when I delete it.   Any help is much appreciated, thanks. Apex Array Slice Sometimes I like to use a Queueable to perform work on a list of Ids or sObjects over the heaver Batchable Interface.   However, to do this, we need a very solid implementation of an Array slice method.  Most other programming languages have a native slice method, but Apex does not.  While I have written my own version of slice and it's working fine, I would be interested in hearing about other implementations of slice - the more efficient the better.  My version is in this Utilities class on github   It's modelled after the Javascript version described on the mozilla site   I would expect that the usage and output be similar to this:  String[] arr = ['zero', 'one', 'two', 'three']; String[] sliced = Utilities.slice(arr,1, 3);  System.debug(arr);      // ['zero', 'one', 'two', 'three'] System.debug(sliced);   // ['one', 'two'] I have a small issue with my Ubuntu (I think After an upgarde). When I try to login (Login Screen), I get disconnected and get back to the screen (again &amp; again).  I tried:   Trying to login with others Desktop environements. Booting from old kernel. log in via command line [apt-get update &amp;&amp; apt-get upgrade]. removing ~/.gconf directory. sudo apt-get install --reinstall ubuntu-desktop and sudo apt-get install unity   None of these solutions worked. What's the hardest or most misunderstood aspect of LINQ? Why do computers only use 0 and 1? Why do computers only use 0 and 1? Won't the addition of other numbers such as 2 or 3 speed up computers? Also, 2 and 3 can be used to shorten the bit-length of integers (2 and 3 can be used to end an integer, so that the number 1 only needs one two bits.)..  Why is binary computer more preferred?