Skip to content
GitLab
Projects Groups 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
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • 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
  • Software
  • CoPaR
  • Merge requests
  • !34

polynomial: Sort edge labels before printing

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Hans-Peter Deifel requested to merge poly-print-sort into master Sep 03, 2020
  • Overview 1
  • Commits 1
  • Pipelines 1
  • Changes 1

Edge labels contain the indices into the current product, and since we're walking through factors in from left to right, we also want those indices to appear in the correct order.

This bug doesn't appear when printing the parsed encoding directly, since edge labels are usually sorted after parsing. But after our new minimization work, this will not be a valid assumption anymore.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: poly-print-sort