Skip to content

Show that expNegInvGlue is not analytic at 0 #31209

@mcdoll

Description

@mcdoll

The function expNegInvGlue is the prototypical example of a smooth, but non-analytic function.
We are missing the fact that it is not analytic at 0. This follows almost directly from expNegInvGlue.zero_iff_nonpos.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions