Page for the operad RW

• nom :

  RW

• abreviation :

  FF4, GR4, RW

• type :

  non-symétrique

• categorie :

  set

• liste_dimension :

  1, 4, 24, 176, 1440, 12608

• serie :

  -1/2*x - 1/4*sqrt(4*x**2 - 12*x + 1) + 1/4

• equation :

  -P + x + 2*x*P + 2*P**2

• oeis :

  A156017

• generateurs :

  {'<': ['2'], '>': ['2'], 'o': ['2'], '.': ['2']}

• relations :

  (x>y)<z = x>(y<z)
  (xoy)oz = xo(yoz)
  (x>y)oz = x>(yoz)
  (x<y)oz = xo(y>z)
  (xoy)<z = xo(y<z)
  (x.y).z = x.(y.z)
  (x<y)<z = x<(y.z)
  (x.y)>z = x>(y>z)

• proprietes :

  binaire, quadratique, Koszul

• references :

  F. Chapoton, F. Hivert et J.-C. Novelli, 2013 : Lien Arxiv 1307.0092