This is a repository for the participants of the topology study group at /r/GroupStudy using the 2nd edition of Topology by James Munkres.
Software Prerequisites
Using the Software
Using the Issue Tracker
Guidelines
You will need the following:
git
out -- would be to edit the markdown files via the GitHub web interface and to copy-and-paste the relevant snippets into a web-based markdown editor such as StackEdit for preview.First you will need to clone the repository onto your local computer. Open the command line in a directory of your choice and invoke the following:
git clone https://github.com/kellhus/munkres-study-notes.git
Once you have a copy of the repository, you can make changes to it locally. Open the markdown files in a text editor of your choice and edit them. When you are satisfied with your work, push the changes into the remote (GitHub) repository by opening the command line in the munkres-study-notes
directory and typing the following:
git add .
git commit -m "Describe the nature of your edits here"
git push
If the remote repository has been updated by someone else while you were working on your local copy, you will need to do the following instead (barring exceptional circumstances such as conflicting commits). This will take care of fetching the remote changes and merging them with your local changes -- so, if the remote repository has a solution to an exercise, and your local copy has a solution to another exercise, then git pull
should take care of that and update your local copy to have both solutions.
git add .
git commit -m "Describe the nature of your edits here"
git pull
git push
For further information on the Git versioning system, these excellent tutorials are highly recommended!
If you want to use your own branch to upload your notes and exercises (which is recommended), first create it with git checkout --orphan [name]
where [name]
should be replaced with the new branch name (for example, your username). This command will simultaneously create the branch and check it out.
Add all your files like normal, and when you're done do the usual git add
and git commit
dance. Now to upload it to github, just run git push -u origin [name]
. This will create a new branch on the remote as a copy of your local branch.
If you want to switch back to master, first make sure you're on a different branch with git branch
(if your normal tools don't tell you which branch you're on, I highly recommend checking before you do any git-related commands). Then you can checkout master with ... git checkout master
...
That's pretty much it. If you want an actual tutorial, I'd recommend these articles.
A Python script is provided that takes care of combining the markdown files and invoking the pandoc converter on the combined file. Simply open the command line in munkres-study-notes
and call:
python convert.py Munkres
The issue tracker can be used for requesting clarification from more knowledgeable participants on any issues that might arise, be they unclear wording in the text, unsufficient motivation of theorems or definitions, or problems with exercises. If you know the solution to an issue, make suitable changes to the markdown files. The issues can also be discussed in the process. An example issue is available here.
The issues can be classified using labels for easy lookup. The labels are intended as follows:
Theorem (Exercise, Example, Lemma) 3.12.1
refers to Chapter 3, Section 12, Theorem (Exercise, Example, Lemma) 1.### Comment on Lemma 2.5.4
to add commentary to the respective theorem or lemma.### Exercise 1.12.5
to add a solution to an exercise.### Freestyle Heading
to add something that does not fall into the above categories.Of course the point of the study group is to learn and that requires doing the work yourself. We will be putting together the solutions to problems and notes in the main branch, so you shouldn't look at the relevant sections until you've tried the problems yourself in order to avoid "spoilers". If you just want discussion, clarification, or a little hint or push in the right direction, create an issue using the black plus sign at the top-right of the page, and label it according to the labelling conventions described above.