kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-10-15 07:20:35 +02:00
Code Issues Releases Wiki Activity

reduce defaults to freereduce now

Browse Source
This commit is contained in:
kalmarek 2020-03-24 23:56:30 +01:00
parent 8abebbbd0c
commit 8688d42250
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Groups.jl
View File

@ -165,16 +165,16 @@ function freereduce!(w::GWord)
return w return w
end end
reduce!(w::GWord) = freereduce!(w)
@doc doc""" @doc doc"""
reduce(W::GWord) reduce(w::GWord)
> performs reduction/simplification of a group element (word in generators). > performs reduction/simplification of a group element (word in generators).
> The default reduction is the free group reduction, i.e. consists of > The default reduction is the free group reduction
> multiplying adjacent symbols with the same `id` identifier and deleting the
> identity elements from `W.symbols`.
> More specific procedures should be dispatched on `GWord`s type parameter. > More specific procedures should be dispatched on `GWord`s type parameter.
""" """
reduce(W::GWord) = reduce!(deepcopy(W)) reduce(w::GWord) = reduce!(deepcopy(w))
@doc doc""" @doc doc"""
gens(G::AbstractFPGroups) gens(G::AbstractFPGroups)