version 1.6, 2000/12/29 07:19:37 |
version 1.7, 2001/11/26 01:25:44 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.5 2000/08/01 07:26:23 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.6 2000/12/29 07:19:37 takayama Exp $ |
%% lib/complex.sm1 [ functions for complex ], 1999, 9/9 |
%% lib/complex.sm1 [ functions for complex ], 1999, 9/9 |
%% cf. yama:1999/Int/uli.sm1 |
%% cf. yama:1999/Int/uli.sm1 |
%%%%%%%%%%%%%%%%%%% commands %%%%%%%%%%%%%%%%%%%%%%%%% |
%%%%%%%%%%%%%%%%%%% commands %%%%%%%%%%%%%%%%%%%%%%%%% |
|
|
|
|
[(intersection) |
[(intersection) |
[(Ideal intersections in the ring of differential operators.) |
[(Ideal intersections in the ring of differential operators.) |
|
([ I1 I2 V-list ] intersection : I1 and I2 are ideals, and V-list) |
|
(is a list of variables. It returns the ideal intersection of I1 and I2.) |
|
(Intersection is computed in the ring of differential operators.) |
$Example 1: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$ |
$Example 1: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$ |
$ [(x2) (x4^2)] (x1,x2,x3,x4)] intersection :: $ |
$ [(x2) (x4^2)] (x1,x2,x3,x4)] intersection :: $ |
$Example 2: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$ |
$Example 2: [[[(x1) (x2)] [(x2) (x4)] (x1,x2,x3,x4)] intersection$ |