[Maxima-lang-fr] Decomposition de Gauss d'une forme quadratique

[Pierre C. <pie...@ac...>]

Bonjour


Je voulais savoir s'il existait une fonction de maxima pour obtenir une 
décomposition de Gauss.

Pour l'instant voici ce que je suis parvenu à faire :

|(%i26) q:2*x^2+2*x*z+2*y^2-2*y*z+z^2;|

|                        2                      2      2
|

|(%o26)                 z  - 2 y z + 2 x z + 2 y  + 2 x
|

|(%i27) expand((z-y+x)^2);
|

|2                    2            2
(%o27)               z  - 2 y z + 2 x z + y  - 2 x y + x
|

|(%i28) l1:(z-y+x)^2-part(%,[4,5,6]);
|

|2    2            2
(%o28)                  (z - y + x)  - y  + 2 x y - x
|

|(%i29) q:substpart(l1,q,[1,2,3]);
|

|2    2            2
(%o29)                  (z - y + x)  + y  + 2 x y + x
|

|(%i30) q:substpart(factor(part(q,[2,3,4])),q,[2,3,4]);
|

|2          2
(%o30)                      (z - y + x)  + (y + x)
|


Mais je gère encore les calculs moi-même ...

Bien cordialement

Pierre