=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v retrieving revision 1.43 retrieving revision 1.45 diff -u -p -r1.43 -r1.45 --- OpenXM/src/kan96xx/Kan/dr.sm1 2004/09/14 10:50:49 1.43 +++ OpenXM/src/kan96xx/Kan/dr.sm1 2004/09/17 00:10:41 1.45 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.42 2004/09/14 02:13:29 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.44 2004/09/16 23:53:44 takayama Exp $ %% dr.sm1 (Define Ring) 1994/9/25, 26 %% This file is error clean. @@ -4271,9 +4271,7 @@ $ [ff ff] fromVectors :: $ [(list listToArray a) ]] putUsages -/makeInfix { - [(or_attr) 4 4 -1 roll ] extension -} def +% Body is moved to smacro.sm1 [(makeInfix) [(literal makeInfix) (Change literal to an infix operator.) @@ -4361,6 +4359,18 @@ $ [ff ff] fromVectors :: $ [(setMinus) [(a b setMinus c) ]] putUsages + +% Define some infix operators +/~add~ { add } def /~add~ makeInfix +/~sub~ { sub } def /~sub~ makeInfix +/~mul~ { mul } def /~mul~ makeInfix +/~div~ { div } def /~div~ makeInfix +/~power~ { power } def /~power~ makeInfix +/~put~ { + dup tag 3 eq { exec } { } ifelse put +} def +/~put~ makeInfix + ;