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

Topological vector spaces #1300

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

Topological vector spaces #1300

wants to merge 11 commits into from

Commits on Oct 26, 2024

  1. tvs structure 

    Co-authored with Reynald Affeldt <[email protected]>
Co-authored with Cyril Cohen <[email protected]>
    @mkerjean
    mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    0d03ab3 View commit details
    Browse the repository at this point in the history

  2. gain 14 lines in the builder PseudoMetricNormedZmod_Lmodule_isNormedM… 

    …odule
    @affeldt-aist @mkerjean
    affeldt-aist authored and mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    688a3c3 View commit details
    Browse the repository at this point in the history

  3. easy fix suggested by @zstone1

    @mkerjean
    mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    ebf6f09 View commit details
    Browse the repository at this point in the history

  4. report the changes to builder in normedtype to regular topology

    @affeldt-aist @mkerjean
    affeldt-aist authored and mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    93f6903 View commit details
    Browse the repository at this point in the history

  5. linting

    @affeldt-aist @mkerjean
    affeldt-aist authored and mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    e115c15 View commit details
    Browse the repository at this point in the history

  6. linting

    @affeldt-aist @mkerjean
    affeldt-aist authored and mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    1a3276b View commit details
    Browse the repository at this point in the history

  7. linting

    @affeldt-aist @mkerjean
    affeldt-aist authored and mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    7c780cb View commit details
    Browse the repository at this point in the history

  8. clean

    @mkerjean
    mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    3a9dc03 View commit details
    Browse the repository at this point in the history

  9. deleting instances

    @mkerjean
    mkerjean committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    6ed550f View commit details
    Browse the repository at this point in the history

  10. fix headers

    @affeldt-aist
    affeldt-aist committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    fe97828 View commit details
    Browse the repository at this point in the history

  11. fix

    @affeldt-aist
    affeldt-aist committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    59a0fbd View commit details
    Browse the repository at this point in the history