Jon Price issues

Repositories
Issues
Comments

Results 3 issues of


                                            Jon Price

Update and rename Unnamed2_16.group to Pauli.group

This group is called the Pauli Group (https://en.wikipedia.org/wiki/Pauli_group). It's also the central product of the Cyclic group of order 4 and the Dihedral group of order 8.

Use install path relative to install.rb rather than the working dir

Addresses #191.

install.rb copies the wrong files if not in correct directory

I installed betty today and after cloning the repo I immediately ran `betty/install.rb`. It started copying all the files from the directory I was in instead of `betty/`. I believe...