version 1.5, 2000/12/10 03:33:46 |
version 1.6, 2000/12/10 07:48:42 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.4 2000/06/15 07:33:29 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.5 2000/12/10 03:33:46 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. |
|
|
Line 3562 $ [ff ff] fromVectors :: $ |
|
Line 3562 $ [ff ff] fromVectors :: $ |
|
]] putUsages |
]] putUsages |
|
|
/define_ring_variables { |
/define_ring_variables { |
[/in-define_ring_variables /v /p /v0] pushVariables |
[/in-define_ring_variables /drv._v /drv._p /drv._v0] pushVariables |
|
%% You cannot use these names for names for polynomials. |
[ |
[ |
/v getVariableNames def |
/drv._v getVariableNames def |
/v0 v def |
/drv._v0 drv._v def |
v { dup /p set (/) 2 1 roll ( $) p ($. def ) } map cat |
drv._v { dup /drv._p set (/) 2 1 roll ( $) drv._p ($. def ) } map cat |
/v set |
/drv._v set |
% v message |
% drv._v message |
[(parse) v] extension |
[(parse) drv._v] extension |
] pop |
] pop |
popVariables |
popVariables |
} def |
} def |