2013-04-10から1日間の記事一覧
前回の lem03 にあるように,REAL/COMPLEX_FIELD が知っているのは有理式までなので,それ以外のものを扱うには,必要な性質を前件として与えて証明させた後,SIMP,REWRITEなどにより前件を消去します. SIMP_RULE[COMPLEX_POW_II_2; GSYM CX_POW; SQRT_POW_…
前回の lem03 にあるように,REAL/COMPLEX_FIELD が知っているのは有理式までなので,それ以外のものを扱うには,必要な性質を前件として与えて証明させた後,SIMP,REWRITEなどにより前件を消去します. SIMP_RULE[COMPLEX_POW_II_2; GSYM CX_POW; SQRT_POW_…