Registration

[FabianMaeurer]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/101424

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.3 -m "<description of version>" e0e1ca751f2064ed4a6cebd6e537a005658312f0
git push origin v0.1.3

Also, note the warning: This looks like a new registration that registers version 0.1.3. Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.

[FabianMaeurer]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/101426

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.0 -m "<description of version>" e4a1e2decb8129bd4203f91154576768a37a737a
git push origin v0.1.0

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

Major changes

• Change compatibility to Oscar v1.0
• Add Natural transformations for additive functors
• Rework induction functor
• Performance improvements

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/102787

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.0 -m "<description of version>" b97e14f1252042b48a318af17ca6ce70a4a0385c
git push origin v0.2.0

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

Major changes

Change compatibility to Oscar v1.0 Add Natural transformations for additive functors Rework induction functor Performance improvements

[JuliaRegistrator]

Error while trying to register: "Tag with name v0.2.0 already exists and points to a different commit"

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

Major changes

Change compatibility to Oscar v1.0 Add Natural transformations for additive functors Rework induction functor Performance improvements

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/102810

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.1 -m "<description of version>" 2e15bce7099dce7f9bf7ead05d0cbe61c320561b
git push origin v0.2.1

Also, note the warning: Version 0.2.1 skips over 0.2.0 This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.

[FabianMaeurer]

@JuliaRegistrator register

release notes:

Fix Center Hom Spaces

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/102858

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.2 -m "<description of version>" 51dbaacf736127873e9b49ccc7990bbdfc79bb65
git push origin v0.2.2

Also, note the warning: Version 0.2.2 skips over 0.2.0 This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.

[FabianMaeurer]

@JuliaRegistrator register

release notes:

• Deterministic decomposition in semisimple categories

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/102942

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.3 -m "<description of version>" 5b51adf67de6de3f4e3af5e500a707d3fc68d9db
git push origin v0.2.3

[FabianMaeurer]

@JuliaRegistrator register

release notes:

• Improve decomposition
• Remove Graphs.jl dependency

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/103265

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.4 -m "<description of version>" a367c4943a842b58fa80d0962c45602a4f1737d5
git push origin v0.2.4

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

• Add multithreading for induction

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/103714

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.5 -m "<description of version>" adad66872ad2e26221c06a3f5190c7d35e64850a
git push origin v0.2.5

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

Add Centralizer

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/105353

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.6 -m "<description of version>" 8409592290e2cba0c63e049fc055e1a23de503b0
git push origin v0.2.6

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

• Rework decomposition
• Center construction usable for Dim(C) = 0

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/108893

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.7 -m "<description of version>" 83b55fd7d91bb49ba44988b25eb792d00a7d1500
git push origin v0.2.7

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

• Extend functionality for modul categories

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/109812

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.8 -m "<description of version>" 4936a022b04a09ca47f41ac8577e991c8b1efe38
git push origin v0.2.8

[FabianMaeurer]

@JuliaRegistrator register

Release notes:

• Extend Module Category Framework
• Renaming to conform to OSCAR.jl

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/110346

Tagging

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.3.0 -m "<description of version>" c13a8d98bc9cde9e3f77f6f3de1b50d8de934a24
git push origin v0.3.0