| 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 { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to intw.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc