Register 0.1.3

[scheinerman]

@JuliaRegistrator register

Release Notes

New fuzzy_equal algorithm

The algorithm for fuzzy_equal has been modified. The problem was that the random sets we tested might all be independent in a high rank matroid. Here's what happens in version 0.1.2:

julia> M1 = UniformMatroid(100,99)
{100, 99} matroid

julia> M2 = UniformMatroid(100,98)
{100, 98} matroid

julia> fuzzy_equal(M1,M2)
true

To fix this, we first check that the matroids have the same number of elements and the same rank. Then the random subsets are chosen with p = r/m where r is the rank and m is the number of elements.

We also repeatedly find random bases of the two matroids (using the same set of random weights) and check if they are the same.

The function call for fuzzy_equal remains the same, but the default selection probability is no longer necessarily 1/2.

New exact equality test

Matroid equality can now be tested with M1 == M2. We do this by generating all the bases for both matroids and seeing if they are the same. This is horribly slow except for small matroids.

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/125044

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>" 830a0824563a09059ecaff4acbfdc764c6f0f46b
git push origin v0.1.3