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 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
  • !20

custom impl for `debug print-functor`

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Bastian Kauschke requested to merge print-functor into master May 01, 2020
  • Overview 24
  • Commits 4
  • Pipelines 15
  • Changes 14

implements #7 (closed)

This still does not support all functors, so this is mostly for early feedback. Currently supported examples:

copar debug print-functor "D({f,n}xPX)" --no-functor-transforms

Distribution D'0
└ '0: Polynomial {f, n}x'1
  └ '1: Powerset P'2
    └ '2: Variable X

copar debug print-functor "D({f,n}xPX^{a, b, c}+({f, n}xX))" --no-functor-transforms

Distribution D'0
└ '0: Polynomial {f, n}x'1^{a, b, c} + '2
  ├ '1: Powerset P'3
  │ └ '3: Variable X
  └ '2: Polynomial {f, n}x'4
    └ '4: Variable X

copar debug print-functor "{f,n}xP(D({f,n}xPX^{a, b, c}+({f, n}xX)))+X" --no-functor-transforms

Polynomial {f, n}x'0 + '1
├ '0: Powerset P'2
│ └ '2: Distribution D'3
│   └ '3: Polynomial {f, n}x'4^{a, b, c} + '5
│     ├ '4: Powerset P'6
│     │ └ '6: Variable X
│     └ '5: Polynomial {f, n}x'7
│       └ '7: Variable X
└ '1: Variable X
Edited May 06, 2020 by Bastian Kauschke
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: print-functor