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

feat: power of product of two reflections #13270

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

feat: power of product of two reflections #13270

wants to merge 32 commits into from

Commits on May 22, 2024

  1. chebyshev polynomials indexed by negative numbers

    @trivial1711
    trivial1711 committed May 22, 2024
    Configuration menu
    Copy the full SHA
    93de1e8 View commit details
    Browse the repository at this point in the history

  2. fix some things

    @trivial1711
    trivial1711 committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c831075 View commit details
    Browse the repository at this point in the history

  3. fix simp lemma

    @trivial1711
    trivial1711 committed May 22, 2024
    Configuration menu
    Copy the full SHA
    52fe360 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. change one N to a Z

    @trivial1711
    trivial1711 committed May 23, 2024
    Configuration menu
    Copy the full SHA
    6416767 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Merge branch 'master' into trivial1711-chebyshev-negative

    @trivial1711
    trivial1711 committed May 24, 2024
    Configuration menu
    Copy the full SHA
    1c6817f View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. use induction tactic more consistently

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    c405aa3 View commit details
    Browse the repository at this point in the history

  2. chebyshev C and S

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    4564665 View commit details
    Browse the repository at this point in the history

  3. doc

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    87fab75 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'trivial1711-chebyshev-negative' into trivial1711-chebys… 

    …hev-cs
    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    fb6f357 View commit details
    Browse the repository at this point in the history

  5. add facts about dickson and trigonometric

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    1ab4f97 View commit details
    Browse the repository at this point in the history

  6. doc

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    b9ceb56 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'trivial1711-chebyshev-negative' into trivial1711-chebys… 

    …hev-cs
    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    916ae17 View commit details
    Browse the repository at this point in the history

  8. doc

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    224d4e9 View commit details
    Browse the repository at this point in the history

  9. remove unused argument

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    69fb585 View commit details
    Browse the repository at this point in the history

  10. doc

    @trivial1711
    trivial1711 committed May 25, 2024
    Configuration menu
    Copy the full SHA
    dbe360a View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. the formulas

    @trivial1711
    trivial1711 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    e5f0406 View commit details
    Browse the repository at this point in the history

  2. Take into account the feedback

    @trivial1711
    trivial1711 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    75e0c61 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'trivial1711-chebyshev-negative' into trivial1711-chebys… 

    …hev-cs
    @trivial1711
    trivial1711 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    ab60494 View commit details
    Browse the repository at this point in the history

  4. C_natAbs

    @trivial1711
    trivial1711 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    b7ae0d2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed May 27, 2024
    Configuration menu
    Copy the full SHA
    afc8090 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Merge branch 'master' into trivial1711-chebyshev-cs

    @trivial1711
    trivial1711 committed May 28, 2024
    Configuration menu
    Copy the full SHA
    7070d80 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed May 28, 2024
    Configuration menu
    Copy the full SHA
    893cab3 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. Merge branch 'master' into trivial1711-chebyshev-cs

    @trivial1711
    trivial1711 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    83edff8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    80857f7 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'master' into trivial1711-chebyshev-cs

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

  2. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    b2b5567 View commit details
    Browse the repository at this point in the history

  3. local reducible

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

  4. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    528c364 View commit details
    Browse the repository at this point in the history

  5. semireducible instead of local reducible

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

  6. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    8fd5ca7 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. remove simp from C_neg_one

    @trivial1711
    trivial1711 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    2da1bdc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'trivial1711-chebyshev-cs' into trivial1711-reflection-m… 

    …ul-pow
    @trivial1711
    trivial1711 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    6c62c04 View commit details
    Browse the repository at this point in the history