kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-03 17:56:28 +01:00
Code Issues Releases Wiki Activity

remove Compat

Browse Source
This commit is contained in:
kalmarek 2017-09-13 11:22:21 +02:00
parent 1988e8fd40
commit 32a76f9efa
3 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/AutGroup.jl
View File

@ -4,16 +4,16 @@
#
###############################################################################
@compat struct AutSymbol <: GSymbol
struct AutSymbol <: GSymbol
str::String
pow::Int
ex::Expr
func::Function
end
@compat AutGroupElem = GWord{AutSymbol}
AutGroupElem = GWord{AutSymbol}
@compat mutable struct AutGroup <: AbstractFPGroup
mutable struct AutGroup <: AbstractFPGroup
objectGroup::Group
gens::Vector{AutSymbol}
end

6
src/FreeGroup.jl
View File

@ -4,14 +4,14 @@
#
###############################################################################
@compat struct FreeSymbol <: GSymbol
struct FreeSymbol <: GSymbol
str::String
pow::Int
end
@compat FreeGroupElem = GWord{FreeSymbol}
FreeGroupElem = GWord{FreeSymbol}
@compat mutable struct FreeGroup <: AbstractFPGroup
mutable struct FreeGroup <: AbstractFPGroup
gens::Vector{FreeSymbol}
# order::Vector{T}
# fastmult_table::Array{Int,2}

11
src/Groups.jl
View File

@ -1,5 +1,4 @@
module Groups
using Compat
using Nemo
import Nemo: Group, GroupElem, Ring
@ -25,7 +24,7 @@ doc"""
> * `pow` which is the (multiplicative) exponent of a symbol.
"""
@compat abstract type GSymbol end
abstract type GSymbol end
doc"""
W::GWord{T<:GSymbol} <:GroupElem
@ -43,18 +42,18 @@ doc"""
"""
@compat mutable struct GWord{T<:GSymbol} <: GroupElem
mutable struct GWord{T<:GSymbol} <: GroupElem
symbols::Vector{T}
savedhash::UInt
modified::Bool
parent::Group
@compat function GWord{T}(symbols::Vector{T}) where {T<:GSymbol}
function GWord{T}(symbols::Vector{T}) where {T<:GSymbol}
return new(symbols, hash(symbols), true)
end
end
@compat abstract type AbstractFPGroup <: Group end
abstract type AbstractFPGroup <: Group end
###############################################################################
#
@ -81,7 +80,7 @@ convert{T<:GSymbol}(::Type{GWord{T}}, s::T) = GWord{T}(T[s])
function hash(W::GWord, h::UInt)
W.modified && reduce!(W)
@compat res = xor(W.savedhash, h)
res = xor(W.savedhash, h)
return res
end