Skip to content

Please add an "assumption" directive.  #73

Description

@shailesh1729

Description / Summary

When describing a mathematical algorithm, it is sometimes important to describe a set of assumptions under which the algorithm is expected to perform correctly. For example, the convergence of the projected subgradient algorithm depends on some assumption that the subgradients are bounded. Usually, a theorem would state its assumptions as part of its statement. However, there are times when assumptions are pervading across a large body of text and it's worthwhile to state them and refer to them independently.

The use of "assumption" environment can be seen in books like Beck, Amir. First-order methods in optimization. Society for Industrial and Applied Mathematics, 2017.

Value / benefit

This will help in writing some mathematical text related to the specification and convergence analysis of optimization algorithms.

Implementation details

I guess this should be similar to existing directives like observation and remark. Just a different name (assumption).

Tasks to complete

No response

Activity

  1. welcome commented on Dec 30, 2021

    @welcome

    Thanks for opening your first issue here! Engagement like this is essential for open source projects! 🤗

    If you haven't done so already, check out EBP's Code of Conduct. Also, please try to follow the issue template as it helps other community members to contribute more effectively.

    If your issue is a feature request, others may react to it, to raise its prominence (see Feature Voting).

    Welcome to the EBP community! 🎉

  2. shailesh1729 commented on Jun 18, 2022

    @shailesh1729
    ContributorAuthor

    Hi, I have created a pull request to support assumption directives. If it all looks good, I would request you to kindly merge it. It will help me with my (open source) notes https://convex.indigits.com/intro.html.

  3. mmcky commented on Jun 27, 2022

    @mmcky
    Member

    thanks @shailesh1729 I will try and take a look soon. Appreciate the Pull Request.

  4. added a commit that references this issue on Jul 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions