1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Commit Graph

4 Commits

Author SHA1 Message Date
9d8f001363 use sign(::perm) 2017-07-12 20:11:43 +02:00
78490e6ca8 visual changes to central projection 2017-07-09 14:55:19 +02:00
3c0ecd2e73 DirectProducts and WreathProducts are in Groups now 2017-06-22 15:14:15 +02:00
77121c32eb add orbit-related code 2017-06-22 14:12:35 +02:00