version 1.7, 2001/11/26 01:25:44 |
version 1.9, 2004/09/10 13:20:22 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.6 2000/12/29 07:19:37 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 |
|
|
/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 |