salut;
je dois faire un calcule quantique de la téléportation et je bloque vers la fin du calcule le probleme est le suivant:

|>=1/2*(|+>₁|+>₂|->₃+...........)

je veux remplacé|+>₁|+>₂ par un 1 parexmple(au fait par une autres expression)
pour avoir a la fin genre

|>=1/2*(|->₃)

ça marche si je fais:

subs(|+>₁=1,)

j'ai:

|>=1/2(|+>₂|->₃+.....)

mais pas si je fais:

subs(|+>₁|+>₂=1,)

je suis a la fin du calcule si je remplace j'aurais fini et avec les bra et les ket c'est pas vraiment évident avec maple,si vous connaissez un autre logiciel a me conseillé pour ce genre de calcule ?

MERCI