| version 1.6, 2000/12/10 07:48:42 |
version 1.7, 2000/12/29 07:19:38 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.5 2000/12/10 03:33:46 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 |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
| %% This file is error clean. |
%% This file is error clean. |
| |
|
|
|
| ] putUsages |
] putUsages |
| /isRational { |
/isRational { |
| (type?) data_conversion RationalFunctionP eq |
(type?) data_conversion RationalFunctionP eq |
| |
} def |
| |
|
| |
[(isRing) |
| |
[(obj isRing bool) ] |
| |
] putUsages |
| |
/isRing { |
| |
(type?) data_conversion RingP eq |
| } def |
} def |
| |
|
| /toString.tmp { |
/toString.tmp { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to dr.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan