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

feat: define singular n-manifolds #15906

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

feat: define singular n-manifolds #15906

wants to merge 9 commits into from
+212 −0

Commits on Sep 3, 2024

  1. Change

    @grunweg
    grunweg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    f70927a View commit details
    Browse the repository at this point in the history

  2. Small tweaks.

    @grunweg
    grunweg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    01ae66b View commit details
    Browse the repository at this point in the history

  3. WIP: move data into singularnmanifold 

    First constructions done; the itneresting ones will require being awake -:-)
    @grunweg
    grunweg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    1fa6a50 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Further: rename old variant to be clearly deprecated; rename some fie… 

    …lds. s.f cannot be renamed to map...
    @grunweg
    grunweg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    bb1c5e4 View commit details
    Browse the repository at this point in the history

  2. wip: further; enough for now

    @grunweg
    grunweg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    e96f6a2 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Fix proofs: just comap ones remaining.

    @grunweg
    grunweg committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    0ad05d3 View commit details
    Browse the repository at this point in the history

  2. Last edits, and add a docstring.

    @grunweg
    grunweg committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    71196a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. Add lots of documentation.

    @grunweg
    grunweg committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0832a19 View commit details
    Browse the repository at this point in the history

  2. RFC: fix checkUnivs linter

    @grunweg
    grunweg committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3cb89c3 View commit details
    Browse the repository at this point in the history