polylib::sqrfree

Факторизация без квадратов полиномов

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

polylib::sqrfree(f, <recollect>)

Описание

polylib::sqrfree(f) возвращает факторизацию без квадратов f, то есть, факторизация f в форме f = u p1e1  …  p r e r с примитивными и попарными различными делителями без квадратов p i.

polylib::sqrfree(f) возвращает факторизацию без квадратов полиномиального f, то есть, факторизацию f в форме f = u f1e1  …  f r e r с примитивными и попарными различными делителями без квадратов f i (т.е. gcd (f i, f j) = 1 для ij).

u является модулем содействующего звонка f и e, i является положительными целыми числами.

Результат polylib::sqrfree объект доменного типа Factored. Позвольте g:= polylib::sqrfree(f) будьте таким объектом. Это представлено внутренне как список [u, f1, e1, ..., fr, er] из нечетной длины 2 r + 1.

Можно извлечь модуль u и условия f i e i оператором показателя преломления обыкновенной волны [ ], т.е. g[1] = u, g[2] = f1^e1, g[2] = f2^e2, ....

Вызовы Factored::factors(g) и Factored::exponents(g) возвратите список факторов f i и экспоненты e i (1 ≤ ir), соответственно. Вызов convert(g, DOM_LIST) дает внутреннему представлению учтенного объекта, т.е. списку [u, f1, e1, ..., fr, er].

Обратите внимание на то, что результат polylib::sqrfree распечатан как выражение и ведет себя как этот. Как пример, результат polylib::sqrfree(x^2+2*x+1) объект, распечатанный как (x+1)^2 который имеет тип "_power".

Считайте страницу справки Factored для деталей.

Вызов polylib::sqrfree(f, FALSE) возвращает факторизацию без квадратов f, где экспоненты e i не должны попарно отличаться.

polylib::sqrfree может обработать одномерные и многомерные полиномы по Expr, кольца классов вычетов IntMod(p) с главным модулем p, области, представляющие область однозначного разложения характеристического нуля и конечные поля.

Если аргумент polylib::sqrfree выражение, его числитель и знаменатель преобразованы в полиномы во всем появлении indeterminates.

Эти полиномы рассматриваются как полиномы по некоторому расширению рациональных чисел (т.е. по Expr, смотрите poly). Выбор того расширения следует тем же правилам как в случае функционального factor.

Факторы знаменателя выражения обозначаются отрицательной кратностью.

Примеры

Пример 1

Факторы в squarefree факторизации являются попарно относительно главными, но они не должны быть неприводимыми:

polylib::sqrfree(
  2 - 2*x - 6*x^4 + 6*x^5 + 6*x^8 - 6*x^9 -2*x^12 + 2*x^13
)

Пример 2

Даже если факторизация в irreducibles была найдена, неприводимые факторы с той же кратностью собраны снова:

polylib::sqrfree(x^6 + x^4*y*6 + x^2*y^2*9)

Можно избежать этого путем предоставления второго аргумента:

polylib::sqrfree(x^6 + x^4*y*6 + x^2*y^2*9, FALSE)

Пример 3

polylib::sqrfree работает также на полиномы:

polylib::sqrfree(poly(2 + 5*x + 4*x^2 + x^3))

Параметры

f

Полином или арифметическое выражение

recollect

TRUE или FALSE

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

Учтенный объект, т.е. объект доменного типа Factored.

Смотрите также

Функции MuPAD

Для просмотра документации необходимо авторизоваться на сайте