Skip to content

notation for intervals #795

@affeldt-aist

Description

@affeldt-aist

We have been using intervals with extended real numbers but this has the consequence that `[0%E, +oo] = `[0%E, +oo[. How can we handle that? @hoheinzollern @t6s

Metadata

Metadata

Assignees

No one assigned

    Labels

    "bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"enhancement ✨This issue/PR is about adding new features enhancing the library

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions