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

[Merged by Bors] - feat(linear_algebra/matrix/transvection): matrices are generated by transvections and diagonal matrices #8898

Closed
wants to merge 22 commits into from

Commits on Aug 19, 2021

  1. progress

    sgouezel committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    2f3e123 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2021

  1. progress

    sgouezel committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    f5a12e0 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2021

  1. move to new file, progress

    sgouezel committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    533260d View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2021

  1. move to right file

    sgouezel committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    eb7e4e8 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2021

  1. progress

    sgouezel committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    61b4d95 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2021

  1. reindex_equiv

    sgouezel committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    ae7f1c9 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2021

  1. complete proof

    sgouezel committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    711521d View commit details
    Browse the repository at this point in the history
  2. merge master

    sgouezel committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    5964917 View commit details
    Browse the repository at this point in the history
  3. lint

    sgouezel committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    5032a5c View commit details
    Browse the repository at this point in the history
  4. fix build

    sgouezel committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    eff1da9 View commit details
    Browse the repository at this point in the history
  5. style

    sgouezel committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    70ea847 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2021

  1. docstring

    sgouezel committed Aug 28, 2021
    Configuration menu
    Copy the full SHA
    563e995 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2021

  1. Apply suggestions from code review

    Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
    sgouezel and semorrison committed Sep 7, 2021
    Configuration menu
    Copy the full SHA
    fb806bb View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2021

  1. refactor(data/matrix): put std_basis_matrix in its own file

    The authors here are recovered from the git history
    eric-wieser committed Sep 8, 2021
    Configuration menu
    Copy the full SHA
    6f29a28 View commit details
    Browse the repository at this point in the history
  2. fix import

    eric-wieser committed Sep 8, 2021
    Configuration menu
    Copy the full SHA
    48a7156 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a4e2390 View commit details
    Browse the repository at this point in the history
  4. Merge remote-tracking branch 'upstream/eric-wieser/move-matrix.std_ba…

    …sis_matrix' into pivot
    sgouezel committed Sep 8, 2021
    Configuration menu
    Copy the full SHA
    dca4a1e View commit details
    Browse the repository at this point in the history
  5. remove E, fix build

    sgouezel committed Sep 8, 2021
    Configuration menu
    Copy the full SHA
    28fe47a View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2021

  1. Configuration menu
    Copy the full SHA
    9c96383 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    366096e View commit details
    Browse the repository at this point in the history
  3. merge master

    sgouezel committed Sep 9, 2021
    Configuration menu
    Copy the full SHA
    f6b3e67 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    60cc70d View commit details
    Browse the repository at this point in the history