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

### `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.