logo of Operadia Operadia

Operad: FF6

abbreviation
FF6
category
set
type
non-symetrique
dimensions

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

OEIS: A231690

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

properties
binary, quadratic, Koszul
generateurs
  • generator < of arity 2
  • generator o of arity 2
  • generator > of arity 2
  • generator . of arity 2
  • generator ≪ of arity 2
  • generator ≫ of arity 2
relations
  • equality: (x>y)<z = x>(y<z)
  • equality: (xoy)oz = xo(yoz)
  • equality: (x>y)oz = x>(yoz)
  • equality: (x<y)oz = xo(y>z)
  • equality: (xoy)<z = xo(y<z)
  • equality: (x.y).z = x.(y.z)
  • equality: (x<y)<z = x<(y.z)
  • equality: (x.y)>z = x>(y>z)
  • equality: (x≪y)oz = xo(y≫z)
  • equality: (x≪y)≪z = x≪(y.z)
  • equality: (x.y)≫z = x≫(y≫z)
  • equality: (xoy)≪z = xo(y≪z)
  • equality: (x≫y)oz = x≫(yoz)
  • equality: (x>y)≪z = x>(y≪z)
  • equality: (x≫y)<z = x≫(y<z)
  • equality: (x≫y)≪z = x≫(y≪z)

References