| version 1.52, 2005/11/21 09:12:22 |
version 1.55, 2013/09/22 01:06:20 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.51 2005/06/23 03:23:27 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.54 2013/01/26 10:48:26 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. |
| |
|
| @@@.quiet { } |
@@@.quiet { } |
| { (macro package : dr.sm1, 9/26,1995 --- Version 12/10, 2000. ) message } ifelse |
{ (macro package : dr.sm1, 9/26,1995 --- Version 09/22, 2013. ) message } ifelse |
| |
|
| /ctrlC-hook { |
/ctrlC-hook { |
| %%% define your own routing in case of error. |
%%% define your own routing in case of error. |
| Line 4487 $ [ff ff] fromVectors :: $ |
|
| Line 4487 $ [ff ff] fromVectors :: $ |
|
| arg1 |
arg1 |
| } def |
} def |
| |
|
| |
% Default initial value. |
| |
/localizedString.file null def |
| |
/localizedString.dic [ ] def |
| |
/localizedString.local { } def |
| |
|
| |
% Clear and load |
| |
/localizedString.load { |
| |
/localizedString.dic [ ] def |
| |
/localizedString.local { } def |
| |
localizedString.file tag 0 eq { } |
| |
{ [(parse) localizedString.file pushfile] extension pop } ifelse |
| |
} def |
| |
|
| |
|
| |
[(localizedString) |
| |
[ |
| |
(string localizedString translatedString) |
| |
(It returns localizedString if localizedString.dic [array] and) |
| |
(localizedString.local [function] are set.) |
| |
] |
| |
] putUsages |
| |
/localizedString { |
| |
/arg1 set |
| |
[/ss /ans /tt] pushVariables |
| |
[ |
| |
arg1 /ss set |
| |
/ans ss def |
| |
{ |
| |
localizedString.dic length 0 eq { exit } { } ifelse |
| |
localizedString.dic ss getNode /tt set |
| |
tt tag 0 eq { } { tt /ans set exit } ifelse |
| |
ss localizedString.local /ans set |
| |
exit |
| |
} loop |
| |
ans /arg1 set |
| |
] pop |
| |
popVariables |
| |
arg1 |
| |
} def |
| |
|
| |
[(univ2poly) |
| |
[(list univ2poly list2) |
| |
(Change universal numbers in list to an element of a ring of polynomials) |
| |
(defined by other elements in list. If there is no polynomial element,) |
| |
(the current ring is used.) |
| |
]] putUsages |
| |
/univ2poly { |
| |
/arg1 set |
| |
[/aa /rg /ag /ans] pushVariables |
| |
[ |
| |
arg1 /aa set |
| |
[(CurrentRingp)] system_variable /rg set |
| |
aa getRing /ag set |
| |
ag tag 0 { } { |
| |
ag ring_def |
| |
} ifelse |
| |
aa univ2poly.aux /ans set |
| |
rg ring_def |
| |
ans /arg1 set |
| |
] pop |
| |
popVariables |
| |
arg1 |
| |
} def |
| |
|
| |
/univ2poly.aux { |
| |
/arg1 set |
| |
[/aa /ans] pushVariables |
| |
[ |
| |
arg1 /aa set |
| |
aa getRing |
| |
aa tag 6 eq { |
| |
aa { univ2poly.aux} map /ans set |
| |
}{ |
| |
aa tag 15 eq, aa tag 1 eq, or { aa toString . /ans set } { |
| |
aa /ans set |
| |
} ifelse |
| |
} ifelse |
| |
ans /arg1 set |
| |
] pop |
| |
popVariables |
| |
arg1 |
| |
} def |
| |
|
| |
/sm1log { |
| |
/arg1 set |
| |
[/ss /fd ] pushVariables |
| |
[ |
| |
arg1 /ss set |
| |
(/tmp/sm1log.txt) (a) file /fd set |
| |
fd , ss (string) dc , writestring |
| |
fd closefile |
| |
] pop |
| |
popVariables |
| |
} def |
| |
|
| ; |
; |
| |
|