[BACK]Return to type.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-doc / parts

Diff for /OpenXM/src/asir-doc/parts/type.texi between version 1.1 and 1.2

version 1.1, 1999/12/08 05:47:44 version 1.2, 1999/12/10 06:58:49
Line 19 
Line 19 
 $B<($9(B.  $B<($9(B.
   
 @table @code  @table @code
 @item 0  @item 0 @b{0}
 @b{0}  
   
 $B<B:]$K$O(B 0 $B$r<1JL;R$K$b$DBP>]$OB8:_$7$J$$(B. 0 $B$O(B, C $B$K$*$1$k(B 0 $B%]%$%s%?$K(B  $B<B:]$K$O(B 0 $B$r<1JL;R$K$b$DBP>]$OB8:_$7$J$$(B. 0 $B$O(B, C $B$K$*$1$k(B 0 $B%]%$%s%?$K(B
 $B$h$jI=8=$5$l$F$$$k(B. $B$7$+$7(B, $BJX59>e(B @b{Asir} $B$N(B @code{type(0)} $B$O(B  $B$h$jI=8=$5$l$F$$$k(B. $B$7$+$7(B, $BJX59>e(B @b{Asir} $B$N(B @code{type(0)} $B$O(B
 $BCM(B 0 $B$rJV$9(B.  $BCM(B 0 $B$rJV$9(B.
   
 @item 1  @item 1 @b{$B?t(B}
 @b{$B?t(B}  
   
 @example  @example
 1 2/3  14.5  3+2*@@i  1 2/3  14.5  3+2*@@i
Line 35 
Line 33 
   
 $B?t$O(B, $B$5$i$K$$$/$D$+$N7?$KJ,$1$i$l$k(B. $B$3$l$K$D$$$F$O2<$G=R$Y$k(B.  $B?t$O(B, $B$5$i$K$$$/$D$+$N7?$KJ,$1$i$l$k(B. $B$3$l$K$D$$$F$O2<$G=R$Y$k(B.
   
 @item 2  @item 2 @b{$BB?9`<0(B} ($B?t$G$J$$(B)
 @b{$BB?9`<0(B} ($B?t$G$J$$(B)  
   
 @example  @example
 x  afo  (2.3*x+y)^10  x  afo  (2.3*x+y)^10
Line 46  x  afo  (2.3*x+y)^10
Line 43  x  afo  (2.3*x+y)^10
 1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B (@xref{$BJ,;6I=8=B?9`<0(B}).  1 $BJQ?tB?9`<0$H$7$F9_QQ$N=g$K@0M}$5$l$k(B (@xref{$BJ,;6I=8=B?9`<0(B}).
 $B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B.  $B$3$N;~(B, $B$=$NB?9`<0$K8=$l$k=g=x:GBg$NJQ?t$r(B @b{$B<gJQ?t(B} $B$H8F$V(B.
   
 @item 3  @item 3 @b{$BM-M}<0(B} ($BB?9`<0$G$J$$(B)
 @b{$BM-M}<0(B} ($BB?9`<0$G$J$$(B)  
   
 @example  @example
 (x+1)/(y^2-y-x)  x/x  (x+1)/(y^2-y-x)  x/x
Line 57  x  afo  (2.3*x+y)^10
Line 53  x  afo  (2.3*x+y)^10
 $B8B$jLsJ,$O9T$o$l$J$$(B. $B$3$l$O(B, $BB?9`<0$N(B GCD $B1i;;$,6K$a$F=E$$1i;;$G$"$k(B  $B8B$jLsJ,$O9T$o$l$J$$(B. $B$3$l$O(B, $BB?9`<0$N(B GCD $B1i;;$,6K$a$F=E$$1i;;$G$"$k(B
 $B$?$a$G(B, $BM-M}<0$N1i;;$OCm0U$,I,MW$G$"$k(B.  $B$?$a$G(B, $BM-M}<0$N1i;;$OCm0U$,I,MW$G$"$k(B.
   
 @item 4  @item 4 @b{$B%j%9%H(B}
 @b{$B%j%9%H(B}  
   
 @example  @example
 []  [1,2,[3,4],[x,y]]  []  [1,2,[3,4],[x,y]]
Line 80  x  afo  (2.3*x+y)^10
Line 75  x  afo  (2.3*x+y)^10
 $B7k6I$O@hF,$+$i%]%$%s%?$r$?$I$k$3$H$KAjEv$9$k$?$a(B, $BG[Ns$KBP$9$kA`:n$K(B  $B7k6I$O@hF,$+$i%]%$%s%?$r$?$I$k$3$H$KAjEv$9$k$?$a(B, $BG[Ns$KBP$9$kA`:n$K(B
 $BHf3S$7$FBg$-$J%j%9%H$G$O;~4V$,$+$+$k>l9g$,$"$k$H$$$&$3$H$G$"$k(B.  $BHf3S$7$FBg$-$J%j%9%H$G$O;~4V$,$+$+$k>l9g$,$"$k$H$$$&$3$H$G$"$k(B.
   
 @item 5  @item 5 @b{$B%Y%/%H%k(B}
 @b{$B%Y%/%H%k(B}  
   
 @example  @example
 newvect(3)  newvect(2,[a,1])  newvect(3)  newvect(2,[a,1])
Line 108  newvect(3)  newvect(2,[a,1])
Line 102  newvect(3)  newvect(2,[a,1])
 [ 0 0 0 ]  [ 0 0 0 ]
 @end example  @end example
   
 @item 6  @item 6 @b{$B9TNs(B}
 @b{$B9TNs(B}  
   
 @example  @example
 newmat(2,2)  newmat(2,3,[[x,y],[z]])  newmat(2,2)  newmat(2,3,[[x,y],[z]])
Line 131  newmat(2,2)  newmat(2,3,[[x,y],[z]])
Line 124  newmat(2,2)  newmat(2,3,[[x,y],[z]])
 5  5
 @end example  @end example
   
 @item 7  @item 7 @b{$BJ8;zNs(B}
 @b{$BJ8;zNs(B}  
   
 @example  @example
 ""  "afo"  ""  "afo"
Line 145  newmat(2,2)  newmat(2,3,[[x,y],[z]])
Line 137  newmat(2,2)  newmat(2,3,[[x,y],[z]])
 [0] "afo"+"take";  [0] "afo"+"take";
 afotake  afotake
 @end example  @end example
 @item 8  
 @b{$B9=B$BN(B}  
   
   @item 8 @b{$B9=B$BN(B}
   
 @example  @example
 newstruct(afo)  newstruct(afo)
 @end example  @end example
   
 $B9=B$BN$K4X$7$F$O(B, $B>O$r2~$a$F2r@b$9$kM=Dj$G$"$k(B.  $B9=B$BN$K4X$7$F$O(B, $B>O$r2~$a$F2r@b$9$kM=Dj$G$"$k(B.
   
 @item 9  @item 9 @b{$BJ,;6I=8=B?9`<0(B}
 @b{$BJ,;6I=8=B?9`<0(B}  
   
 @example  @example
 2*<<0,1,2,3>>-3*<<1,2,3,4>>  2*<<0,1,2,3>>-3*<<1,2,3,4>>
Line 166  newstruct(afo)
Line 157  newstruct(afo)
 $B$G=q$+$l$F$$$k$?$a(B, $B%f!<%6$,A`:n$G$-$k$h$&FHN)$7$?7?$H$7$F(B  @b{Asir}  $B$G=q$+$l$F$$$k$?$a(B, $B%f!<%6$,A`:n$G$-$k$h$&FHN)$7$?7?$H$7$F(B  @b{Asir}
 $B$G;HMQ$G$-$k$h$&$K$7$F$"$k(B. $B$3$l$K$D$$$F$O(B @xref{$B%0%l%V%J4pDl$N7W;;(B}.  $B$G;HMQ$G$-$k$h$&$K$7$F$"$k(B. $B$3$l$K$D$$$F$O(B @xref{$B%0%l%V%J4pDl$N7W;;(B}.
   
 @item 10  @item 10 @b{$BId9f$J$7%^%7%s(B 32bit $B@0?t(B}
 @b{$BId9f$J$7%^%7%s(B 32bit $B@0?t(B}  
   
 @item 11  @item 11 @b{$B%(%i!<%*%V%8%'%/%H(B}
 @b{$B%(%i!<%*%V%8%'%/%H(B}  
   
 $B0J>eFs$D$O(B, Open XM $B$K$*$$$FMQ$$$i$l$kFC<l%*%V%8%'%/%H$G$"$k(B.  $B0J>eFs$D$O(B, Open XM $B$K$*$$$FMQ$$$i$l$kFC<l%*%V%8%'%/%H$G$"$k(B.
   
 @item 12  @item 12 @b{GF(2) $B>e$N9TNs(B}
 @b{GF(2) $B>e$N9TNs(B}  
   
 $B8=:_(B, $BI8?t(B 2 $B$NM-8BBN$K$*$1$k4pDlJQ49$N$?$a$N%*%V%8%'%/%H$H$7$FMQ$$$i$l(B  $B8=:_(B, $BI8?t(B 2 $B$NM-8BBN$K$*$1$k4pDlJQ49$N$?$a$N%*%V%8%'%/%H$H$7$FMQ$$$i$l(B
 $B$k(B.  $B$k(B.
   
 @item 13  @item 13 @b{MATHCAP $B%*%V%8%'%/%H(B}
 @b{MATHCAP $B%*%V%8%'%/%H(B}  
   
 Open XM $B$K$*$$$F(B, $B<BAu$5$l$F$$$k5!G=$rAw<u?.$9$k$?$a$N%*%V%8%'%/%H$G$"$k(B.  Open XM $B$K$*$$$F(B, $B<BAu$5$l$F$$$k5!G=$rAw<u?.$9$k$?$a$N%*%V%8%'%/%H$G$"$k(B.
   
 @item 14  @item 14 @b{first order formula}
 @b{first order formula}  
   
 quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B.  quantifier elimination $B$GMQ$$$i$l$k0l3,=R8lO@M}<0(B.
   
   @item -1 @b{VOID $B%*%V%8%'%/%H(B}
   
   $B7?<1JL;R(B -1 $B$r$b$D%*%V%8%'%/%H$O4X?t$NLa$jCM$J$I$,L58z$G$"$k$3$H$r<($9(B.
 @end table  @end table
   
 @node $B?t$N7?(B,,, $B7?(B  @node $B?t$N7?(B,,, $B7?(B
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>