Return to type.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts / builtin

Annotation of OpenXM/src/asir-doc/parts/builtin/type.texi, Revision 1.1

1.1     ! noro        1: @node $B7?$r5a$a$kH!?t(B,,, $BAH$_9~$_H!?t(B
        !             2: @section $B7?$r5a$a$kH!?t(B
        !             3:
        !             4: @menu
        !             5: * type::
        !             6: * ntype::
        !             7: * vtype::
        !             8: @end menu
        !             9:
        !            10: @node type,,, $B7?$r5a$a$kH!?t(B
        !            11: @subsection @code{type}
        !            12: @findex type
        !            13:
        !            14: @table @t
        !            15: @item type(@var{obj})
        !            16: :: @var{obj} $B$N(B $B7?(B ($B@0?t(B) $B$rJV$9(B.
        !            17: @end table
        !            18:
        !            19: @table @var
        !            20: @item return
        !            21: $B<+A3?t(B
        !            22: @item obj
        !            23: $BG$0U(B
        !            24: @end table
        !            25:
        !            26: @itemize @bullet
        !            27: @item
        !            28: @var{obj} $B$N(B $B7?$NCM$O<!$NDL$j(B.
        !            29: @table @t
        !            30: @item 0
        !            31: 0
        !            32: @item 1
        !            33: $B?t(B
        !            34: @item 2
        !            35: $BB?9`<0(B ($B?t$G$J$$(B)
        !            36: @item 3
        !            37: $BM-M}<0(B ($BB?9`<0$G$J$$(B)
        !            38: @item 4
        !            39: $B%j%9%H(B
        !            40: @item 5
        !            41: $B%Y%/%H%k(B
        !            42: @item 6
        !            43: $B9TNs(B
        !            44: @item 7
        !            45: $BJ8;zNs(B
        !            46: @item 8
        !            47: $B9=B$BN(B
        !            48: @item 9
        !            49: $BJ,;6I=8=B?9`<0(B
        !            50: @end table
        !            51: @item
        !            52: $B?t$N7?$r5a$a$k$K$O(B, @code{ntype} $B$rMQ$$$k(B.
        !            53: $BITDj85$N7?$r5a$a$k$K$O(B, @code{vtype} $B$rMQ$$$k(B.
        !            54: @end itemize
        !            55:
        !            56: @table @t
        !            57: @item $B;2>H(B
        !            58: @fref{ntype}, @fref{vtype}.
        !            59: @end table
        !            60:
        !            61: @node ntype,,, $B7?$r5a$a$kH!?t(B
        !            62: @subsection @code{ntype}
        !            63: @findex ntype
        !            64:
        !            65: @table @t
        !            66: @item ntype(@var{num})
        !            67: :: @var{num} ($B?t(B) $B$N(B $B7?(B ($B@0?t(B) $B$rJV$9(B.
        !            68: @end table
        !            69:
        !            70: @table @var
        !            71: @item return
        !            72: $B<+A3?t(B
        !            73: @item obj
        !            74: $B?t(B
        !            75: @end table
        !            76:
        !            77: @itemize @bullet
        !            78: @item
        !            79: $B?t$N7?$NCM$O<!$NDL$j(B.
        !            80: @table @t
        !            81: @item 0
        !            82: $BM-M}?t(B
        !            83: @item 1
        !            84: $BG\@:EYIbF0>.?t(B
        !            85: @item 2
        !            86: $BBe?tE*?t(B
        !            87: @item 3
        !            88: $BG$0U@:EYIbF0>.?t(B (@b{bigfloat})
        !            89: @item 4
        !            90: $BJ#AG?t(B
        !            91: @item 5
        !            92: $BM-8BBN$N85(B
        !            93: @end table
        !            94: @item
        !            95: @code{newalg(x^2+1)} $B$G@8@.$7$??t$H(B, $B5u?tC10L(B @code{@@i} $B$O(B,
        !            96: $B0[$J$k$b$N$H$7$F07$o$l$k(B.
        !            97: @item
        !            98: $BBe?tE*?t$K4X$7$F$O(B, @xref{$BBe?tE*?t$K4X$9$k1i;;(B}.
        !            99: @end itemize
        !           100:
        !           101: @example
        !           102: [0] [10/37,ntype(10/37)];
        !           103: [10/37,0]
        !           104: [1] [10.0/37.0,ntype(10.0/37.0)];
        !           105: [0.27027,1]
        !           106: [2] [newalg(x^2+1)+1,ntype(newalg(x^2+1)+1)];
        !           107: [(#0+1),2]
        !           108: [3] [eval(sin(@@pi/6)),ntype(eval(sin(@@pi/6)))];
        !           109: [0.49999999999999999991,3]
        !           110: [4] [@@i+1,ntype(@@i+1)];
        !           111: [(1+1*@@i),4]
        !           112: @end example
        !           113:
        !           114: @table @t
        !           115: @item $B;2>H(B
        !           116: @fref{type}.
        !           117: @end table
        !           118:
        !           119: @node vtype,,, $B7?$r5a$a$kH!?t(B
        !           120: @subsection @code{vtype}
        !           121: @findex vtype
        !           122:
        !           123: @table @t
        !           124: @item vtype(@var{var})
        !           125: :: @var{var} ($BITDj85(B) $B$N(B $B7?(B ($B@0?t(B) $B$rJV$9(B.
        !           126: @end table
        !           127:
        !           128: @table @var
        !           129: @item return
        !           130: $B<+A3?t(B
        !           131: @item var
        !           132: $BITDj85(B
        !           133: @end table
        !           134:
        !           135: @itemize @bullet
        !           136: @item
        !           137: @var{var} ($BITDj85(B) $B$N7?$NCM$O<!$NDL$j(B. $B>\:Y$O(B @xref{$BITDj85$N7?(B}.
        !           138: @table @t
        !           139: @item 0
        !           140: $B0lHLITDj85(B  (a,b,x,afo,bfo,...,etc)
        !           141: @item 1
        !           142: @code{uc()} $B$G@8@.$5$l$?ITDj85(B (@code{_0}, @code{_1}, @code{_2}, ... etc)
        !           143: @item 2
        !           144: $BH!?t7A<0(B (@code{sin(x)}, @code{log(a+1)}, @code{acosh(1)}, @code{@@pi}, @code{@@e}, ... etc)
        !           145: @item 3
        !           146: $BH!?t;R(B ($BAH$_9~$_H!?t;R(B, $B%f!<%6Dj5AH!?t;R(B, $B=iEyH!?t;R(B : @code{sin}, @code{log}, ... etc)
        !           147: @end table
        !           148: @item
        !           149: @code{a();} $B$r<B9T(B($BDL>o$G$O%(%i!<(B)$B$7$?$@$1$G$b(B @code{ntype(a)} $B$O(B 3 $B$H$J$k(B.
        !           150: $B$9$J$o$A(B @code{a} $B$O%f!<%6Dj5AH!?t;R$H$_$J$5$l$k(B.
        !           151: @item
        !           152: @code{@@pi}, @code{@@e} $B$OITDj85$H$7$F07$o$l$k$,(B, @code{eval()}, @code{pari()}
        !           153: $B$K$*$$$F$O?t$H$7$F07$o$l$k(B.
        !           154: @end itemize
        !           155:
        !           156: @table @t
        !           157: @item $B;2>H(B
        !           158: @fref{type}, @fref{ntype}, @fref{uc}.
        !           159: @end table
        !           160: