version 1.3, 2000/06/08 08:35:01 |
version 1.5, 2000/08/01 07:26:23 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.2 2000/03/23 11:54:08 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/complex.sm1,v 1.4 2000/07/30 09:55:39 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 %%%%%%%%%%%%%%%%%%%%%%%%% |
|
|
[(complex.sm1 : 1999, 9/28, res-div, res-solv, res-kernel-image, res-dual ) |
[(complex.sm1 : 1999, 9/28, res-div, res-solv, res-kernel-image, res-dual ) |
( 2000, 6/8, isExact_h, isExact ) |
( 2000, 6/8, isExact_h, isExact ) |
(In this package, complex is expressed in terms of matrices.) |
(In this package, complex is expressed in terms of matrices.) |
] {message} map |
] {message-quiet} map |
/uli.verbose 0 def |
/uli.verbose 0 def |
/uli.weight [(x) -1 (y) -1 (Dx) 1 (Dy) 1] def |
/uli.weight [(x) -1 (y) -1 (Dx) 1 (Dy) 1] def |
|
|
|
|
/LLL.isExact_h |
/LLL.isExact_h |
/arg1 ans def |
/arg1 ans def |
] pop |
] pop |
|
popVariables |
arg1 |
arg1 |
} def |
} def |
|
|
|
|
/LLL.isExact |
/LLL.isExact |
/arg1 ans def |
/arg1 ans def |
] pop |
] pop |
|
popVariables |
arg1 |
arg1 |
} def |
} def |
|
|