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.

Sign up for GitHub

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

Jump to bottom

CloseMutableBasis now returns something #3247

Merged
merged 1 commit into from
Jan 30, 2019
Merged

CloseMutableBasis now returns something #3247

merged 1 commit into from
Jan 30, 2019

Commits on Jan 29, 2019

  1. CloseMutableBasis now returns something 

    Up to now, `CloseMutableBasis` had no return value.
Now it returns `true` if the basis was extended and `false` otherwise.

This saves work in situations where one builds a basis by
adding vectors, and where one wants to know which ones really
extended the current basis.
    @ThomasBreuer
    ThomasBreuer committed Jan 29, 2019
    Configuration menu
    Copy the full SHA
    48b20f6 View commit details
    Browse the repository at this point in the history