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

Examples of finite presentations of CommAlgebra's #680

Merged
merged 118 commits into from
May 3, 2022
Merged

Examples of finite presentations of CommAlgebra's #680

merged 118 commits into from
May 3, 2022

Commits on Dec 17, 2021

  1. Generalize universe levels in CommAlgebraHom

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    2293b61 View commit details
    Browse the repository at this point in the history

  2. State the universal property of FreeCommAlgebra

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    c022b4e View commit details
    Browse the repository at this point in the history

  3. refactor

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    75359db View commit details
    Browse the repository at this point in the history

  4. Refactor

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    aa39dfe View commit details
    Browse the repository at this point in the history

  5. define finite presentation, refactor

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    d28ff6a View commit details
    Browse the repository at this point in the history

  6. Draw conclusion from the universal property of the initial algebra

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    f9ac0cd View commit details
    Browse the repository at this point in the history

  7. stuck - TC speed

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    ea07a93 View commit details
    Browse the repository at this point in the history

  8. construct terminal algebra

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    ef2071c View commit details
    Browse the repository at this point in the history

  9. show universal property

    @felixwellen
    felixwellen committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    4d561be View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2021

  1. Merge branch 'master' into terminal-algebra

    @felixwellen
    felixwellen committed Dec 20, 2021
    Configuration menu
    Copy the full SHA
    815faea View commit details
    Browse the repository at this point in the history

  2. terminal ring for any universe level

    @felixwellen
    felixwellen committed Dec 20, 2021
    Configuration menu
    Copy the full SHA
    2e49d84 View commit details
    Browse the repository at this point in the history

  3. Refactor: Use UnitCommRing

    @felixwellen
    felixwellen committed Dec 20, 2021
    Configuration menu
    Copy the full SHA
    d9a5075 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

  1. Rollback renaming (for now)

    @felixwellen
    felixwellen committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    ea038d1 View commit details
    Browse the repository at this point in the history

  2. try 'abstract'

    @felixwellen
    felixwellen committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    eb741c7 View commit details
    Browse the repository at this point in the history

  3. abstract works...

    @felixwellen
    felixwellen committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    b7276b3 View commit details
    Browse the repository at this point in the history

  4. Fix

    @felixwellen
    felixwellen committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    c9a15c6 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Merge branch 'master' into universal-properties-alg

    @felixwellen
    felixwellen committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    5ea81b7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into terminal-algebra

    @felixwellen
    felixwellen committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    db0f987 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into finite-presentations

    @felixwellen
    felixwellen committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    8fd4834 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2022

  1. WIP: Use CommIdeal

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    44782d5 View commit details
    Browse the repository at this point in the history

  2. Use CommIdeal for CommRing-Quotients

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    08d9c7d View commit details
    Browse the repository at this point in the history

  3. Use CommIdeal for FGIdeals

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

  4. Remove obsolete comment

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    245841a View commit details
    Browse the repository at this point in the history

  5. Fix usages in CommAlgebra

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

  6. Fix usages in CommAlgebra

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

  7. WIP: Use CommIdeal

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

  8. Use CommIdeal for CommRing-Quotients

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    827b2af View commit details
    Browse the repository at this point in the history

  9. Use CommIdeal for FGIdeals

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    0cf454d View commit details
    Browse the repository at this point in the history

  10. Remove obsolete comment

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    8101e83 View commit details
    Browse the repository at this point in the history

  11. Fix usages in CommAlgebra

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

  12. Fix usages in CommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    5c1c824 View commit details
    Browse the repository at this point in the history

  13. Remove obsolete comment

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    6c27b3c View commit details
    Browse the repository at this point in the history

  14. Merge branch 'use-commideal-everywhere' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/CommRing/Ideal.agda
    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    8f4b1f2 View commit details
    Browse the repository at this point in the history

  15. Converts non-commutatitive ideals to commutative ideal in CommRings

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

  16. remove something strange

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    43e49c5 View commit details
    Browse the repository at this point in the history

  17. start with kernels of CommAlgebraHoms

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    9e568ca View commit details
    Browse the repository at this point in the history

  18. brush up old kernel ideal

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    9e67aed View commit details
    Browse the repository at this point in the history

  19. Some helper functions for CommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    623c056 View commit details
    Browse the repository at this point in the history

  20. Define kernel of algebra homorphism

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

  21. Some helper functions for CommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    509331b View commit details
    Browse the repository at this point in the history

  22. Fix standardized boilerplate

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

  23. refactor

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    5b19dca View commit details
    Browse the repository at this point in the history

  24. universal prop for quotients of CommAlgebras

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    3040fa6 View commit details
    Browse the repository at this point in the history

  25. Zero ideal in an CommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    0568fde View commit details
    Browse the repository at this point in the history

  26. one ideal in CommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    399511f View commit details
    Browse the repository at this point in the history

  27. Merge branch 'terminal-algebra' into finite-presentations

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

  28. compute trivial quotients

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

  29. compute trivial quotients

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

  30. split and move FreeCommAlgebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    806d2b6 View commit details
    Browse the repository at this point in the history

  31. Fix standardized boilerplate

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

  32. Draw conclusion from the universal property of the initial algebra

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    366e580 View commit details
    Browse the repository at this point in the history

  33. Add identity CAlgHom

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

  34. clean up

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    0898cc6 View commit details
    Browse the repository at this point in the history

  35. show

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    270019d View commit details
    Browse the repository at this point in the history

  36. flatten the hierarchie

    @felixwellen
    felixwellen committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    36ae09f View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2022

  1. Merge branch 'compute-free-algebra-on-empty' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/CommAlgebra/FPAlgebra.agda
#	Cubical/Algebra/CommAlgebra/Instances/Initial.agda
    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    0948c49 View commit details
    Browse the repository at this point in the history

  2. remove obsolete

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    46fed83 View commit details
    Browse the repository at this point in the history

  3. clean up and comments

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    ccf9eb1 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'compute-free-algebra-on-empty' into finite-presentations

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    06c1b3e View commit details
    Browse the repository at this point in the history

  5. deduplicate definition of 1-ideal and 0-ideal

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    4066546 View commit details
    Browse the repository at this point in the history

  6. deduplicate definition of 1-ideal and 0-ideal

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    0164e9d View commit details
    Browse the repository at this point in the history

  7. deduplicate definition of 1-ideal and 0-ideal

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    0fb0a4c View commit details
    Browse the repository at this point in the history

  8. 0-Ideal in CommAlgebra is generated

    @felixwellen
    felixwellen committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    0d37044 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2022

  1. Convience functions for CommAlgebras

    @felixwellen
    felixwellen committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    a4e2998 View commit details
    Browse the repository at this point in the history

  2. new tc speed problem...

    @felixwellen
    felixwellen committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    12d8b82 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2022

  1. WIP

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

Commits on Mar 25, 2022

  1. wip: try to avoid tc speed problem

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    b51f645 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'universal-properties-alg' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/CommAlgebra/FreeCommAlgebra/Properties.agda
    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    d3f69ac View commit details
    Browse the repository at this point in the history

  3. wip: universal property of multivariate polynomials

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    91527eb View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/Algebra/Base.agda
#	Cubical/Algebra/CommAlgebra/Base.agda
#	Cubical/Algebra/CommAlgebra/FreeCommAlgebra/Properties.agda
#	Cubical/Algebra/CommAlgebra/Properties.agda
    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    5d6e525 View commit details
    Browse the repository at this point in the history

  5. fixes

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    a75813b View commit details
    Browse the repository at this point in the history

  6. make checkable

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    01315c9 View commit details
    Browse the repository at this point in the history

  7. induced morphism by universal property of finitely presented algebra

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    d9eee29 View commit details
    Browse the repository at this point in the history

  8. refactor, continue

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    60d6a1f View commit details
    Browse the repository at this point in the history

  9. refactor

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    ef3d439 View commit details
    Browse the repository at this point in the history

  10. lemma for set quotients

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    d8fbc90 View commit details
    Browse the repository at this point in the history

  11. injectivity of precomposition with quotient map

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    b93ac9c View commit details
    Browse the repository at this point in the history

  12. generalize universe level

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    f02b0cd View commit details
    Browse the repository at this point in the history

  13. uniqueness in the universal property of FP-algebras

    @felixwellen
    felixwellen committed Mar 25, 2022
    Configuration menu
    Copy the full SHA
    2a8a106 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2022

  1. construct finite presentation of initial CommAlgebra

    @felixwellen
    felixwellen committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    faa666c View commit details
    Browse the repository at this point in the history

  2. whitespace

    @felixwellen
    felixwellen committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    a65b648 View commit details
    Browse the repository at this point in the history

  3. more naturality lemmas

    @felixwellen
    felixwellen committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    7e92480 View commit details
    Browse the repository at this point in the history

  4. lemma about free algebra

    @felixwellen
    felixwellen committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    08b194d View commit details
    Browse the repository at this point in the history

  5. prove that the given relations in a finitely presented algebra hold

    @felixwellen
    felixwellen committed Mar 28, 2022
    Configuration menu
    Copy the full SHA
    2907317 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2022

  1. WIP: the terminal algebra is finitely presented

    @MatthiasHu
    MatthiasHu committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    247b00a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'finite-presentations-matthias' into finite-presentations

    @felixwellen
    felixwellen committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    51a821e View commit details
    Browse the repository at this point in the history

  3. WIP: construct finite presentation of terminal algebra

    @felixwellen
    felixwellen committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    f264a87 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2022

  1. Merge branch 'more_stable_ring_solving' into finite-presentations

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

  2. use ring solver

    @felixwellen
    felixwellen committed Mar 31, 2022
    Configuration menu
    Copy the full SHA
    749b039 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'stable-ringsolver' into finite-presentations

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

  4. clean up

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

  5. remove wrong commenting

    @felixwellen
    felixwellen committed Mar 31, 2022
    Configuration menu
    Copy the full SHA
    8f46f29 View commit details
    Browse the repository at this point in the history

  6. use concise notation

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

Commits on Apr 4, 2022

  1. Merge remote-tracking branch 'my-fork/finite-presentations' into fini… 

    …te-presentations

# Conflicts:
#	Cubical/Algebra/CommAlgebra/FPAlgebra.agda
    @felixwellen
    felixwellen committed Apr 4, 2022
    Configuration menu
    Copy the full SHA
    6c3323c View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2022

  1. corrected a comment

    @MatthiasHu
    MatthiasHu committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    e6d8abf View commit details
    Browse the repository at this point in the history

  2. better name for a lemma

    @MatthiasHu
    MatthiasHu committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    4e88abe View commit details
    Browse the repository at this point in the history

  3. inducedHom (in FPAlgebra.agda) should take the algebra explicitly

    @MatthiasHu
    MatthiasHu committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    fa14beb View commit details
    Browse the repository at this point in the history

  4. missing part of universal property of FPAlgebra

    @MatthiasHu
    MatthiasHu committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    9ec3867 View commit details
    Browse the repository at this point in the history

  5. wip: polynomial algebras are finitely presented

    @MatthiasHu
    MatthiasHu committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    54ed0ab View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2022

  1. polynomial algebras are finitely presented

    @MatthiasHu
    MatthiasHu committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    7fb3337 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2022

  1. Spec Iso in FPAlgebra.agda 

    Isomorphism between spectrum (understood as zero locus of generators) and comm algebra homomorphisms.
    @arodrica43
    arodrica43 committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    88d7585 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2022

  1. Merge pull request #3 from MatthiasHu/finite-presentations 

    Polynomial algebras are finitely presented
    @felixwellen
    felixwellen committed Apr 22, 2022
    Configuration menu
    Copy the full SHA
    5848f93 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2022

  1. Update FPAlgebra.agda 

    Improve notation
    @arodrica43
    arodrica43 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    959d6a1 View commit details
    Browse the repository at this point in the history

  2. Update FPAlgebra.agda 

    eol
    @arodrica43
    arodrica43 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    128bf4b View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2022

  1. Merge pull request #2 from arodrica43/finite-presentations 

    Spec Iso in FPAlgebra.agda
    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    294dfb2 View commit details
    Browse the repository at this point in the history

  2. minor conflict fix, indentation, notation

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    9d239a2 View commit details
    Browse the repository at this point in the history

  3. Remove meaningless change

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    fe03ada View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/CommAlgebra/Base.agda
#	Cubical/Algebra/CommAlgebra/FPAlgebra.agda
#	Cubical/Algebra/CommAlgebra/FreeCommAlgebra/Properties.agda
#	Cubical/Algebra/CommAlgebra/Ideal.agda
#	Cubical/Algebra/CommAlgebra/Instances/Initial.agda
#	Cubical/Algebra/CommAlgebra/QuotientAlgebra.agda
#	Cubical/Algebra/CommRing/Ideal.agda
    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    b53ef8e View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'my-fork/finite-presentations' into fini… 

    …te-presentations
    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    ec2e74e View commit details
    Browse the repository at this point in the history

  6. state naming convetion

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    befff8a View commit details
    Browse the repository at this point in the history

  7. replace occurences of the old style

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    2b935c2 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'naming-convention-levels' into finite-presentations

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    061e066 View commit details
    Browse the repository at this point in the history

  9. replace occurences of the old style

    @felixwellen
    felixwellen committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    38dc5ff View commit details
    Browse the repository at this point in the history

Commits on May 3, 2022

  1. Merge branch 'master' into finite-presentations 

    # Conflicts:
#	Cubical/Algebra/RingSolver/Examples.agda
    @felixwellen
    felixwellen committed May 3, 2022
    Configuration menu
    Copy the full SHA
    2c2f287 View commit details
    Browse the repository at this point in the history

  2. Revert "state naming convetion" 

    This reverts commit befff8a.
    @felixwellen
    felixwellen committed May 3, 2022
    Configuration menu
    Copy the full SHA
    264da22 View commit details
    Browse the repository at this point in the history

  3. adapt to naming conventions

    @felixwellen
    felixwellen committed May 3, 2022
    Configuration menu
    Copy the full SHA
    025d489 View commit details
    Browse the repository at this point in the history

  4. minor beautification

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

  5. remove bad levels

    @felixwellen
    felixwellen committed May 3, 2022
    Configuration menu
    Copy the full SHA
    120311e View commit details
    Browse the repository at this point in the history