linsolve permet de résoudre un système d’équations
linéaires où chaque équation est de la forme Xpr = 0 où Xpr est une expression.
linsolve a comme paramètres la liste des équations et la liste des
variables.
linsolve renvoie une liste qui est solution du système d’équations.
linsolve permet de résoudre aussi un système d’équations
linéaires dans ℤ/nℤ.
On tape :
On obtient :
donc
x=− |
| , y= |
| , z=− |
|
sont solutions du système :
⎧ ⎪ ⎨ ⎪ ⎩ |
|
On tape :
On obtient :
donc
x=1 % 3, y=1 % 3, z=1 % 3 |
sont solutions du système :
⎧ ⎪ ⎨ ⎪ ⎩ |
|