noro_mwl

noro_mwl User’s Manual

Edition 1.0

Nov 2009

by Masayuki Noro

Copyright © Masayuki Noro 2009. All rights reserved.


[ << ] [ < ] [上] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1 MWL 関連計算パッケージ noro_mwl.rr

このマニュアルでは, asir-contrib パッケージに収録されている, MWL 関連計算パッケージ ‘noro_mwl.rr’ について解説する. このパッケージを使うには, まず ‘noro_mwl.rr’ をロードする.

[1518] load("noro_mwl.rr");

このパッケージの函数を呼び出すには, 全て mwl. を先頭につける.


[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1 MWL 関連計算


[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.1 mwl.pdecomp, mwl.pdecomp_ff

mwl.pdecomp(ideal,varlist[|gbcheck=yesno,f4=yesno])
mwl.pdecomp_ff(ideal,varlist,mod[|gbcheck=yesno,f4=yesno]) :: 0 次元イデアル ideal をいくつかのイデアルの共通部分として表す.
return

二要素からなるリスト

ideal

多項式リスト

varlist

変数リスト

mod

素数

yesno

0 または 1

[1520] load("noro_mwl.rr");
[1554] B=[(x+y+z)^2*(x+y-z)^2,(x+y*z)^2*(x-y*z)^2,
 (x^2+y^2+z^2)^2*(x^2-y^2-z^2)^2]$
[1555] V=[x,y,z]$
[1556] L=mwl.pdecomp(B,V)$
[1557] C=L[0]$
[1558] G=L[1]$
[1559] length(C);
5
[1560] C0=primadec(C[0],V)$
[1561] C0[0];
[[x^2+(2*y-2*z)*x+y^2-2*z*y+z^2,...],[z^2+z+1,y-z-1,x+1]]
[1562] CM=mwl.pdecomp_ff(B,V,31991|f4=1)$
[1563] length(CM[0]);
5

[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.2 mwl.generate_coef_ideal

mwl.generate_coef_ideal(f[|simp=yesno])

:: x, y, t の多項式 f の多項式零点 (x(t),y(t)) の係数の満たす 方程式のイデアルを生成する

return

多項式リストと変数リストのペアからなるリスト

f

多項式

yesno

0 または 1

[1519] load("noro_mwl.rr")$
[1553] F=y^2-(x^3-x+t^2)$
[1554] L=mwl.generate_coef_ideal(F);
[[b3^2-a2^3,2*b3*b2-3*a2^2*a1,2*b3*b1+b2^2-3*a2^2*a0-3*a2*a1^2,...],
[b3,b2,b1,b0,a2,a1,a0]]
[1555] L=mwl.generate_coef_ideal(F|simp=1);
[[-3*a1*v^4+2*b2*v^3,-3*a0*v^4+2*b1*v^3-3*a1^2*v^2+b2^2,...],
[b2,b1,b0,a1,a0,v]]

[ << ] [ < ] [上] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

Index

移動:   M  
見出し一覧 

M
mwl.generate_coef_ideal 1.1.2 mwl.generate_coef_ideal
mwl.pdecomp 1.1.1 mwl.pdecomp, mwl.pdecomp_ff
mwl.pdecomp_ff 1.1.1 mwl.pdecomp, mwl.pdecomp_ff

移動:   M  

[冒頭] [目次] [見出し] [ ? ]

目次


[冒頭] [目次] [見出し] [ ? ]

簡略化した目次


[冒頭] [目次] [見出し] [ ? ]

この文書について

この文書は3月 29, 2024texi2html 5.0を用いて生成されました。

ナビゲーションパネル中のボタンには以下の意味があります。

ボタン 名称 移動先 1.2.3項からの移動先
[ << ] FastBack Beginning of this chapter or previous chapter 1
[ < ] Back Previous section in reading order 1.2.2
[上] Up Up section 1.2
[ > ] Forward Next section in reading order 1.2.4
[ >> ] FastForward Next chapter 2
[冒頭] 冒頭 Cover (top) of document  
[目次] 目次 Table of contents  
[見出し] 見出し 見出し  
[ ? ] About About (help)  

では、以下に示す構造を持つ文書の1.2.3項を現在位置に仮定しています。


この文書は3月 29, 2024texi2html 5.0を用いて生成されました。