version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.3, 2003/10/16 05:03:13 |
|
|
|
%% $OpenXM$ |
%% When you use wIntegration0, you need oxasir.sm1. |
%% When you use wIntegration0, you need oxasir.sm1. |
%% Load this package after you have loaded cohom.sm1. |
%% Load this package after you have loaded cohom.sm1. |
%% Annihilating ideal, 0-th integral and restriction with weight vector. |
%% Annihilating ideal, 0-th integral and restriction with weight vector. |
Line 46 intw.version [(Version)] system_variable gt |
|
Line 47 intw.version [(Version)] system_variable gt |
|
(THE THIRD ARGUMENTS. INTEGRAL VARIABLES MUST APPEAR FIRST.) |
(THE THIRD ARGUMENTS. INTEGRAL VARIABLES MUST APPEAR FIRST.) |
$Example 1: [[(x-y) (Dx+Dy)] [(y) (x)] [(y) -1 (Dy) 1] 1] integral-k1$ |
$Example 1: [[(x-y) (Dx+Dy)] [(y) (x)] [(y) -1 (Dy) 1] 1] integral-k1$ |
$Example 2: [[(x (x-1)) (x)] annfs 0 get [(x)] [(x) -1 (Dx) 1] 1] integral-k1$ |
$Example 2: [[(x (x-1)) (x)] annfs 0 get [(x)] [(x) -1 (Dx) 1] 1] integral-k1$ |
|
$Example 3: [[ (Dt- (2 t x1 + x2)) (Dx1 - t^2) (Dx2 - t) ] $ |
|
$ [(t) (x1) (x2)] [(t) -1 (Dt) 1] 0] integral-k1 $ |
|
$ The resulting ideal annihilates f(x1,x2)=int(x1*t^2+x2*t,dt) $ |
] |
] |
] putUsages (integral-k1 ) messagen |
] putUsages (integral-k1 ) messagen |
/integral-k1 { |
/integral-k1 { |