Проект . Служебные процедуры

Здесь приводится краткое описание функций (процедур) пакета . Полное описание при необходимости можно найти в .PDF-документе.

**************************************************************
Библиотека l2_lib.m.

l2_init := proc(a::constant,b::constant, complex)
Не возвращает значения. Устанавливает внутренние переменные пакета, содержащие левую a и правую b границы интервала (ab).
При complex = true вычисления будут производиться над полем комплексных чисел.
Значение complex = false вызовет вычисления по формулам, принятым над полем .

l2_Fcheck := proc(x::list)
Проверяет корректность задания -функции x. Возвращает true, если проверка не нашла ошибок, или false в противном случае.

l2_Kcheck := proc(K::list)
Проверяет корректность задания ядра K. Возвращает true, если проверка не нашла ошибок, или false в противном случае.

l2_Fprune := proc(x::list)
Осуществляет "обрезку" -функции, т.е. удаляет крайние выражения-элементы Ei, если они равны 0, и устраняет повторы, когда два соседних выражения Ei и E{i+1} совпадают.

l2_Kprune := proc(K::list)
Осуществляет "обрезку" ядра, т.е. удаляет крайние выражения-элементы Di, если они равны 0 (представлены пустыми списками). Осуществляет "обрезку" каждого выражения Di. Устраняет повторы, когда два соседних выражения Di и D{i+1} совпадают.

**************************************************************
Библиотека bvp_lib.m.

bvp_order := proc(n:posint)
Не возвращает значения. Устанавливает значение глобальной перменной bvp_n := n — порядок краевой задачи.

**************************************************************
Библиотека l2m_lib.m.

l2m_col := proc(n:: nonnegint)
Создает незаполненный вектор-столбец высотой n (и шириной 1).

l2m_row := proc(m:: nonnegint)
Создает незаполненную вектор-строку длиной m (и высотой 1).

l2m_toMatrix := proc(x)
Преобразует скалярное данное x в 1 x 1-матрицу. Заполняет ее единственный элемент значением x.