Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C CoPaR
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Informatik 8Informatik 8
  • CoPaR
  • Merge requests
  • !8

Use exact comparision for doubles

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Hans-Peter Deifel requested to merge double-round into master Nov 15, 2018
  • Overview 2
  • Commits 1
  • Pipelines 1
  • Changes 1

Comparision with (a-b < ɛ) is not transitive and thus doesn't induce an equality relation. Since the whole job of the algorithm is to partition according to an equality relation, this may be problematic.

Instead, to compare doubles a and b, we now round both values to floats and compare those exactly. This means that we get a proper equality relation, even if it fails to distinguish some states and wrongly distinguishes others when compared to operations on true real numbers.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: double-round