Skip to content
Snippets Groups Projects
Select Git revision
  • ci-stack
  • master default protected
  • debug-partition-size
  • wta-generator
  • fixes
  • bench-hex
  • ci-artifacts
  • new-monoids
  • stack
  • sumbag
  • tutorial
  • web
  • features/disable-sanity
  • ghc-8.4.4
  • linux-bin-artifacts
  • syntax-doc
  • rationals
  • double-round
  • init-time
  • group-weight
20 results

weights-tree

Blame
  • weights-tree 382 B
    # weighted trees
    ℝ^(X×X)
    
    bot: {}
    a1: { (a2,a3): 1.0, (a3,a2): -1.0 }
    a2: { (a2,a2): 1.0 }
    a3: { (a2,a3): 1.0 }
    
    
    # a triangle with "double edges" of weight 3
    b1: { (b2,b2): 1.0, (b3,b3): 2.0 }
    b2: { (b3,b3): 3.0 }
    b3: { (b1,b1): 3.0 }
    
    # a triangle with "double edges" where one weight does not match
    c1: { (c2,c2): 1.0, (c3,c3): 2.0 }
    c2: { (c3,c3): 3.0 }
    c3: { (c1,c1): 2.9 }