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

Return to dr.sm1 CVS log

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

version 1.44, 2004/09/16 23:53:44

version 1.45, 2004/09/17 00:10:41

Line 1

% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.43 2004/09/14 10:50:49 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.

Line 4359 $ [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

;