From d9a8da045bd14834232a3c480ee3e976aa5d7d84 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 8 Jan 2019 04:59:56 +0100 Subject: [PATCH] indent fixes in docs --- src/RGprojections.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/RGprojections.jl b/src/RGprojections.jl index 983df88..3a18463 100644 --- a/src/RGprojections.jl +++ b/src/RGprojections.jl @@ -201,7 +201,7 @@ end ############################################################################## doc""" -products(X::Vector{GroupElem}, Y::Vector{GroupElem}, op=*) + products(X::Vector{GroupElem}, Y::Vector{GroupElem}, op=*) > Returns a vector of all possible products (or `op(x,y)`), where $x\in X$ and > $y\in Y$ are group elements. You may specify which operation is used when > forming 'products' by adding `op` (which is `*` by default). @@ -222,7 +222,7 @@ function products{T<:GroupElem}(X::AbstractVector{T}, Y::AbstractVector{T}, op=* end doc""" -generateGroup(gens::Vector{GroupElem}, r=2, Id=parent(first(gens))(), op=*) + generateGroup(gens::Vector{GroupElem}, r=2, Id=parent(first(gens))(), op=*) > Produces all elements of a group generated by elements in `gens` in ball of > radius `r` (word-length metric induced by `gens`). > If `r(=2)` is specified the procedure will terminate after generating ball