nom :
Tridendriforme
abreviation :
Tridend
categorie :
Zvec
type :
non-symétrique
liste_dimension :
1, 3, 11, 45, 197
serie :
-(-1+3*x+sqrt(1-6*x+x**2))/(4*x)
equation :
P-x*(1+P)*(1+2*P)
oeis :
generateurs :
{'<': ['2'], '*': ['2'], '>': ['2']}
relations :
(x<y)<z = x<(y<z)+x<(y>z)+x<(y*z)
(x>y)<z = x>(y<z)
(x>y)>z+(x<y)>z+(x*y)>z = x>(y>z)
(x>y)*z = x>(y*z)
(x<y)*z = x*(y>z)
(x*y)<z = x*(y<z)
(x*y)*z = x*(y*z)
dual_koszul :
references :
J.-L. Loday and M. Ronco, 2004 : Lien
proprietes :
binaire, quadratique, Koszul
morphismes :
CTD : {}, Dendriforme : {}