Описание

rewrite(f, target) преобразовывает выражение f к математически эквивалентной форме, пытаясь выразить f с точки зрения заданной целевой функции.

Цель указывает на функцию, которая должна использоваться в желаемом представлении. Символьные вызовы функции в f заменяются целевой функцией, если это математически допустимо.

С целевым arg функциональный ln(sign(x)) переписан как i arg (x).

С целевым exp все тригонометрические и гиперболические функции переписаны с точки зрения exp. Далее, обратные функции, а также arg переписаны с точки зрения ln.

С целевым sincos функции tan, cot, exp, sinh, cosh, tanh и coth переписаны с точки зрения sin и cos.

С целевым sin то же самое сделано как в случае sincos. Кроме того, cos (x) ² переписан как 1 - sin (x) ². Это содержит для целевого cos аналогично.

С целевым sinhcosh функции exp, tanh, coth, sin, cos, tan и cot переписаны с точки зрения sinh и cosh. С целями sinh и cosh, сделано то же самое, и cosh(x)^2 переписан с точки зрения sinh (или sinh(x)^2 с точки зрения cosh, соответственно.)

С целями arcsin, arccos, arctan, и arccot, логарифм, все обратные тригонометрические функции и все обратные гиперболические функции переписаны с точки зрения целевой функции.

С целями arcsinh, arccosh, arctanh, и arccoth, логарифм, все обратные гиперболические функции и все обратные тригонометрические функции переписаны с точки зрения целевой функции.

С целевым lambertW функциональный wrightOmega переписан с точки зрения lambertW.

С целевым erf функции erfc, erfi и dawson переписаны с точки зрения erf.

С целевым erfc функции erf, erfi и dawson переписаны с точки зрения erfc.

С целевым erfi функции erf, erfc и dawson переписаны с точки зрения erfi.

С целевым bernoulli функциональный euler переписан с точки зрения bernoulli.

С целевым diff, символьными вызовами дифференциального оператора D переписаны с точки зрения символьных вызовов функционального diff. Например, D(f)(x) преобразован в diff(f(x), x). Одномерный D(f)(x) выражения переписан, если x является идентификатором или индексируемым идентификатором. Многомерный D([n1, n2, ...], f)(x1, x2, ...) выражения переписан, если x1, x2 является отличными идентификаторами или индексированными идентификаторами. При попытке переписать многомерный вызов D(f)(x1, x2, ...) одномерного dervative D(f) повышает ошибку.

С целевым D символьные вызовы diff переписаны с точки зрения дифференциального оператора D. Производные одномерных вызовов функции, такие как diff(f(x), x) переписаны как D(f)(x). Производные многомерных вызовов функции выражаются через D([n1, n2, ...], f). Например, diff(f(x, y), x) переписан как D([1], f)(x, y).

С целевым andor логические операторы xor, ==> и <=> переписаны с точки зрения and, or и not.

С целями min и max, выражения в max и min и, для действительных аргументов, abs переписан с точки зрения целевой функции.

Цели harmonic и psi служат для перезаписи символьных вызовов psi с точки зрения harmonic и наоборот.

С целевым inverf функциональный inverfc(x) переписан как   inverf(1 - x).

С целевым inverfc функциональный inverf(x) переписан как   inverfc(1 - x).