今回のオリジナルプログラム https://github.com/YasuakiHonda/GaloisGroupSolver が行う主な処理は １．分解体の絶対定義式 ２．Galois 群 ３．組成列 ４．添加する元の定義式 ５．分解体の相対定義式 の算出です．種々の方法の比較の意味も含め，私家版を…

今回のオリジナルプログラムでは各元の一点集合の conjugate closure から極大正規部分群を選んでいますが，それが必ずしも正しい結果を与えないことも，例えば G:[[1,2,3,4,5,6],[1,2,3,4,6,5],[1,2,4,3,5,6],[1,2,4,3,6,5], [2,1,3,4,5,6],[2,1,3,4,6,5],[…

今回のオリジナルプログラムでは，例えば，SolveSolvable(x^2-2)$ の根の表示には [[alpha[1],alpha[1]^2-8]] が現れるので，SolveSolvable(x^2-8)$ と問うと，[[alpha[1],alpha[1]^2-32]] が現れるので，．．．となってしまいます．プログラムの趣意に反す…

jurupapaさん（ http://maxima.hatenablog.jp/ ）が公開しておられる「可解な方程式を冪根で解く」プログラムの処理の一部に Groebner 基底を用いてみました．例は以下のものです． http://maxima.hatenablog.jp/entry/2018/10/09/005917 http://maxima.hate…

同じ例を開発中の PARI+Singular 上での CAD-QE で処理すると．．． ? tst11Sv2s01([ex,ex],[a,b,c,x,y],and,"x^2+y^2=1,a*x+b*y+c=0",2*7);Ans() [y,2] [x,4] [c,6] [b,4] [a,1] var.:a b c x y *** connecting adjacent 40/1608 cells. 1[a < [a,1],true,[…

https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html 上記の通り，更新されていましたので，インストールスクリプトをUPします． export CAS=~/CAS mkdir $CAS export qe=$CAS/qesource export saclib=$CAS/saclib2.2.7 cd $CAS wget https://www.u…