グレブナー基底の計算をするとき、解が一意に求まったあかつきには求める変数についての一次式が帰ってくるが、解が二つ存在する場合には求める変数のうちの一つの二次式を含む形で帰って来る。
このときは次のような計算をすることによって片方の解を選び出すことができる。もし変数xについて2通りの解のうち
_______
-b + √ D(a,b,c)
x = -------------------
2a
を選びたいのであれば、与える方程式系に
2a * x - ( -b + A) , D(a,b,c) - A^2
を加え再びグレブナー基底を求める。ただしパラメータa, b, c をA で覆い隠したことによって多項式表現の一意性が崩れているため、再びAに√Dを代入し整理をする必要がある。
2012年8月30日木曜日
2012年8月18日土曜日
2012年8月2日木曜日
Wifi Radar
Gentoo でWifi Radar を使おうとすると
File "/usr/sbin/wifi-radar", line 178
except OSError, exception:
^
SyntaxError: invalid syntax
というエラーがでるが、これはスクリプトがpython2用だかららしい。
したがって一行目の
#!/usr/bin/python -OO
を
#!/usr/bin/python2 -OO
に変えてやればよい。
c.f. https://bugs.archlinux.org/task/21543
File "/usr/sbin/wifi-radar", line 178
except OSError, exception:
^
SyntaxError: invalid syntax
というエラーがでるが、これはスクリプトがpython2用だかららしい。
したがって一行目の
#!/usr/bin/python -OO
を
#!/usr/bin/python2 -OO
に変えてやればよい。
c.f. https://bugs.archlinux.org/task/21543
2012年7月10日火曜日
物理学における1=2問題の対処法
a = b
2a = a+b (両辺にaを足す)
2a - 2b = a - b (両辺から2bを引く)
2(a-b) = a-b
2 = 1 ?
と言うネタがあるが、これは物理では次のように計算する。
a = b <=> a - b = 0 なのだが、εを「とても小さい数」として、a - b = ε とおく。すると
a = b+ε
2a = a+b+ε
2(a - b) = a - b+ε
2ε=2ε (a-bをεに置き換える)
2=2 (ここでεを0にしa=bに戻しても矛盾しない。)
2a = a+b (両辺にaを足す)
2a - 2b = a - b (両辺から2bを引く)
2(a-b) = a-b
2 = 1 ?
と言うネタがあるが、これは物理では次のように計算する。
a = b <=> a - b = 0 なのだが、εを「とても小さい数」として、a - b = ε とおく。すると
a = b+ε
2a = a+b+ε
2(a - b) = a - b+ε
2ε=2ε (a-bをεに置き換える)
2=2 (ここでεを0にしa=bに戻しても矛盾しない。)
2012年3月14日水曜日
unzip における文字化け解消（Gentoo）
sudo USE="natspec" ACCEPT_KEYWORDS="~*" emerge -avt zip unzip
こちらhttp://insnvlovn.blogspot.com/2011/06/unzip.html#sidebar に救われました。
こちらhttp://insnvlovn.blogspot.com/2011/06/unzip.html#sidebar に救われました。
2012年2月20日月曜日
Leibniz rule と Category
なんとなくLeibniz rule を以下のように表現してもよいような気がするのだが、どうだろう。
直和と和をつなげたいというのは安直かな。
2016/2/4追記
せっかくxyjaxを入れていたので
\[
\xymatrix{
(\nabra E_1)\otimes E_2 \ar[r] \ar[rd] & \nabra (E_1 \otimes E_2) \ar[d] & E_1 \otimes (\nabra E_2) \ar[ld] \\ & T^*M\otimes E_1 \otimes E_2
}
\]
登録:
投稿 (Atom)