version 1.6, 2000/12/29 07:19:37 |
version 1.9, 2004/09/10 13:20:22 |
|
|
% $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.8 2002/08/11 08:39:50 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 %%%%%%%%%%%%%%%%%%%%%%%%% |
|
|
d G 0 get reduction-noH /rr set |
d G 0 get reduction-noH /rr set |
rr 0 get (0). eq { |
rr 0 get (0). eq { |
[rr 2 get] B mul 0 get /ans set |
[rr 2 get] B mul 0 get /ans set |
/ans [ ans { toString rng ,, (-1) rng ,, mul} map |
/ans [ ans { toString rng __ (-1) rng __ mul} map |
rr 1 get toString .. ] def |
rr 1 get toString .. ] def |
} { |
} { |
/ans null def |
/ans null def |
|
|
d G 0 get reduction /rr set |
d G 0 get reduction /rr set |
rr 0 get (0). eq { |
rr 0 get (0). eq { |
[rr 2 get] B mul 0 get /ans set |
[rr 2 get] B mul 0 get /ans set |
/ans [ ans { toString rng ,, (-1) rng ,, mul} map |
/ans [ ans { toString rng __ (-1) rng __ mul} map |
rr 1 get toString .. ] def |
rr 1 get toString .. ] def |
} { |
} { |
/ans null def |
/ans null def |
|
|
|
|
[(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 |