I am trying to install Ubuntu 13.10 on my new laptop. The option mentioned in the install guide to "install alongside Windows" does, however, not appear in the install wizard. When I select "Something else" I am presented (as expected) with the disk manager.  My problem is that this laptop came with no less than 7 partitions! Windows is only aware of one 418GB partition. My question is this: How do I resize that windows partition to be as small as possible, create space to install Ubuntu, and use the rest as a shared NTFS partition. Ideally, I would like to put Win 7 on there as well, as I am not a great fan of Win 8.  I would be more than happy to live without Win 8 (If I can put 7 on). I am just apprehensive to completely format the drive and lose the recovery partition. I did make a recovery DVD and a recovery USB drive (which is about 14 GB big), though.  Any suggestions / help would be greatly appreciated!  To make it clear, i took some screenshots of the install wizard. Unfortunately, I cannot post images.
Whenever I startup from the LinuxLive USB, and try to install Ubuntu 12.04, it only gives me two options instead of the usual 3 or 4. My options are "Replace Windows 7 with Ubuntu" and "Something Else". Whenever I go into "Something else", it looks extremely confusing. How do I install it side-by-side while using the "Something else" section? These are my partitions.   /dev/sda /dev/sda1 ntfs (104Mb, System Required Partition) /dev/sda2 ntfs (1000097Mb, Windows 7 Partition)   Or should I try reinstalling my installer on a CD rather than USB and maybe then it will have the "Install alongside" function?
Creation of entangled electrons Why is the Principle of Superposition true in EM? Does it hold more generally? In the theory of electromagnetism (EM), why is the principle of superposition true? Can we read it off from Maxwell's equations directly?  Does it have any limit of applicability or is it a fundamental property of nature? Viewing all my questions from Android app How can we recover the Newtonian gravitational potential from the metric of general relativity? Do I need visa for UK visit if I have a work permit for Ireland? Is it possible to scale specific apps on Windows 10? Why is there an electric field in a wire even though it is a conductor? If you take a perfect conductor, there cannot be a field across it since if there were, the particles would arrange themselves in a way to cancel out the field right?  Yet, why does the same not hold true for a wire. A wire is essentially a long, thin conductor yet electrons do indeed flow so there must be an electric field.  Does this not contradict with what happens in a conductor? Why don't the electrons re-arrange to cancel out the electric field? What is the best way to explain how to choose between "its" and "it's"? Probably one of the most frequent grammar mistakes in the English language is:     The dog sat on it's mat.   Since spelling checkers don't catch it, and it is even logical, since you would correctly write:     The dog sat on Fluffy's mat.   What is the best way to explain to a learner of English how to choose between it's and its? Evolution threads extra lines before signature For my own understanding, I am interested in manually replicating the calculation of the standard errors of estimated coefficients as, for example, come with the output of the lm() function in R, but haven't been able to pin it down. What is the formula / implementation used? Help with completing the proof: Any unbounded sequence is either infinitely large or has a convergent subsequential limit Given $\{x_n\}$ is an unbounded sequence, prove:   $$ \lim_{n\to\infty}x_n = \infty\ \  \text{or}\ \ \lim_{n_k \to \infty} = A $$   In other words any unbounded sequence either infinitely large or has a convergent subsequence.     Everything before udpate section is wrong.  Part 1. Proving $|x_n| &gt; M \implies \lim_{n\to\infty} x_n = \infty$  $\Box$ Start with the definition of an unbounded sequence: $$ \forall M &gt; 0 \in \Bbb R \ \exists N \in \Bbb N: \forall n &gt; N\implies |x_n| &gt; M $$  Suppose that: $$ \lim_{n\to\infty}x_n \ne \infty $$ That means: $$ \forall n\in\Bbb N\ \exists C &gt;0 \in\Bbb R : |x_n| &lt; C $$  Now taking $M^\prime = \max\{M, C\}$ we have that: $$ \begin{cases} \begin{align} \exists N \in \Bbb N : &amp;\forall n&gt;N \implies &amp;|x_n| &gt; M^\prime \\ &amp;\forall n \in \Bbb N: &amp;|x_n| &lt; M^\prime \end{align} \end{cases} $$  So we have arrived to a contradiction which means the assumption is wrong and: $$ \lim_{n\to\infty}x_n = \infty $$ $\Box$     Part 2. It's not clear to me how to prove that if unboundedness does not imply infinity limit then it must imply the existence of a convergent subsequence.   Two questions is my mind:   Is part 1 correct?  How do I proceed with the second part?     I'm using the following definition. $$ \lim_{n\to\infty}x_n = +\infty \stackrel{\text{def}}{\iff} \forall \epsilon &gt; 0 \exists N \in \Bbb N :\forall n &gt; N \implies x_n &gt; \epsilon \\ \lim_{n\to\infty}x_n = -\infty \stackrel{\text{def}}{\iff} \forall \epsilon &gt; 0 \exists N \in \Bbb N :\forall n &gt; N \implies x_n &lt; -\epsilon \\ $$ A sequence is considered infinitely large when: $$ \lim_{n\to\infty}x_n = \infty\ \ \text{when}\ \ \lim_{n\to\infty}x_n = + \infty \ \ \text{or} \ \ \lim_{n\to\infty}x_n = - \infty $$    Update.   Looks like i've messed up a lot of things. I will try once again. As shown in comments and answers the statement holds only in case: $$ \lim_{n\to\infty} |x_n| = \infty \iff \forall \epsilon &gt; 0 \exists N \in \Bbb N: \forall n &gt; N \implies |x_n| &gt; \epsilon $$  Consider the following: $$ \lnot P = \lnot\left(\lim_{n\to\infty}|x_n| = \infty \right) \iff \exists \epsilon &gt; 0\ \forall N_1 \in \Bbb N : \exists n &gt; N_1 \land |x_n| &lt; \epsilon $$  But on the other hand it is given that $x_n$ is unbounded: $$ Q = \forall M &gt; 0\ \exists N_2 \in \Bbb N : |x_{N_2}| &gt; M $$  Construct a negative expression for boundedness: $$ \lnot P = \exists M &gt; 0\ \forall N_2 \in \Bbb N : |x_{N_2}| &lt; M $$  If $S = \lnot P \implies \lnot Q$ then $S = P \lor \lnot Q$  Let $\epsilon = M$, choose $N = \max\{N_1, N_2\}$ then both statements are true and: $$ \exists \epsilon &gt; 0\ \forall N = \max\{N_1, N_2\}: \exists n &gt; N \land |x_n| &lt; \epsilon $$  Now either $P$ is true, which would mean $\lim |x_n| = \infty$, or $\lnot Q$ is true which would mean the sequence is bounded and hence contains a convergent subsequence. I saw this question  but it doesn't have a full solution. What is the full solution to the 99 bottles of beer on the wall for Vim adventures?  Context: for the sake of being a good SO member I will give more details but a full solution will answer my question. It seems from reading the other post that my register is incorrect for some reason. I can't get the &lt;NL&gt;. I think that's the issue since pasting won't work... How do I compare binary files in Linux? I need to compare two binary files and get the output in the form:  &lt;fileoffset-hex> &lt;file1-byte-hex> &lt;file2-byte-hex>  for every different byte. So if file1.bin is    00 90 00 11   in binary form and file2.bin is    00 91 00 10   I want to get something like    00000001 90 91   00000003 11 10   Is there a way to do this in Linux? I know about cmp -l but it uses a decimal system for offsets and octal for bytes which I would like to avoid. External hard drive very slow to load after dropping it and can't be repaired with Disk Utility Today as I was using my WD HDD, it fell off my corner. After I fixed the thing, I plugged it into the Mac and it loads the HDD but it's very very very very slow. It also does not work sometimes. The entire laptop just hangs  Tried running Disk Utility First Aid but it won't work.  It says some error and hangs  Can someone advise me on what I can do in this case? Uniqueness in existence of a bilinear form Let $E$ be a finite dimensional vector space over field $\mathbb R$ with $E^*$ as the dual space of $E$.($\dim E=n$)   $\Omega^P(E):=\{ \alpha\colon \overbrace{E\times\cdots\times E}^{p- times}\rightarrow \mathbb R\  \ , \alpha \text{ is alternating multilinear map}\}$ $\Omega^P(E^*):=\{ u\colon \overbrace{E^*\times\cdots\times E^*}^{p- times}\rightarrow \mathbb R\  \ , u \text{ is alternating multilinear map}\}$  I wish to prove that there exist an $\textbf{unique}$ bilinear form $B\colon \Omega^p(E^*)\times\Omega^p(E)\rightarrow\mathbb R$   such that for all $ f_i\in E^* \ , u_j\in E^{**}\simeq E \qquad  i,j=1,\cdots,p$, it has the following rule:  $B(u_1\wedge\cdots\wedge u_p,f_1\wedge\cdots\wedge f_p)=\det[f_i(u_j)]$.  $\wedge$ is wedge product between alternating maps i.e. $\alpha\wedge\beta(v_1,\cdots,v_{p+p})=\dfrac{1}{p! p!}\displaystyle\sum_{\sigma\in S_{p+p}}sign(\sigma)\alpha(v_{\sigma(1)},\cdots,v_{\sigma(p)})\beta(v_{\sigma(p+1)},\cdots,v_{\sigma(p+p)})$  How can I do this? Formula based on picklist I am trying to create a formula that will put a 1 in a hidden field if the value of a picklist is equal to a specific value.  I keep getting stuck here and I can't figure out what I am missing?  IF(ISPICKVAL( Examiner_Type__c ="Pending Examiner Status","1","",)) Why isn't a virus "alive"? The recent  about a new supermassive virus being discovered got me thinking about how we define viruses as non-living organisms whilst they are bigger than bacteria, and much more complex than we first gave them credit for.   What biological differences between viruses and cellular organisms have made viruses be deemed non-living? Can I have too many mods? I found a lot of mods that make thinks lighter, and add mark and recall, and a basement I like. They are all on Steam, and what I want to know is if I can have too many? Will they all work together? Or should I just leave them alone? What's a good back-up strategy for 1 desktop PC? How do I update my graphics drivers? I am using a laptop and ubuntu 11.04. I would like the easiest way possible because I am new to linux.  here is my display information:  *-display              description: VGA compatible controller              product: Core Processor Integrated Graphics Controller              vendor: Intel Corporation              physical id: 2              bus info: pci@0000:00:02.0              version: 18              width: 64 bits              clock: 33MHz              capabilities: msi pm vga_controller bus_master cap_list rom              configuration: driver=i915 latency=0              resources: irq:41 memory:d0000000-d03fffff memory:c0000000-cfffffff ioport:e080(size=8)         *-communication UNCLAIMED              description: Communication controller