version 1.50, 2005/06/16 08:40:04 |
version 1.52, 2005/11/21 09:12:22 |
|
|
% $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.51 2005/06/23 03:23:27 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 |
Line 4469 $ [ff ff] fromVectors :: $ |
|
Line 4470 $ [ff ff] fromVectors :: $ |
|
popVariables |
popVariables |
arg1 |
arg1 |
} def |
} def |
|
|
|
[(getFileType) |
|
[ |
|
(string getFileType type) |
|
$Example: (/www/prog/cohom.sm1) getFileType ==> (sm1)$ |
|
]] putUsages |
|
/getFileType { |
|
/arg1 set |
|
[/ss ] pushVariables |
|
[ /ss arg1 def |
|
[(stringToArgv2) ss (.)] extension /ss set |
|
ss, ss length 1 sub, get /arg1 set |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
|
|
|
; |
; |
|
|