Пример 1

linalg::vectorOf может использоваться вместе с testtype чтобы проверять, является ли объект MuPAD^® вектором:

MatZ := Dom::Matrix(Dom::Integer): 
v := MatZ([1, 0, -1])

Следующие урожаи FALSE потому что v 3-мерный вектор:

testtype(v, linalg::vectorOf(Dom::Integer, 4))

Следующие урожаи FALSE потому что v задан по целым числам:

testtype(v, linalg::vectorOf(Dom::Rational))

Конечно, v может быть преобразован в вектор по rationals, как показано следующим вызовом:

bool(coerce(v, Dom::Matrix(Dom::Rational)) <> FAIL)

Это показывает тот testtype в сочетании с linalg::vectorOf(R) не проверяет, может ли объект быть преобразован в вектор по заданному кольцевому R компонента. Это проверяет, только если объект является вектором, чьим звонком компонента является R.

Следующий тест возвращает TRUE потому что v 3-мерный вектор:

testtype(v, linalg::vectorOf(Type::AnyType, 3))

Пример 2

linalg::vectorOf может также использоваться в проверке параметров процедур. Следующая процедура вычисляет ортогональное дополнение 2-мерного вектора:

orth := proc(v:linalg::vectorOf(Type::AnyType, 2))
begin
    [v[1], v[2]] := [-v[2],v[1]];
    return(v)
end:

 u := matrix([[1, 2]]); u_ := orth(u)

Вызов процедуры orth с недопустимым параметром приводит к сообщению об ошибке:

orth([1, 2])

Error: Invalid object '[1, 2]'. Type of argument number 1 must be 'slot(Type, vectorOf)(Type::AnyType, 2)'.
  Evaluating: orth

Возвращаемые значения

Введите выражение доменного Типа типа.