See  for a related question.  Let $X$ be a space that satisfies the hypotheses used to construct a universal cover $\overline{X}$. Let $\pi = \pi_1(X)$ and consider the action of the group $\pi$ on the space $\overline{X}$ given by the isomorphism of $\pi$ with $\text{Aut}(\overline{X})$. Let $A$ be an abelian group and let $\mathbb{Z}[\pi]$ act trivially on $A$, $a \cdot \sigma = a$ for $\sigma \in \pi$ and $a \in A$.  How do I see that the action of $\pi$ on $\overline{X}$ induces an action of $\mathbb{Z}[\pi]$ on the singular chain complex $C_*(\overline{X})$ such that each $C_q(\overline{X})$ is a free $\mathbb{Z}[\pi]$-module and$$C_*(X; A) \cong A \otimes_{\mathbb{Z}[\pi]} C_*(\overline{X})?$$
Let $X$ be a space that satisfies the hypotheses used to construct a universal cover $\overline{X}$. Let $\pi = \pi_1(X)$ and consider the action of the group $\pi$ on the space $\overline{X}$ given by the isomorphism of $\pi$ with $\text{Aut}(\overline{X})$. Let $A$ be an abelian group and let $\mathbb{Z}[\pi]$ act trivially on $A$, $a \cdot \sigma = a$ for $\sigma \in \pi$ and $a \in A$.  Now, assume that $X$ is a CW complex. How do I see that $\overline{X}$ is a CW complex such that the action of $\pi$ on $\overline{X}$ induces an action of the group ring $\mathbb{Z}[\pi]$ on the cellular chain complex $C_*(\overline{X})$ such that each $C_q(\overline{X})$ is a free $\mathbb{Z}[\pi]$-module and$$C_*(X; A) \cong A \otimes_{\mathbb{Z}[\pi]} C_*(\overline{X})?$$
Why doesn't my ~/.bash_profile work? I'm using Linux Mint. My login shell (cat /etc/passwd | grep myUserName) is bash.  After I start my graphical desktop environment and run a terminal emulator from it, I can see that .bash_profile is not sourced (environment vars that are exported in it are unset). But if I log in from a text console (ctrl+alt+F1) or manually run bash -l from the terminal emulator, .bash_profile works fine.  Am I wrong when I think that .bash_profile should be sourced when X starts and all export'ed vars should be available in the terminal, running from X?  P.S. Placing everything in .bashrc and sourcing it from .bash_profile is not good idea (): environment stuff should be sourced only once. "Open in Terminal" in Ubuntu 18.04 This option seems to have gone away after upgrading from Ubuntu 16.04. I tried installing nautilus-open-terminal but it is unable to locate the package for 18.04. Also trying to install nautilus-actions gives:  Package nautilus-actions is not available, but is referred to by another package. This may mean that the package is missing, has been obsoleted, or is only available from another source     How to fix this? Prove using natural deduction $((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$ How do I prove the following using Natural Deduction?  $$((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$$   My current approach:  So instead of proving $(P \rightarrow R) \lor (Q\rightarrow R)$, I figure I just need to prove $(P \rightarrow R)$ and use disjunction introduction.  The problem is my hypothesis requires $P$ and $Q$. How do I "create" this Q? I tried using the Law of the Excluded middle, but it does not seem to work.  Any help or insights is deeply appreciated. Economics.SE's favicon is missing in action How to remove the switch user account option in Unity 2D? We are looking for a way to permanently remove the Switch User Account function from our install of Ubuntu Unity. Note, this function appears when you right or left click on the user name in the upper right-hand corner. It then displays a list of 5-10 users that have logged in along with the option to Switch User Account. We know that we can do this by defaulting to gnome, but we would like the option of using Unity as well, but without the Switch User Account option.  We have already tried dconf-editor, gsettings and several other options to remove the users name list, Switch User Account option from appearing in the drop-down list. We know this can be done for one user at a time, but we are wanting to do this for all users on roughly 160 workstations.  Some options that we have already tried are:       This is a visual of what we are trying to remove: Is it correct to use Bernoulli's theorem to explain that a disk floats in the air? Should the correct explanation be based on Boyle's law? In this video, a device is introduced from 1 minute to 18 seconds. After entering the air, the disc at the bottom of the device will be suspended in the air. The video explains that this is because of the Bernoulli effect, but I think this explanation is incorrect, because the disc gap, the radial volume is increasing. Therefore, the reason why the disk is suspended is that the air volume becomes larger, so the pressure decreases (according to Boyle's law). If the air moves along the radial direction at a constant speed, the volume of the air must be constantly increasing, right? So the pressure is decreasing, right? Hope someone can answer my Question. I live in Milwaukee WI.My neighbor just informed me she will have to have her basement excavated. The side of her house is 14 feet away from the side of my house. I have a bi-level home. On the side of my home is a finished family room and bedroom. Should I be worried about heavy machinery doing damage to the foundation to my home that could cause problems in the future. Thank You in advance of your answers. Is the above statement true? If I have already proven that the set is linearly independent, is it automatically given that the subset is also linearly independent? If so, how would I go about showing that as a proof. Limits of sequences of sets Graphing y=x^2 and y=x I want to draw the region bounded by y=x^2 and y=x. Any ideas? I was hoping this would be somewhat simple. I've tried used a similar, with \begin{axis}..\end{axis}, but it doesn't like that. Did I not declare a package or something?   Also, if I wanted to show the solid this region creates by rotating it about the x-axis, is there a way to did this in latex? (If you had cal 2, think volume of a solid rotated about ...). Why mass terms are forbidden? I would like to clarify my understanding on why mass terms in Lagrangians of gauge theories are forbidden.  It's often repeated that particle masses are forbidden by electroweak symmetry because it is a chiral theory. I want to make a distinction between fermionic masses and gauge boson masses.   Looking through the transformations of gauge boson mass terms, it seems that these are in fact always forbidden by their respective gauge symmetry. Is this correct? (So if there was no SU(2) symmetry, the photon and gluon would still need to be massless?)  In which case, the electroweak symmetry is actually responsible for forbidding all other mass terms (i.e. weak boson masses and fermion masses) due to the usual chiral arguments. Is this correct? How would I give a simple example of a function $f$ differentiable in a deleted neighborhood of $x_0$ such that $\lim_{x\to x_0}f^\prime(x)$ does not exist? I cannot seem to think of an example.  A delete neighborhood is an open interval about $x_0$ which does not contain $x_0$. So, $(x_0-\delta,x_0+\delta)-\{x_0\}$ for some $\delta&gt;0$.  How would something be differentiable in a deleted neighborhood if at the point of the derivative, the limit does not exist. Presumably, the derivative ends up looking something like $\lim_{x\to x_0} \dfrac{1}{x}$, if it does not exist. Unable to correctly install pip3 using apt-get I am using Ubuntu 16.04, and was experiencing issues with my pip3. Specifically, when I attempted to uninstall a package via  sudo pip3 uninstall   I encountered   Traceback (most recent call last):   File "/usr/bin/pip3", line 9, in &lt;module&gt;     from pip import main ImportError: cannot import name 'main'   I attempted to resolve this issue by reinstalling pip3, specifically   sudo python3 -m pip uninstall pip &amp;&amp; sudo apt install python3-pip --reinstall   which succeeded. However, I no longer have a local version of pip3 at all  bash: /home/kurt/.local/bin/pip3: No such file or directory   Using which pip3 in a new terminal I find,  $ which pip3 /usr/bin/pip3   and attempting to use pip3 at all brings me  $ pip3 Traceback (most recent call last): File "/usr/lib/python3/dist-packages/pip/_vendor/__init__.py", line 33, in vendored     __import__(vendored_name, globals(), locals(), level=0) ImportError: No module named 'pip._vendor.pkg_resources'  During handling of the above exception, another exception occurred:  Traceback (most recent call last): File "/usr/bin/pip3", line 9, in &lt;module&gt;     from pip import main File "/usr/lib/python3/dist-packages/pip/__init__.py", line 13, in &lt;module&gt;     from pip.exceptions import InstallationError, CommandError, PipError File "/usr/lib/python3/dist-packages/pip/exceptions.py", line 6, in &lt;module&gt;     from pip._vendor.six import iteritems File "/usr/lib/python3/dist-packages/pip/_vendor/__init__.py", line 75, in &lt;module&gt;     vendored("pkg_resources") File "/usr/lib/python3/dist-packages/pip/_vendor/__init__.py", line 36, in vendored     __import__(modulename, globals(), locals(), level=0) File "&lt;frozen importlib._bootstrap&gt;", line 969, in _find_and_load File "&lt;frozen importlib._bootstrap&gt;", line 958, in _find_and_load_unlocked File "&lt;frozen importlib._bootstrap&gt;", line 664, in _load_unlocked File "&lt;frozen importlib._bootstrap&gt;", line 634, in _load_backward_compatible File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2927, in &lt;module&gt; File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2913, in _call_aside File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2952, in _initialize_master_working_set File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 956, in subscribe File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2952, in &lt;lambda&gt; File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2515, in activate File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2097, in declare_namespace File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2047, in _handle_ns File "/usr/share/python-wheels/pkg_resources-0.0.0-py2.py3-none-any.whl/pkg_resources/__init__.py", line 2066, in _rebuild_mod_path AttributeError: '_NamespacePath' object has no attribute 'sort'   However, I am able to execute without incident when typing sudo -H pip3 -v. Reinstalling pip3 from apt, e.g.  sudo apt-get install python3-pip --reinstall   has no effect. If anyone has any insight, or has encountered a similar problem, I would greatly appreciate any input on how to approach this problem. How can I intercept XMLHttpRequests from a Greasemonkey script? GeoServer cutting off symbols close to tile edges? Who was the real "Master Code Breaker"? Does Blender support dual-GPU rendering if the two GPUs aren't the same? I have a GTX 1060 6GB in my current build, and I also have a GTX 960 2GB in storage. I was wondering if I got , and got both of my GPUs in one build (not SLI or CrossFire, just in the same system) would I be able to use both GPUs for rendering simultaneously? I don't care if this means having them both render separate tiles in one instance of Blender, or rendering separate frames in two instances. I'm using Cycles for everything I do. Let $R$ be a commutative ring with identity. Show that $R$ is a field if and only if the only ideals of $R$ are $R$ itself and the zero ideal $(0)$.  I can't figure out where to start other that I need to prove some biconditional statement. Any help? Under the  tag I have seen many questions on earth-616. Are there any other versions of earth as well? How do they differ from each other? I find that the minimum in-call volume on my HTC Desire is still far to loud on some calls.  Since I got the phone, I have flashed several different custom ROMs, radio updates, etc, and have had the issue throughout.  Do you know of any way (setting, hack, app, whatever) to reduce the minimum volume?  My device is rooted and I am currently running one of the CyanogenMod 7 (Gingerbread) nightly builds.