nom :
Di-alternative
abreviation :
DiAlt
categorie :
vec
type :
symétrique
liste_dimension :
1, 4
generateurs :
{'⊣': ['s[1]**2'], '⊢': ['s[1]**2']}
relations :
(x⊣y)⊣z - x⊣(y⊣z) = -(z⊢y)⊢x + z⊢(y⊢x)
(x⊣y)⊣z - x⊣(y⊣z) = (y⊢z)⊢x - y⊢(z⊢x)
(x⊢y)⊣z - x⊢(y⊣z) = -(x⊢z)⊢y + x⊢(z⊢y)
(x⊣y)⊢z = x⊢(y⊢z)
(x⊣y)⊣z = x⊣(y⊢z)
proprietes :
binaire, quadratique
references :
Dong Liu, 2005 : Lien