Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Centralize import/export statements and clean up main file #1537

Merged
merged 13 commits into from
Apr 4, 2024
4 changes: 2 additions & 2 deletions docs/src/perm.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ In practice this may result in decreased memory footprint (when storing multiple
All the permutation group types belong to the `Group` abstract type and the corresponding permutation element types belong to the `GroupElem` abstract type.

```@docs
Generic.setpermstyle
setpermstyle
```

## Permutations constructors
Expand Down Expand Up @@ -231,7 +231,7 @@ Each of the methods perform basic sanity checks on the input which can be switch
## Misc
```@docs
rand(::Generic.SymmetricGroup)
Generic.matrix_repr(::Perm)
matrix_repr(::Perm)
Generic.emb(::Generic.SymmetricGroup, ::Vector{Int}, ::Bool)
Generic.emb!(::Perm, ::Perm, V)
```
6 changes: 3 additions & 3 deletions docs/src/ytabs.md
Original file line number Diff line number Diff line change
Expand Up @@ -166,8 +166,8 @@ character(::Type{Int}, lambda::Partition, mu::Partition[, check::Bool=true])
The dimension $\dim \lambda$ of the irreducible module corresponding to partition $\lambda$ can be computed using [Hook length formula](https://en.wikipedia.org/wiki/Hook_length_formula)

```@docs
Generic.rowlength
Generic.collength
rowlength
collength
hooklength
dim(::Generic.YoungTableau)
```
Expand Down Expand Up @@ -208,7 +208,7 @@ The implementation follows
implementing the following functions. For precise definitions and meaning please consult the paper cited.

```@docs
Generic.partitionseq
partitionseq
is_rimhook(::BitVector, ::Int, ::Int)
Generic.MN1inner
```
Expand Down
Loading
Loading