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

Add bundled homomorphisms #2383

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

Add bundled homomorphisms #2383

wants to merge 36 commits into from

Commits on May 7, 2024

  1. Bundle Algebra.Morphisms

    @jamesmckinna
    jamesmckinna committed May 7, 2024
    Configuration menu
    Copy the full SHA
    fe3fea0 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. more bundles!

    @jamesmckinna
    jamesmckinna committed May 8, 2024
    Configuration menu
    Copy the full SHA
    a33cff6 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. RingWithoutOne now exports a RawRingWithoutOne field

    @jamesmckinna
    jamesmckinna committed May 15, 2024
    Configuration menu
    Copy the full SHA
    ca14ed9 View commit details
    Browse the repository at this point in the history

  2. disambiguation error when trying to add RingWithoutOneHomomorphism … 

    …record
    @jamesmckinna
    jamesmckinna committed May 15, 2024
    Configuration menu
    Copy the full SHA
    a5f8c0e View commit details
    Browse the repository at this point in the history

  3. FIXED: disambiguation error when trying to add `RingWithoutOneHomomor… 

    …phism`
    @jamesmckinna
    jamesmckinna committed May 15, 2024
    Configuration menu
    Copy the full SHA
    7d9649c View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. add rawKleeneAlgebra

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    a4a1549 View commit details
    Browse the repository at this point in the history

  2. add KleeneAlgebra, Quasigroup, and Lopp homomorphisms

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    32682ce View commit details
    Browse the repository at this point in the history

  3. add bundled Identity homomorphisms

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    59474ac View commit details
    Browse the repository at this point in the history

  4. avoid name clash: remove opening of sub-homomorphism bundles

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    6c8459f View commit details
    Browse the repository at this point in the history

  5. add bundled Composition of homomorphisms

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    df9b2da View commit details
    Browse the repository at this point in the history

  6. more exported sub-bundles

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    6c44f5b View commit details
    Browse the repository at this point in the history

  7. removed redundant anonymous modules

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    150daaa View commit details
    Browse the repository at this point in the history

  8. removed redundant anonymous modules

    @jamesmckinna
    jamesmckinna committed May 16, 2024
    Configuration menu
    Copy the full SHA
    454d8ed View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. add isNearSemiring to IsRingWithoutOne plus knock-on re-exports

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    04fa1f4 View commit details
    Browse the repository at this point in the history

  2. add nearSemiring to RingWithoutOne plus knock-on re-exports

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    71e8e2e View commit details
    Browse the repository at this point in the history

  3. add rawNearSemiring to RingWithoutOne plus knock-on re-exports

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    8e1c8a1 View commit details
    Browse the repository at this point in the history

  4. lots more exported sub-structures and sub-bundles

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    da9b808 View commit details
    Browse the repository at this point in the history

  5. fix bug: restrict exports

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6d1c1c1 View commit details
    Browse the repository at this point in the history

  6. lots more exported sub-structures and sub-bundles

    @jamesmckinna
    jamesmckinna committed May 17, 2024
    Configuration menu
    Copy the full SHA
    88aa9f6 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed May 31, 2024
    Configuration menu
    Copy the full SHA
    deff25f View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. refactor: RawX parameterisation

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    6c31fde View commit details
    Browse the repository at this point in the history

  2. knock-on: Identity takes a full Bundle

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    38fb861 View commit details
    Browse the repository at this point in the history

  3. tighten imports

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    08624e5 View commit details
    Browse the repository at this point in the history

  4. knock-on: Composition takes full Bundles

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    52ab68a View commit details
    Browse the repository at this point in the history

  5. CHANGELOG

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    3409e84 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    2677916 View commit details
    Browse the repository at this point in the history

  7. fix-whitespace

    @jamesmckinna
    jamesmckinna committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    dfb67c9 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    1e8c3d3 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2024

  1. fix CHANGELOG

    @jamesmckinna
    jamesmckinna committed Jul 28, 2024
    Configuration menu
    Copy the full SHA
    bd66103 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'agda:master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Jul 28, 2024
    Configuration menu
    Copy the full SHA
    4da68d5 View commit details
    Browse the repository at this point in the history

  3. update CHANGELOG

    @jamesmckinna
    jamesmckinna committed Jul 28, 2024
    Configuration menu
    Copy the full SHA
    8fa69d9 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    4c2cec5 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge branch 'master' into bundled-homomorphisms

    @MatthewDaggitt
    MatthewDaggitt committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b325a03 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    0a1cc14 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Merge branch 'master' into bundled-homomorphisms

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

Commits on Sep 8, 2024

  1. Merge branch 'master' into bundled-homomorphisms

    @jamesmckinna
    jamesmckinna committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    86e0e37 View commit details
    Browse the repository at this point in the history