version 1.6, 2000/12/29 07:19:37 |
version 1.8, 2002/08/11 08:39:50 |
|
|
% $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.7 2001/11/26 01:25:44 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$ |
|
|
/vlist ff 2 get def |
/vlist ff 2 get def |
/mm slist length def |
/mm slist length def |
|
|
|
vlist tag ArrayP eq { |
|
vlist { toString } map from_records /vlist set |
|
} { } ifelse |
[vlist to_records pop] [(_z) (_y)] join /vlist2 set |
[vlist to_records pop] [(_z) (_y)] join /vlist2 set |
[vlist2 from_records ring_of_polynomials |
[vlist2 from_records ring_of_polynomials |
[[(_z) 1 (_y) 1]] weight_vector |
[[(_z) 1 (_y) 1]] weight_vector |