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

Varieties: new package and documentation #2977

Merged
merged 4 commits into from
Dec 20, 2023
Merged

Varieties: new package and documentation #2977

merged 4 commits into from
Dec 20, 2023

Commits on Nov 11, 2023

  1. git mv m2/varieties.m2 packages/Varieties.m2 (and some docs)

    @mahrud
    mahrud committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    0f1c148 View commit details
    Browse the repository at this point in the history

  2. added new package Varieties

    @mahrud
    mahrud committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    5870c8b View commit details
    Browse the repository at this point in the history

  3. added Varieties to relevant PackageImports lists

    @mahrud
    mahrud committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    2eac9b5 View commit details
    Browse the repository at this point in the history

  4. moved all documentation of varieties and sheaves 

    Note: several nodes are commented out. See docs.m2
    @mahrud
    mahrud committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    93afee7 View commit details
    Browse the repository at this point in the history