2011-12-26から1日間の記事一覧
昨日のsimplifyです.a+bの符号は:int上の処理に含めました.(* *)内はMESON任せの方法で時間が掛かります. needs "Complex/make.ml";;let lemma04 = prove (`!a b:real. (?x. ~( x = Cx(&1) ) /\ x pow 3 = Cx(&1) /\ (Cx(a)*x+Cx(b))*(Cx(a)*x pow 2+Cx(b…
昨日のsimplifyです.a+bの符号は:int上の処理に含めました.(* *)内はMESON任せの方法で時間が掛かります. needs "Complex/make.ml";;let lemma04 = prove (`!a b:real. (?x. ~( x = Cx(&1) ) /\ x pow 3 = Cx(&1) /\ (Cx(a)*x+Cx(b))*(Cx(a)*x pow 2+Cx(b…