version 1.31, 2004/02/05 03:04:40 |
version 1.33, 2004/02/24 01:36:14 |
|
|
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.30 2004/02/04 12:03:36 takayama Exp $ |
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.32 2004/02/24 00:45:33 takayama Exp $ |
|
|
/ox.sm1.myname (ox-new.sm1) def |
/ox.sm1.myname (ox-new.sm1) def |
|
|
Line 1407 oxasir.verbose { |
|
Line 1407 oxasir.verbose { |
|
f { toString . } map /f set |
f { toString . } map /f set |
vvv { . } map /vvv set |
vvv { . } map /vvv set |
ddd { . } map /ddd set |
ddd { . } map /ddd set |
/wt wt generic_bfct.aux1 def |
/wt [vvv ddd wt] generic_bfct.aux1 def |
} ifelse |
} ifelse |
[f vvv ddd wt] message |
[f vvv ddd wt] message |
|
|
Line 1428 oxasir.verbose { |
|
Line 1428 oxasir.verbose { |
|
|
|
/generic_bfct.aux1 { |
/generic_bfct.aux1 { |
/arg1 set |
/arg1 set |
[/in-generic_bfct.aux1 /wt /wtx /wtd /n] pushVariables |
[/in-generic_bfct.aux1 /ii /jj /wt /wtx /wtd /vv /dd /n] pushVariables |
[ |
[ |
arg1 /wt set |
arg1 2 get /wt set |
/n [(N)] system_variable def |
arg1 0 get /vv set |
wt { dup tag PolyP eq { toString } { } ifelse } map /wt set |
arg1 1 get /dd set |
wt weightv /wt set |
/wtx [ 0 1 vv length 1 sub { pop (0).. } for ] def |
/wtx wt n carN rest reverse rest reverse def |
/n wt length def |
/wtd wt reverse n carN reverse |
0 2 n 1 sub { |
rest reverse rest reverse def |
/ii set |
wtx wtd join /wt set |
0 1 vv length 1 sub { |
|
/jj set |
|
wt ii get toString dd jj get toString eq { |
|
wtx jj << wt ii 1 add get >> put |
|
} { } ifelse |
|
} for |
|
} for |
|
|
|
wtx /wt set |
wt { dup tag IntegerP eq { (universalNumber) dc } { } ifelse } map /wt set |
wt { dup tag IntegerP eq { (universalNumber) dc } { } ifelse } map /wt set |
wt /arg1 set |
wt /arg1 set |
] pop |
] pop |
Line 1492 oxasir.verbose { |
|
Line 1500 oxasir.verbose { |
|
(avv=) messagen avv message |
(avv=) messagen avv message |
} { } ifelse |
} { } ifelse |
|
|
[$dp_weyl_set_weight(newvect($ avv length toString $,$ |
[$dp_weyl_set_weight(newvect($ ww length toString $,$ |
ww toString $));$ ] cat /comm set |
ww toString $));$ ] cat /comm set |
|
|
verbose.wgr { |
verbose.wgr { |