Skip to content

History / Computation models for polynomials and finitely supported functions

Revisions

  • add a link to a Zulip discussion

    @alreadydone alreadydone committed Jun 3, 2025
    05ba40e

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed May 27, 2025
    5411611

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed May 27, 2025
    ae7be21

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Apr 28, 2024
    a71455c

  • Added zulip thread according to https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Why.20is.20.60Polynomial.60.20noncomputable.3F/near/422268732

    @qawbecrdtey qawbecrdtey committed Feb 19, 2024
    71f1e3c

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @thorimur thorimur committed Dec 9, 2023
    c428658

  • Add another zulip thread

    @eric-wieser eric-wieser committed Sep 21, 2023
    19d3b21

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Sep 21, 2023
    ff832d6

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 21, 2023
    2746fa4

  • Primed DFinsupp

    @eric-wieser eric-wieser committed Aug 21, 2023
    f1f977c

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    e32468e

  • Explain what `DecidableEq ι` means in practice.

    @eric-wieser eric-wieser committed Aug 3, 2023
    d3b9f0e

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    a4c5e61

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    2fd37c1

  • Add another link

    @eric-wieser eric-wieser committed Aug 3, 2023
    ad22b47

  • Add another relevant Zulip discussion

    @Vierkantor Vierkantor committed Aug 3, 2023
    870ad32

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    851b5b8

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    bb90907

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    a228dbb

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    5ebdc9d

  • Updated Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    bf3299f

  • Created Computation models for polynomials and finitely supported functions (markdown)

    @eric-wieser eric-wieser committed Aug 3, 2023
    f846807