.gitignore
|
add gitignore
|
2017-03-13 16:19:41 +01:00 |
AutF4.jl
|
Tries on AutF4 with semidirect product
|
2017-03-13 16:20:40 +01:00 |
AutFN.jl
|
use PropertyT package
|
2017-03-14 16:13:05 +01:00 |
SL.jl
|
include name of the group upper-bound
|
2017-03-17 15:33:37 +01:00 |