Алгебра : Теоремы и алгоритмы. Яцкин Н.И. - 50 стр.

50          Системы линейных уравнений и алгебра матриц          Гл. 1



                                 b := [0, −1, −1]

  Вектор — это одномерный массив с нумерацией элементов, на-
чинающейся с 1. Maple воспринимает векторы как столбцы, хотя
вводятся и записываются они как строки.
  Можно, например, "слить" матрицу A и вектор b, составив рас-
ширенную матрицу системы B = (A|b) с помощью команды

     > B := concat ( A, b ) ;
                                                     
                             −2      1        −1 −2 0
                           
                       B := 6        −3       2  5 −1 
                              4      −2       1  3 −1

     Решение системы A · x = b находится с помощью команды

     > x := linsolve ( A, b, ’r’, t ) ;

                       x := [t1 , 2t1 + 1 + t2 , 1 − t2 , t2 ]

   Поясним, что означают два последних (необязательных) аргумен-
та функции linsolve. Третий аргумент ’r’ резервирует имя для пере-
менной "ранг матрицы A" (количество ступенек в ступенчатом виде
этой матрицы). По дополнительному запросу значение ранга выво-
дится:

     > r;

                                          2

    Четвертый аргумент определяет обозначения для свободных неиз-
вестных. Судя по ответу, свободными являются неизвестные x1 и
x4 . Maple обозначил их (предписанной) буквой t и занумеровал по-
своему. (По умолчанию свободные неизвестные обозначаются имен-
но буквой t, но — с "системным префиксом": t1 , t2 .)
    Решение, выведенное системой в строчку, можно при желании
конвертировать в столбец:

     > x := convert ( x, matrix ) ;