fj_simp.simplify

fj_simp.simplify(arg1)

:: arg1 を簡単化する.

return

多項式, 有理式 または quote

arg1

多項式 または 有理式

• 現在のバージョンでは fj_simp.simplify でなく, 単に simplify とよぶ.
• この関数は Joel S. Cohen, Computer Algebra and Symbolic Computation, http://web.cs.du.edu/~jscohen/MathematicalMethods/index.htm に記述されている Automatic simplification algorithm と B.F.Caviness, R.J.Fateman, Simplification of Radical Expressions (1976) に記述されている radcan アルゴリズムの実装である.
• 複素多値関数としては (x*y)^a = x^a*x^b は一般には成立しないので, 結果を複素関数に使うときは 注意が必要である. (x^a = exp(a*log(x)) なので)

load("fj_simplify.rr");
[1434] simplify((x^(1/2))^3);
((x)^(3/2))
[1435] simplify((2^(1/2))^2);
2
[1436] simplify((2+2^(1/2))^3);
14*((2)^(1/2))+20
[1437] simplify(exp(x)*exp(-x+y));
((@e)^(y))

参照

@xref{quote}

ChangeLog

• 将来的には module 化して fj_simp module に含める予定. poly_simplify から fj_simp.simplify を呼ぶ.
• Todo: exp 以外の特殊関数についてのsimplification の機能.
• この関数は 2010.01 に M.Fujimoto により最初の版が書かれた. OpenXM/src/asir-contrib/packages/src/fj_simplify.rr

Go to the first, previous, next, last section, table of contents.