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

Universal property of list-based polynomials #917

Merged
merged 23 commits into from
Oct 18, 2022
Merged

Universal property of list-based polynomials #917

merged 23 commits into from
Oct 18, 2022

Commits on Aug 30, 2022

  1. scalar multiplication is homomorphic

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    46e2f61 View commit details
    Browse the repository at this point in the history

  2. CommAlgebra instance for list-based polynomials

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    67c30c4 View commit details
    Browse the repository at this point in the history

  3. refer to the new algebra structure

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    ebb54b7 View commit details
    Browse the repository at this point in the history

  4. revert deleted line

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    f58fb50 View commit details
    Browse the repository at this point in the history

  5. elimProp2 for UnivariatePolyList

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    d0fedc8 View commit details
    Browse the repository at this point in the history

  6. properties of list-based polynomials, related to the UMP of polynomials

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    5405ea2 View commit details
    Browse the repository at this point in the history

  7. property of algebras needed for the ump of the list-based polynomials

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    f5f22e2 View commit details
    Browse the repository at this point in the history

  8. construct induced homomorphism

    @felixwellen
    felixwellen committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    6461467 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. uniqueness part of the universal property of list-based polynomials

    @felixwellen
    felixwellen committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    7ca7ca8 View commit details
    Browse the repository at this point in the history

  2. refactor: reduce noise

    @felixwellen
    felixwellen committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    7371e5c View commit details
    Browse the repository at this point in the history

  3. export all parts of the unviersal property

    @felixwellen
    felixwellen committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    3aaaadf View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into ump_list_polynomials

    @felixwellen
    felixwellen committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    2e299bb View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. add a reference to the universal property, so make it easier to find

    @felixwellen
    felixwellen committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    dee4321 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2022

  1. Merge branch 'master' into algebra_structure_list_polynomials

    @felixwellen
    felixwellen committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    2d60d28 View commit details
    Browse the repository at this point in the history

  2. rename

    @felixwellen
    felixwellen committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    e8a8f0d View commit details
    Browse the repository at this point in the history

  3. add the implicit ring hom and use it to simplify the definition

    @felixwellen
    felixwellen committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    659b391 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'algebra_structure_list_polynomials' into ump_list_polyn… 

    …omials

# Conflicts:
#	Cubical/Algebra/CommAlgebra/UnivariatePolyList.agda
    @felixwellen
    felixwellen committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    920a054 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into ump_list_polynomials 

    # Conflicts:
#	Cubical/Algebra/CommAlgebra/UnivariatePolyList.agda
#	Cubical/Algebra/Polynomials/UnivariateList/Properties.agda
    @felixwellen
    felixwellen committed Sep 13, 2022
    Configuration menu
    Copy the full SHA
    e0e309d View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2022

  1. Merge branch 'master' into ump_list_polynomials

    @felixwellen
    felixwellen committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    5305a23 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2022

  1. Merge branch 'master' into ump_list_polynomials

    @felixwellen
    felixwellen committed Oct 11, 2022
    Configuration menu
    Copy the full SHA
    fcbeffb View commit details
    Browse the repository at this point in the history

  2. refactor: rename according to conventions for algebra

    @felixwellen
    felixwellen committed Oct 11, 2022
    Configuration menu
    Copy the full SHA
    22a257b View commit details
    Browse the repository at this point in the history

  3. deduplicate

    @felixwellen
    felixwellen committed Oct 11, 2022
    Configuration menu
    Copy the full SHA
    fee7903 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2022

  1. reformulate ump

    @felixwellen
    felixwellen committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    667171d View commit details
    Browse the repository at this point in the history