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

Fixes for the degree function #3298

Merged
merged 103 commits into from
Feb 21, 2024
Merged

Commits on Jan 24, 2024

  1. Configuration menu
    Copy the full SHA
    1189e1b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    aab6439 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    668a853 View commit details
    Browse the repository at this point in the history
  4. Export submodule.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    e11109f View commit details
    Browse the repository at this point in the history
  5. Fix tests.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    da8193a View commit details
    Browse the repository at this point in the history
  6. Fix tests again.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    585c592 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    2b706ac View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    085e7f4 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    b7237f6 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    8d3cfea View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    8a737e3 View commit details
    Browse the repository at this point in the history
  12. Fix documentation.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    a0f6e4f View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    ca22781 View commit details
    Browse the repository at this point in the history
  14. Fix the fix.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    b08fb1d View commit details
    Browse the repository at this point in the history
  15. Fix method selection.

    HechtiDerLachs committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    3b42596 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Configuration menu
    Copy the full SHA
    2317eb7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8a1b09f View commit details
    Browse the repository at this point in the history
  3. Adjust tests.

    HechtiDerLachs committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    832bfae View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Configuration menu
    Copy the full SHA
    6b37340 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Configuration menu
    Copy the full SHA
    6936b15 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7102f40 View commit details
    Browse the repository at this point in the history
  3. Fix methods for quo.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    2e1a6c3 View commit details
    Browse the repository at this point in the history
  4. Adjust documentation.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    b17dcaf View commit details
    Browse the repository at this point in the history
  5. Merge branch 'fix_sub_and_quo_for_modules' of github.com:HechtiDerLac…

    …hs/Oscar.jl into fix_sub_and_quo_for_modules
    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    4defc97 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8e592a1 View commit details
    Browse the repository at this point in the history
  7. Fix up usages of quo.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    ba08f84 View commit details
    Browse the repository at this point in the history
  8. Export new functions.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    c6adba0 View commit details
    Browse the repository at this point in the history
  9. Some fixes.

    HechtiDerLachs committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    ed582e4 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    5817b87 View commit details
    Browse the repository at this point in the history
  2. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    db52db0 View commit details
    Browse the repository at this point in the history
  3. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    4e0437c View commit details
    Browse the repository at this point in the history
  4. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    775e267 View commit details
    Browse the repository at this point in the history
  5. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    4844564 View commit details
    Browse the repository at this point in the history
  6. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    88fab65 View commit details
    Browse the repository at this point in the history
  7. Squashed changes.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    9cbd80e View commit details
    Browse the repository at this point in the history
  8. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    f3e1fce View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    c13caa3 View commit details
    Browse the repository at this point in the history
  10. New rebase.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    55c2e04 View commit details
    Browse the repository at this point in the history
  11. Fix tests.

    HechtiDerLachs committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    2b05d7b View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    6056770 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    7510e71 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Configuration menu
    Copy the full SHA
    51459ba View commit details
    Browse the repository at this point in the history
  2. WIP on debugging.

    HechtiDerLachs committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    4ee1f2f View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. Configuration menu
    Copy the full SHA
    8887732 View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2024

  1. Configuration menu
    Copy the full SHA
    72845a3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    61a925f View commit details
    Browse the repository at this point in the history
  3. Add some assertions.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    97edc8b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cdbd973 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    263471c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    298b42e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    9a370ae View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    802ecaa View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    06a091d View commit details
    Browse the repository at this point in the history
  10. Fix faulty merge.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    920fb56 View commit details
    Browse the repository at this point in the history
  11. Go back to old hom.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a6b7c15 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    178eaf3 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    0b19f7e View commit details
    Browse the repository at this point in the history
  14. Repair truncate.

    HechtiDerLachs committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a717e99 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    c9212ec View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Configuration menu
    Copy the full SHA
    89f3055 View commit details
    Browse the repository at this point in the history
  2. Revert "Go back to old hom."

    This reverts commit a6b7c15.
    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    8e17657 View commit details
    Browse the repository at this point in the history
  3. Revert "Switch tests to old hom."

    This reverts commit 178eaf3.
    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    5b24c3d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    61f6d89 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e02a796 View commit details
    Browse the repository at this point in the history
  6. Adjust printing.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    c48c85a View commit details
    Browse the repository at this point in the history
  7. Fix tests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    ba50d61 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    78b5af2 View commit details
    Browse the repository at this point in the history
  9. Fix doctests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    f1701de View commit details
    Browse the repository at this point in the history
  10. Fix tests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    1f61c77 View commit details
    Browse the repository at this point in the history
  11. Fix doctests.

    HechtiDerLachs committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    4817778 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    1c5efea View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    190256b View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Configuration menu
    Copy the full SHA
    8d4254c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b51fd08 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    990b64b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    05fadd6 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a41df4f View commit details
    Browse the repository at this point in the history
  6. Fix more random seeds.

    HechtiDerLachs committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    e574723 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Configuration menu
    Copy the full SHA
    ba67350 View commit details
    Browse the repository at this point in the history
  2. Revert "Remove deprecated code."

    This reverts commit 190256b.
    HechtiDerLachs committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    fbde979 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    66c34b0 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    11ebd21 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6b5c953 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    5f56654 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    a1732e8 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    a47162d View commit details
    Browse the repository at this point in the history
  9. Fix doctests.

    HechtiDerLachs committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    25e56b3 View commit details
    Browse the repository at this point in the history
  10. Repair simplify.

    HechtiDerLachs committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    207ede9 View commit details
    Browse the repository at this point in the history
  11. Fix documentation.

    HechtiDerLachs committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    ecfc053 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Fix doctests.

    HechtiDerLachs committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    9d9e6f0 View commit details
    Browse the repository at this point in the history
  2. Some tuning.

    HechtiDerLachs committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    7f610f1 View commit details
    Browse the repository at this point in the history
  3. Fix tests.

    HechtiDerLachs committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    6a3d336 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Configuration menu
    Copy the full SHA
    d0aad4e View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Configuration menu
    Copy the full SHA
    7016470 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Configuration menu
    Copy the full SHA
    290b6f5 View commit details
    Browse the repository at this point in the history
  2. Fix faulty merge.

    HechtiDerLachs committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    ddb5367 View commit details
    Browse the repository at this point in the history
  3. Restrict signature.

    HechtiDerLachs committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    52b3047 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    22b4907 View commit details
    Browse the repository at this point in the history
  5. Small fix.

    HechtiDerLachs committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    928ad13 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    36edcfa View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    74eb818 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    20ae7ad View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    a0546c9 View commit details
    Browse the repository at this point in the history