Page for the operad FF6

• nom :

  FF6

• abreviation :

  FF6

• type :

  non-symétrique

• categorie :

  set

• liste_dimension :

  1, 6, 56, 640, 8158, 111258, 1588544, 23446248

• serie :

  (x*(1-3*x-x**2+x**3)/(1+3*x+x**2-x**3)).reverse()

• oeis :

  A231690

• proprietes :

  binaire, quadratique

• generateurs :

  {'<': ['2'], 'o': ['2'], '>': ['2'], '.': ['2'], '≪': ['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)
  (x≪y)oz = xo(y≫z)
  (x≪y)≪z = x≪(y.z)
  (x.y)≫z = x≫(y≫z)
  (xoy)≪z = xo(y≪z)
  (x≫y)oz = x≫(yoz)
  (x>y)≪z = x>(y≪z)
  (x≫y)<z = x≫(y<z)
  (x≫y)≪z = x≫(y≪z)

• references :

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