version 1.50, 2005/06/16 08:40:04 |
version 1.51, 2005/06/23 03:23:27 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.49 2005/06/16 06:21:21 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.50 2005/06/16 08:40:04 takayama Exp $ |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% This file is error clean. |
%% This file is error clean. |
|
|
|
|
(one may use the command ) |
(one may use the command ) |
( f (ring) data_conversion /R set) |
( f (ring) data_conversion /R set) |
(cf. define_ring, define_qring, system_variable, poly (ring) data_conversion) |
(cf. define_ring, define_qring, system_variable, poly (ring) data_conversion) |
(cf. << __ >>) |
(cf. << __ >>, getRing) |
] |
] |
] putUsages |
] putUsages |
|
|
|
|
} def |
} def |
[(getRing) |
[(getRing) |
[(obj getRing rr) |
[(obj getRing rr) |
(ring rr;) |
(ring rr; ) |
(getRing obtains the ring structure from obj.) |
(getRing obtains the ring structure from obj.) |
(If obj is a polynomial, it returns the ring structure associated to) |
(If obj is a polynomial, it returns the ring structure associated to) |
(the polynomial.) |
(the polynomial.) |
(If obj is an array, it recursively looks for the ring structure.) |
(If obj is an array, it recursively looks for the ring structure.) |
|
(cf. ring_def) |
]] putUsages |
]] putUsages |
/toVectors { |
/toVectors { |
/arg1 set |
/arg1 set |