Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 69
    • Issues 69
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 6
    • Merge requests 6
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • stdpp
  • Merge requests
  • !179

Add lemmas and max for Qp

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Simon Friis Vindum requested to merge simonfv/stdpp:qp-max into master Aug 25, 2020
  • Overview 25
  • Commits 5
  • Changes 2

Add a few extra lemmas for Qp and adds a max operation for Qp. The lemmas for max are not exhaustive. The names of the lemmas are consistent with those in GenericMinMax.

The library GenericMinMax contains a way to implement max (see for instance how it's used with Q). I'm not sure if that's the better way to do it. But, modules aren't used in this way anywhere in stdpp so I opted to not use it.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: qp-max