Groups.jl were not used in 1703.09680v1

This commit is contained in:
kalmarek 2017-09-10 17:23:17 +02:00
parent f1b095e518
commit 1802029df9

View File

@ -80,7 +80,6 @@ git checkout 1703.09680v1
Unfortunately: You need to link `~/.julia/v0.5/GroupRings` to `~/.julia/v0.5/GroupAlgebras` due to change in the name of the package. Then run in `julia`
```julia
Pkg.checkout("Groups", "1703.09680v1")
Pkg.checkout("GroupRings", "1703.09680v1")
Pkg.checkout("PropertyT", "1703.09680v1")
Pkg.resolve()