My PATH variable seems to be set OK, but does not work
Pytest is in PATH but not found
Why is "Nature" usually spelt with an initial capital letter in scientific journals? I am mainly referring to life science here, in case this matters.  I am not talking about the obvious cases, like capitalisation in titles, at the beginning of a sentence, etc., but when it appears mid-sentence, where one would normally expect it to be lowercase.  I've heard some explanation that it gives the impression of Nature as a goddess (see comments on this post ) - but this is probably the last thing I would have expected in a scientific article... Developer Accounts for ExactTarget When discussing a treaty or international agreement, which is correct?  "There are 100 states party to the treaty." (for example, as used )  Or:  "There are 100 state parties to the treaty." (for example, as used )   Or: "There are 100 states parties to the treaty."  (for example, as used ) A problem of Schwarz-Pick theorem in complex analysis Set $f \in H(B(0,1)),f(B(0,1)) \subset B(0,1)$，prove that $$|f(z)-\frac{f(0)(1-|z|^2)}{1-|f(0)|^2||z|^2}| \le \frac{|z|(1-|f(0)|^2)}{1-|z|^2|f(0)|^2}$$  I think this problem is supposed to be proved by Schwarz-Pick theorem, I tried hard but failed to build a function to prove it. I even doubted that this problem is wrong, so I want to whether this problem can be proved or be falsified, and how.  Any help would be appreciated. Add a way for moderators to cast a normal, non binding close/open vote I think moderators should have the ability to cast a normal, non binding close and open vote like they were a normal user (while of course retaining their ability to cast a binding vote where necessary). This can be used in &quot;grey areas&quot; where a moderator can choose to give his or her opinion, but not make a decision alone; a good example of this is . This also helps in areas not so grey (questions that everyone would agree should be closed) since the OP has the time to see close (1) and possibly edit his or her question. The moderator can then optionally come back after a few minutes and close it for real if it's not improved (or maybe during that time other 4 people voted to close it). This would also fit perfectly in :  Since we’re about to add community moderators on both Stack Overflow and Server Fault, I need to document what it is, exactly, we expect moderators to do. The short answer is, as little as possible! Heroku deployment failed because of sqlite3 gem error Search for ,        ,                        and you will see that "results found containing __" is just a little too close to the header. It's not like there isn't  to have it be a little lower, closer to "Search":          The UI has been updated since I took the above screenshots, and the text you search for is  (which fixes another design issue but not the one in this question): Why are local variables not initialized in Java? Was there any reason why the designers of Java felt that local variables should not be given a default value? Seriously, if instance variables can be given a default value, then why can't we do the same for local variables?  And it also leads to problems as explained in :     Well this rule is most frustrating when trying to close a resource in a finally block. If I instantiate the resource inside a try, but try to close it within the finally, I get this error. If I move the instantiation outside the try, I get another error stating that a it must be within a try.      Very frustrating. How to create & execute a script file Turn a string into a valid filename? I have a string that I want to use as a filename, so I want to remove all characters that wouldn't be allowed in filenames, using Python.  I'd rather be strict than otherwise, so let's say I want to retain only letters, digits, and a small set of other characters like "_-.() ". What's the most elegant solution?  The filename needs to be valid on multiple operating systems (Windows, Linux and Mac OS) - it's an MP3 file in my library with the song title as the filename, and is shared and backed up between 3 machines. How to write a while loop with the C preprocessor? How to show $\alpha\int_a^cf(x)dx+\beta \int_c^b f(x)dx =0$ means $f(x)=0$ everywhere $?$ Question :  Let $$f\ :\ [a,b]\rightarrow \mathbb R$$   be  continuous . And  there  exist  constants  $\alpha$  $\beta$  such  that  $\forall c\in [a,b]$  $$\alpha \int_a^c f(x)dx +\beta \int_c^b f(x)dx =0 $$   Prove  that  $f=0$  allover  $[a,b]$.  Attempt :(not much useful )   Since  the  equation  holds  for  all  $c\in [a,b]$   , if  take  $c=a$  then  we  have $$\beta \int_a^b f(x)dx =0 $$  And  taking  $c=b$  we  get $$\alpha \int_a^b f(x)dx=0 $$  See  if  both  $\alpha=0$  and  $\beta=0$  hold  then  there  is  nothing  to  do . If  only  one  of  them  is  $0$   and  the  other  is  non-zero  then  from  the  last  two  equations  we  get $$\int_a^b f(x)dx =0 $$ and  this  does   not  ensure   $f$'s  being  identically  $0$  on  $[a,b]$ (for  example : $f(x)=sin x$  and $a=0$,$b=2\pi $ ) .   So  our  only  possibility  is  that  both $\alpha \neq 0$  and $\beta \neq 0$  must  hold .  Now  I  cannot  proceed  any  further  from  this  point . Please  give  me  some   hints  as  to  what  to  do  next .  Thaanks. Prove that the product of a non-zero rational and irrational number is irrational. How do I overload the square-bracket operator in C#? DataGridView, for example, lets you do this:  DataGridView dgv = ...; DataGridViewCell cell = dgv[1,5];   but for the life of me I can't find the documentation on the index/square-bracket operator.  What do they call it?  Where is it implemented?  Can it throw?  How can I do the same thing in my own classes?  ETA: Thanks for all the quick answers.  Briefly: the relevant documentation is under the "Item" property; the way to overload is by declaring a property like public object this[int x, int y]{ get{...}; set{...} }; the indexer for DataGridView does not throw, at least according to the documentation.  It doesn't mention what happens if you supply invalid coordinates.  ETA Again: OK, even though the documentation makes no mention of it (naughty Microsoft!), it turns out that the indexer for DataGridView will in fact throw an ArgumentOutOfRangeException if you supply it with invalid coordinates.  Fair warning. A pseudometric on the space of the measurable functions is complete I am looking for an application which can do the following:   Resize one or more images Compress images Rotate and flip images Rename multiple images using a progressive number or a prefix/suffix Convert an entire PDF file to a bunch images Extract an image from a Windows .ico file Convert images to DPX, EXR, GIF, JPEG, JPEG-2000, PDF, PhotoCD, PNG, Postscript, SVG, TIFF, and other formats   I am running Ubuntu GNOME 15.10 with GNOME 3.18. Prove $X$ is compact iff for each family $\{ F_\alpha\}_{\alpha\in I}$ of closed subsets of $X$ with the FIP, we have $\cap F_\alpha\neq\varnothing$. I'm reading Intro to Topology from Mendelson.  The entire problem statement is,  Prove that $X$ is compact if and only if for each family $\lbrace F_\alpha\rbrace_{\alpha\in I}$ of closed subsets of $X$ that has the finite intersection property, we have $\bigcap_{\alpha\in I} F_\alpha\neq\varnothing$.  My attempt at the proof is as follows:  First assume that $X$ is compact. For the sake of contradiction, suppose that there exists a family $\{ F_\alpha\}_{\alpha\in I}$ of closed subsets of $X$ with FIP such that $\bigcap_{\alpha\in I} F_\alpha=\varnothing$. Since $X$ is compact if $\lbrace F_\alpha\rbrace_{\alpha\in I}$ any family of closed sets such that $\bigcap_{\alpha\in I} F_\alpha=\varnothing$, then there exists a finite set of indices $\lbrace \alpha_1,\dots,\alpha_n\rbrace$ such that $\bigcap\limits_{i=1}^n F_{\alpha_i}=\varnothing$. Yet, since $\lbrace F_\alpha\rbrace_{\alpha\in I}$ has the finite intersection property, for every finite index of $J\subset I$, $\bigcap\limits_{\alpha\in I} F_\alpha\neq\varnothing$.  Suppose now that $X$ is not compact, that is, there exists an open cover $\lbrace U_\alpha\rbrace_{\alpha\in I}$ of $X$ with no finite subcover. Consider the set $F_\alpha=C(U_\alpha).$ Then $\lbrace F_\alpha\rbrace_{\alpha\in I}$ is a collection of closed subsets of $X$ with the finite intersection property and were $\bigcap_{\alpha\in I} F_\alpha=\varnothing.$  Thanks for any feedback! I'm looking to write some Groovy code to perform tasks inside of install anywhere but because of the platforms we support I'm restricted to java 1.5.  Any idea if this will be sufficient to run the latest groovy? Partitions for Ubuntu and Windows 7 dual boot on SSD + HDD setup How to use a special character as a normal one in Unix shells? Many questions like 'How to type the double-quote char (")?' are being asked, and we don't want to clutter our community with the same answer (Type it as \" if not enclosed in 's, " if enclosed in 's.) So, the question is here.   You can't type special chars into a terminal like normal ones, e.g. this command will fail:  echo Updates (11)   So, how to type in these chars in the terminal as if they were normal ones?  !#$^&amp;*?[](){}&lt;&gt;~;'"\|&lt;space&gt;&lt;tab&gt;&lt;newline&gt;