OpenXM/src/kan96xx/Kan/dr.sm1 - diff

Return to dr.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.5, 2000/12/10 03:33:46

version 1.7, 2000/12/29 07:19:38

Line 1

% $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.6 2000/12/10 07:48:42 takayama Exp $

%% dr.sm1 (Define Ring) 1994/9/25, 26

%% This file is error clean.

Line 1474

(type?) data_conversion RationalFunctionP eq

} def

[(isRing)

[(obj isRing bool) ]

] putUsages

/isRing {

(type?) data_conversion RingP eq

} def

/toString.tmp {

/arg1 set

[/obj /fname] pushVariables

Line 3562 $ [ff ff] fromVectors :: $

Line 3569 $ [ff ff] fromVectors :: $

]] putUsages

/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

popVariables

} def