kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-30 10:00:28 +01:00
Code Issues Releases Wiki Activity

IdSymbol for AutSymbols

Browse Source
This commit is contained in:
kalmar 2017-01-21 17:20:15 +01:00
parent 5572b0c1ce
commit b19d8b7185
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
AutGroups.jl
View File

@ -17,8 +17,8 @@ end
(==)(s::AutSymbol, t::AutSymbol) = s.gen == t.gen && s.pow == t.pow (==)(s::AutSymbol, t::AutSymbol) = s.gen == t.gen && s.pow == t.pow
hash(s::AutSymbol, h::UInt) = hash(s.gen, hash(s.pow, hash(:AutSymbol, h))) hash(s::AutSymbol, h::UInt) = hash(s.gen, hash(s.pow, hash(:AutSymbol, h)))
IDSymbol(::Type{AutSymbol}) = AutSymbol("(id)", 0, :(IDAutomorphism(N)))
IdSymbol(::Type{AutSymbol}) = AutSymbol("(id)", 0, :(IdAutomorphism(N)))
change_pow(s::AutSymbol, n::Int) = reduce(AutSymbol(s.gen, n, s.ex)) change_pow(s::AutSymbol, n::Int) = reduce(AutSymbol(s.gen, n, s.ex))
function inv(f::AutSymbol) function inv(f::AutSymbol)