[BACK]Return to appgr.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / compalg

Diff for /OpenXM/doc/compalg/appgr.tex between version 1.1 and 1.3

version 1.1, 2000/03/01 02:25:51 version 1.3, 2000/03/28 02:02:29
Line 1 
Line 1 
   %$OpenXM$
 \chapter{$B%0%l%V%J4pDl$N1~MQ(B}  \chapter{$B%0%l%V%J4pDl$N1~MQ(B}
   
 $B%0%l%V%J4pDl$O>C5nK!0J30$K$b$5$^$6$^$J1~MQ$r;}$D(B. $BK\@a$G$O(B, $B$=$l$i$N$$(B  $B%0%l%V%J4pDl$O>C5nK!0J30$K$b$5$^$6$^$J1~MQ$r;}$D(B. $BK\@a$G$O(B, $B$=$l$i$N$$(B
Line 55  $I\cap J = (yIR[y] + (1-y)JR[y])\cap R$
Line 56  $I\cap J = (yIR[y] + (1-y)JR[y])\cap R$
 \proof $f \in I\cap J$ $B$H$9$k$H(B, $f = yf+(1-y)f \in (yI + (1-y)J)\cap R$.  \proof $f \in I\cap J$ $B$H$9$k$H(B, $f = yf+(1-y)f \in (yI + (1-y)J)\cap R$.
 $B5U$K(B $f=yg + (1-y)h$ ($g \in IR[y], h \in JR[y]$) $B$H$7(B, $f \in R$  $B5U$K(B $f=yg + (1-y)h$ ($g \in IR[y], h \in JR[y]$) $B$H$7(B, $f \in R$
 $B$H$9$k(B. $B$3$N;~(B, $y=0$ $B$rBeF~$7$F(B, $f = h|_{y=0} \in J$. $y=1$ $B$r(B  $B$H$9$k(B. $B$3$N;~(B, $y=0$ $B$rBeF~$7$F(B, $f = h|_{y=0} \in J$. $y=1$ $B$r(B
 $BBeF~$7$F(B, $f=g|_{y=1} \in I$ $B$h$j(B OK. \qed  $BBeF~$7$F(B, $f=g|_{y=1} \in I$. \qed
   
 \begin{co}  \begin{co}
 \label{intersect}  \label{intersect}
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>