ayucat.ch 2015-16

id:ayucatのぶろぐ (Nexus 5 (2015) / iPhone 6s / Galaxy S6 edge / iOS 9 / Ubuntu Trusty / Android 6.0 Marshmallow / Thunderbird / AWS / クラブ / 祭り / 花火 / 海 / 野外フェス)

代数幾何システムMacaulay2のインストール (Ubuntu 9.04)

公式サイトUbuntuレポジトリ*1があるので、それを使ってそのまま、インストールした。

$ sudoedit /etc/apt/sources.list
$ sudo aptitude update 
$ sudo aptitude install macaulay2
[...]
The following NEW packages will be installed:
  libgmpxx4ldbl{a} macaulay2 macaulay2-common{a} 
[...]
Do you want to continue? [Y/n/?] y
WARNING: untrusted versions of the following packages will be installed!

Untrusted packages could compromise your system's security.
You should only proceed with the installation if you are certain that
this is what you want to do.

  macaulay2-common macaulay2 

Do you want to ignore this warning and proceed anyway?
To continue, enter "Yes"; to abort, enter "No": yes

署名がないので、無視するか、嫌なら、自分でコンパイルするか、だ。
最終ビルド時期が2009年2月なこともあってか?、amd64版はMacaulay2-1.2-amd64-Linux-Ubuntu-8.04.1.debというファイル名からも分かるとおり、for Ubuntu 8.04 (Hardy) となっている。だけれども、何も問題がなく、インストールできる。

ちょっとしたお試し

ノートを見返す余裕がないので、at07-4.m2を試しに実行してみた結果。
ちなみに、Emacs上で動くM2-modeのGUIメニューへの追加はないようなので、これを手で打ち込んで登録するしかないかな???

emacs -l /usr/share/emacs/site-lisp/M2 -f M
$ M2
Macaulay 2, version 1.2
with packages: Elimination, IntegralClosure, LLLBases, PrimaryDecomposition,
               ReesAlgebra, SchurRings, TangentCone

i1 : R=QQ[a,b,c,d] ;

i2 : I = ideal(a^3-1,b^3-1,c^3-1,d^3-1,
               c-a*b,d-a*b^2);

o2 : Ideal of R

i3 : G = gb I;

i4 : print(gens(G));
| bd-a c2-ad bc-d ac-d2 ab-c a2-cd d3-1 cd2-b2 ad2-b b3-1 |

i5 : M = leadTerm gens G;

             1       10
o5 : Matrix R  <--- R

i6 : MM = monomialIdeal M;

o6 : MonomialIdeal of R

i7 : print(standardPairs(MM))
                                         2                                      2
{{1, {}}, {a, {}}, {a*d, {}}, {b, {}}, {b , {}}, {c, {}}, {c*d, {}}, {d, {}}, {d , {}}}

i8 : quit

今日はここまで。また明日もガンバろーーーぉ!!!

*1:バイナリだけだけど