sm1.wTensor0

sm1.wTensor0([f,g,v,w]|proc=p)

:: f と g の D-module としての 0 次テンソル積を 計算する.

return

リスト

p

数

f, g, v, w

リスト

• f と g の D-加群としての 0 次テンソル積を計算する.
• v は変数のリストである. w は weight のリストである. 整数 w[i] は変数 v[i] の weight である.
• sm1.wTensor0 は ox_sm1 の wRestriction0 をよんでいる. wRestriction0 は, generic な weight ベクトル w をもとにして制限を計算している. Weight ベクトル w が generic でないと計算がエラーで停止する.
• F および G を f と g それぞれの解とする. 直観的にいえば, 0 次のテンソル積は 関数 FG のみたす微分方程式系である.
• 入力 f, g が D の左イデアルであっても, 一般に, 出力は自由加群 D^r の部分加群である.

[258]  sm1.wTensor0([[x*dx -1, y*dy -4],[dx+dy,dx-dy^2],[x,y],[1,2]]);
[[-y*x*dx-y*x*dy+4*x+y],[5*x*dx^2+5*x*dx+2*y*dy^2+(-2*y-6)*dy+3],
 [-25*x*dx+(-5*y*x-2*y^2)*dy^2+((5*y+15)*x+2*y^2+16*y)*dy-20*x-8*y-15],
 [y^2*dy^2+(-y^2-8*y)*dy+4*y+20]]

Go to the first, previous, next, last section, table of contents.