version 1.1, 1999/10/08 02:12:02 |
version 1.2, 2003/10/16 05:02:46 |
Line 46 intw.version [(Version)] system_variable gt |
|
Line 46 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 { |