=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/oxasir_old.sm1,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/kan96xx/Doc/oxasir_old.sm1 2003/07/21 07:32:00 1.1 +++ OpenXM/src/kan96xx/Doc/oxasir_old.sm1 2004/09/10 13:20:22 1.2 @@ -1,4 +1,4 @@ -% $OpenXM$ +% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir_old.sm1,v 1.1 2003/07/21 07:32:00 takayama Exp $ %% kxx/oxasir.sm1 1998, 2/12 (this version is at Old/oxasir.sm1.19980212 %% 3/1, 1995, 11/5, 11/21 %% This file is error clean. @@ -314,7 +314,7 @@ oxasir.verbose { f 0 get isPolynomial { /r f 0 get (ring) dc def - /vvv vvv { r ,, } map def + /vvv vvv { r __ } map def } { [vvv from_records ring_of_polynomials 0] define_ring