logo of Operadia Operadia

Operad: RW

abbreviations
FF4, GR4, RW
category
set
type
non-symetrique
dimensions

1, 4, 24, 176, 1440, 12608

OEIS: A156017

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

Equation: -P + x + 2*x*P + 2*P**2

properties
binary, quadratic, Koszul
generateurs
  • generator < of arity 2
  • generator > of arity 2
  • generator o 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)

References