Ok_dmodule (Okutani 版 D-module 関数 ) マニュアル

Edition : auto generated by oxgentexi on October 20, 2017

OpenXM.org

@overfullrule=0pt

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1 D-module (library by Okutani)

ファイル ‘gr’, ‘xm’, ‘ok_matrix.rr’, ‘ok_diff.rr’, ‘ok_diff.rr’ が必要です.

OpenXM/Risa/Asir での利用にあたっては,

load("ok_diff.rr")$ load("ok_dmodule.rr")$

が始めに必要.

Yukio Okutani 氏による D-加群計算用の sm1 サーバとのインタフェース ライブラリです. すべての関数名は odmodule_ で始まります.


[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.1 odmodule_d_op_tosm1

odmodule_d_op_tosm1(LL,V)

:: リスト形式の微分作用素リストを sm1 形式に変換します.

return

リスト

LL

リスト

V

リスト

[299] odmodule_d_op_tosm1([[[x,[2,0]],[-1,[0,0]]],
                          [[y,[0,2]],[-1,[0,0]]]],[x,y]);
[ + ( + (1) x) dx^2 + ( + (-1)), + ( + (1) y) dy^2 + ( + (-1))]

[300] odmodule_d_op_tosm1([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],
                          [[1,[2,0]],[1,[0,2]]]],[x,y]);
[ + ( + (1) x) dx + ( + (1) y) dy + ( + (1)), + ( + (1)) dx^2 + ( + (1)) dy^2]

[301] odmodule_d_op_tosm1([[[1/2,[1,0]],[1,[0,0]]],
                          [[1/3,[0,1]],[1/4,[0,0]]]],[x,y]);
[ + ( + (6)) dx + ( + (12)), + ( + (4)) dy + ( + (3))]

[302] odmodule_d_op_tosm1([[[1/2*x,[1,0]],[1,[0,0]]],
                          [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);
[ + ( + (6) x) dx + ( + (12)), + ( + (4) y) dy + ( + (3))]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.2 odmodule_d_op_toasir

odmodule_d_op_toasir(LL,V)

:: リスト形式の微分作用素リスト LLasir の多項式に変換します.

return

リスト

LL

リスト

V

リスト

[303] odmodule_d_op_toasir([[[1/2*x,[1,0]],[1,[0,0]]],
                           [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);
[1/2*x*dx+1,1/3*y*dy+1/4]

[304] odmodule_d_op_toasir([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],
                           [[1,[2,0]],[1,[0,2]]]],[x,y]);
[x*dx+y*dy+1,dx^2+dy^2]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.3 odmodule_d_op_fromasir

odmodule_d_op_fromasir(D_list,V)

:: asir の多項式からリスト形式の微分作用素リストに変換します.

return

リスト

D_list

リスト

V

リスト

[305] odmodule_d_op_fromasir([1/2*x*dx+1,1/3*y*dy+1/4],[x,y]);
[[[1/2*x,[1,0]],[1,[0,0]]],[[1/3*y,[0,1]],[1/4,[0,0]]]]

[306] odmodule_d_op_fromasir([x*dx+y*dy+1,dx^2+dy^2],[x,y]);
[[[x,[1,0]],[y,[0,1]],[1,[0,0]]],[[1,[2,0]],[1,[0,2]]]]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.4 odmodule_ch_ideal

odmodule_ch_ideal(D_ideal,V)

:: D_idealのcharacteristic idealを求めます.

return

リスト

D_ideal

リスト

V

リスト

[344] odmodule_ch_ideal([x*dx+y*dy+a,dx^2+dy^2],[x,y]);
[x*dx+y*dy,dx^2+dy^2,y*dy*dx-x*dy^2,(x^2+y^2)*dy^2]

[348] odmodule_ch_ideal(odiff_op_appell4(a,b,c1,c2,[x,y]),[x,y]);
[-x*dx^2+y*dy^2,2*y*x*dy*dx+(y*x+y^2-y)*dy^2,
 (2*y^2-2*y)*dy^2*dx+(-y*x+3*y^2+y)*dy^3,
 2*y*x*dy^2*dx+(y*x^2+(-2*y^2-y)*x+y^3-y^2)*dy^3]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.5 odmodule_singular_locus

odmodule_singular_locus(D_ideal,V)

:: D_idealのsingular locusを求めます.

return

リスト

D_ideal

リスト

V

リスト

[356] D = odiff_op_appell4(a,b,c1,c2,[x,y])$
[357] odmodule_singular_locus(D,[x,y]);
[-y*x^3+(2*y^2+2*y)*x^2+(-y^3+2*y^2-y)*x]

[358] D = odiff_op_hg1(a,b,c,[x])$
[359] odmodule_singular_locus(D,[x]);
[x^2-x]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.6 odmodule_restriction

odmodule_restriction(D_ideal,V,Rest)

:: D_idealの 0 次のrestrictionを求めます.

return

リスト

D_ideal

リスト

V

リスト

Rest

リスト

[345] odmodule_restriction([x*dx+y*dy+a,dx^2+dy^2],[x,y],[y]);
[[2,[-x*dx-a,-e0*x*dx-e0*a-e0]]]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1.0.7 odmodule_elimination

odmodule_elimination(D_ideal,V,Elim)

:: D_idealのelimination idealを求めます.

return

リスト

D_ideal

リスト

V

リスト

Elim

リスト

[346] odmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[0]]);
[x^2*dx^2+(2*a+2)*x*dx+a^2+a]

[347] odmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[b]]);
[(x^2+b^2)*dx^2+(2*a+2)*x*dx+a^2+a]

[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Index

Jump to:   O  
Index Entry  Section

O
odmodule_ch_ideal 1.0.4 odmodule_ch_ideal
odmodule_d_op_fromasir 1.0.3 odmodule_d_op_fromasir
odmodule_d_op_toasir 1.0.2 odmodule_d_op_toasir
odmodule_d_op_tosm1 1.0.1 odmodule_d_op_tosm1
odmodule_elimination 1.0.7 odmodule_elimination
odmodule_restriction 1.0.6 odmodule_restriction
odmodule_singular_locus 1.0.5 odmodule_singular_locus

Jump to:   O  

[Top] [Contents] [Index] [ ? ]

Table of Contents


[Top] [Contents] [Index] [ ? ]

Short Table of Contents


[Top] [Contents] [Index] [ ? ]

About This Document

This document was generated on October 20, 2017 using texi2html 5.0.

The buttons in the navigation panels have the following meaning:

Button Name Go to From 1.2.3 go to
[ << ] FastBack Beginning of this chapter or previous chapter 1
[ < ] Back Previous section in reading order 1.2.2
[ Up ] Up Up section 1.2
[ > ] Forward Next section in reading order 1.2.4
[ >> ] FastForward Next chapter 2
[Top] Top Cover (top) of document  
[Contents] Contents Table of contents  
[Index] Index Index  
[ ? ] About About (help)  

where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:


This document was generated on October 20, 2017 using texi2html 5.0.