Drawing different circles with intersections
What does the colon in Tikz coordinates mean?
Using VHDL code to design a JK Flip Flop I'm using quartus II to design a JK Flip Flop. However, my results show unknown output. Why is it?  Intended design circuit:    VHDL code:  library IEEE;  use IEEE.STD_LOGIC_1164.ALL;  entity JKFlipFlopGate is     port(         J,K,Clk : in std_logic;             --JK Flip-Flop gate input 1 &amp; 2         Q,Qbar : out std_logic              --JK Flip-Flop gate output     ); end JKFlipFlopGate;  architecture result of JKFlipFlopGate is         signal out1,out2,out3,out4 : std_logic;  begin     out1    &lt;= NOT(J AND Clk AND out4);                      out2    &lt;= NOT(K AND Clk AND out3);      out3    &lt;= out1 NAND out4;     out4    &lt;= out2 NAND out3;      Q       &lt;= out3;     Qbar    &lt;= out4;     end result; Can a creature's sacrifice benefit be taken when it is sacrificed to Eldrazi Monument? I think it would make sense to split up the flag "This is not an answer" into three flag choices:   This should be a comment This should be an edit This should be a new question   If we had that, it would make it easier (and therefore more efficient) for mods to figure out what to do with answers flagged thusly. My Tier 5 YMS visa is set to start on September 30th, 2016 however, I want to get there earlier.  Can I enter the UK as a tourist, if I explain to border control/immigration that I am entering as a tourist and do not plan to work or do anything really until my Tier 5 visa starts?  I can find no official contact or information source on this with UK Visas Information, the British High Commission, etc. I have been using the default Ubuntu 11.10 with Unity for some time now and decided to start customizing it.  I have already been able to make some changes with the gnome-tweak-tool. However, there are many themes that I get from gnome-look.org that don't appear in the gnome-tweak-tool even after putting them in the /usr/share/themes folder.  Any idea why this is happening? Thanks. How does space affect the human body (no space suit, no space craft) How does "outer space" affect the human body? Some movies show it as the body exploding, imploding or even freezing solid.   I know space is essentially a vacuum with 0 pressure and the dispersion of energy makes it very cold. So are the predictions above accurate? Subspaces of separable normed spaces Let $X$ be a separable normed space. Is it true that every subspace is separable? If it was Hilbert space I would take the dense set and then their projections.  It sounds trivial but I cannot prove or disprove it...  Thank you. Why didn't Thanos come to Earth to retrieve Tesseract by himself? In the Avengers movie, why didn't Thanos personally come to Earth instead of Loki? Or, if Loki's skills were required, why didn't he come with Chitauri? He knew that humans were primitive; there wouldn't be any threat and he could personally secure Tesseract.  AFAIK, the movie didn't display much. Is there any other source answering this? Replace links with the current question title in comments In questions, links get converted into question titles (see )  Can the same functionality be added to comments? How do I get the latest GIMP version available? I understand that there is a new version of the GIMP available, although it appears that the only way of doing this is by compiling from source :P  Is there another way of getting it, or if I have to compile can I do that through the terminal or better still; a GUI? Clone hard drive to another, smaller hard drive Is there a good tool/program that allows me to clone a system drive to another, smaller hard drive?  I've bought a new 64GB SSD drive and would like to move my current Windows 7 Professional 64-bit installation to that new drive. My current drive is a 200GB SATA drive with one partition only. Of course there's enough free space to shrink my current partition to less than 64GB. Why is the sum of the digits in a multiple of 9 also a multiple of 9? The sum of the digits in $9 k$ (where $k$ is an integer) is a multiple of $9$: for example   $$9\cdot 1=9$$ $$9\cdot 7=63 \qquad  \text{and } 6+3=9\cdot 1$$ $$9\cdot 11=99 \qquad \text{and }  9+9=9\cdot 2$$  But why? Question:   Prove that a norm is always non-negative.   Assume that the norm is negative.   Define: $f: \mathbb{R}^{n}\rightarrow \mathbb{R}^{-}_{0}$  $v \mapsto \left ( \vec{v} \right )f=\left \| \vec{v} \right \|$  $\left ( \vec{u}+\vec{v} \right )f=\left \| \vec{u}+\vec{v} \right \| \in \mathbb{R}^{-}_{0}$ and  $\left ( \vec{u} \right )f=\left \| \vec{u} \right \|,\left ( \vec{v} \right )f=\left \| \vec{v} \right \|=\left \| \vec{v} \right \| \in \mathbb{R}^{-}_{0}$  At this point I am unable to progress further.  Any help is appreciated. How to compute the marginal likelihood given two multivariate Normal distribution? Given that $a$~$\mathcal{N}(\mu, \Sigma)$ and $\mu$~$\mathcal{N}(0, \sigma^2 I)$, Is $p(a|\Sigma, \sigma)=\int p(a|\mu, \Sigma)p(\mu|\sigma)d\mu$ again a Normal distribution? And how to estimate the mean and variance respectively? Thanks a lot! When people want to classify a group with certain (small) order, they seem to find a normal subgroup $H$ and a subgroup $K$, and then consider how many distinct $H \rtimes_\varphi K$ are there.  My question is: For any group $G$, does it always exist normal subgroup $H$, subgroup $K$ and $\phi : K \rightarrow Aut(H)$ s.t. $G\cong H \rtimes_\varphi K $?  Sorry if this question is too basic...  Thanks the comment and the answers. Then if the $G$ is not simple, can we have can $G\cong H\rtimes_\varphi K$ for proper subgroup $H$, $K$, with $H$ normal?  EDIT:  If we have a group $G$, that is not simple (then $G$ has at least one normal subgroup), are there always a non-trivial normal subgroup $H$ and a proper subgroup $K$ s.t. $G \cong H \rtimes K$. (Note that if $G$ is simple this is clearly not possible).  But the quaternion group and $Z_4$ given in answers have shown that we cannot always have it. spawn - command not found! I am using Mac OS X 10.9.4, following is my script to copy files from local machine to different host  #!/bin/bash #!/usr/bin/expect  echo "I will fail if you give junk values!!" echo " " echo "Enter file name: " read filePath echo " " echo "Where you want to copy?" echo "Enter" echo "1. if Host1" echo "2. if Host2" echo "3. if Host3" read choice echo " " if [ $choice -eq "1" ] then   spawn scp filePath uname@host1:/usr/tmp      expect "password"      send "MyPassword\r"   interact elif [ $choice -eq "2" ] then   spawn scp filePath uname@host2:/usr/tmp      expect "password"      send "MyPassword\r"   interact elif [ $choice -eq "3" ] then   spawn scp filePath uname@host3:/usr/tmp      expect "password"      send "MyPassword\r"   interact else   echo "Wrong input" fi   when running this script i am getting following  ./rcopy.sh: line 21: spawn: command not found couldn't read file "password": no such file or directory ./rcopy.sh: line 23: send: command not found ./rcopy.sh: line 24: interact: command not found I need to use filter to sort calendar months in mmm format.  Data &gt; Sort &gt; Custom will do it but I cannot make filter work. Months are in a column eg SEP, APR, JAN, APR, etc.  Filter just does an alphabetical sort so it puts all the APR first. Coming from SketchUp one of the tools I miss most is the circle draw tool which lets you draw a circle on any face and then you could extrude it in/out. The only tool that I know of that comes close to this is the knife tool but this would be very impractical to cut out with the knife  Example:    Is there any tool in blender that can match this function? also how could you do this with squares? Version tags reloaded I'm getting sick of version numbers in tag names (aka version tags). Look,      I just want them all to be just . They are all about JSF. I browse and answer questions about JSF. I don't want to browse in all those different tags. I don't want gold badges for both  and . I can't hammer a duplicate  question because I don't have a gold badge for that. Across years I observed that a version tag is usually only picked by the asker when a &quot;relatively new&quot; or &quot;relatively old&quot; version is being treated in the question. When the &quot;currently mainstream&quot; version is being treated,  or when the asker is &quot;more proficient&quot; in the language, then askers often just pick the versionless . While moving in time, this may cause confusion by future readers when the version isn't explicitly specified anywhere in the question. I try to maintain them by adding/removing the version tag depending on its relevance, and by adding the versionless tag when it's absent. It only feels a neverending story. I'm sure other tag caretakers also have mixed feelings on this. I propose to normalize the version from the tag name:  Ban version numbers in tag names in the model (not in the UI). Add an optional single-choice version field to the Tag entity in the model. Users with edit privileges (no suggested edits please) must be able to change versions. Users with gold tagbadges must be able to add and edit versions. I'd imagine the version edit thing to be reachable via that tag info popover (when you hover the tag). Tags themselves however should look exactly the same, the version just separated with e.g. a hyphen from the tag name.  When in place, migration of existing version tags should be piece of cake. There's apparently already a script in place which recognizes version tags, it could be reused to re-match current tags and extract the version from it into the new version field. The alternative would be to automatically add the versionless tag when a version tag is being used. But this is IMO only tag pollution.  I'm posting this on meta.se instead of meta.so because version numbers aren't only on SO a problem, but on basically all HW/SW related sites. If $p\equiv1\mod{4}$, then $p=a^{2}+b^{2}$ where a and b are uniquely determined From Ireland,Rosen's Number Theory book, ex.8.12.  Let $p\equiv1\mod{4}$, then we can write $p=a^{2}+b^{2}$, where $a,b\in\mathbb{Z}$. Now, let $a$ be odd and $b$ be even and $a,b&gt;0$. How can we show that $a$ and $b$ are uniquely determined? The hint says to use the fact that $\mathbb{Z[i]}$ is a UFD and $p=a^{2}+b^{2}\implies a+bi$ is prime in $\mathbb{Z[i]}$