Return to man.texi CVS log

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

Moved a description for primary decomposition in Appendix to
'Groebner basis computation'.

% $OpenXM: OpenXM/src/asir-doc/man.texi,v 1.4 1999/12/24 04:38:03 noro Exp $
\JP \input jtexinfo
\EG \input texinfo
@iftex
@catcode`@#=6
@def@fref#1{@xrefX[#1,,@code{#1},,,]}
\JP @def@b#1{{@bf@gt #1}}
\EG @def@b#1{{@bf #1}}
@catcode`@#=@other
@end iftex
@overfullrule=0pt
@c -*-texinfo-*-
@comment %**start of header
@setfilename risaman
@settitle Asir
@comment %**end of header
@comment %@setchapternewpage odd

@ifinfo
@macro fref{name}
\JP @ref{\name\,,@code{\name\}}
\EG @ref{\name\,,@code{\name\}}
@end macro
@end ifinfo

@iftex
@comment @finalout
@end iftex

@titlepage

@title Asir
@subtitle Asir User's Manual
@subtitle Edition 4.1 for Asir-991214
@subtitle December 1999

@author  by Masayuki Noro, Takeshi Shimoyama and Taku Takeshima
@page
@vskip 0pt plus 1filll
Copyright @copyright{} FUJITSU LABORATORIES LIMITED.
1994-1999. All rights reserved.
@end titlepage

@synindex vr fn

@comment  node-name,  next,  previous,  up
@node Top,, (dir), (dir)

@menu
* Introduction::
* Risa/Asir::
\BJP
* $B7?(B::
* $B%f!<%68@8l(B Asir::
* $B%G%P%C%,(B::
* $BAH$_9~$_H!?t(B::
* $BJ,;67W;;(B::
* $B%0%l%V%J4pDl$N7W;;(B::
* $BBe?tE*?t$K4X$9$k1i;;(B::
* $BM-8BBN$K4X$9$k1i;;(B::
* $BIUO?(B::
* $B:w0z(B::
\E
\BEG
* Data types::
* User language Asir::
* Debugger::
* Built-in Function::
* Distributed computation::
* Groebner basis computation::
* Algebraic numbers::
* Finite fields::
* Appendix::
* Index::
\E
@end menu

@include parts/intro.texi
@include parts/risa.texi
@include parts/type.texi
@include parts/asir.texi
@include parts/debug.texi
@include parts/builtin.texi
@include parts/process.texi
@include parts/groebner.texi
@include parts/algnum.texi
@include parts/ff.texi
@include parts/appendix.texi

\BJP
@node $B:w0z(B,,, Top
@unnumbered $B:w0z(B
\E
\BEG
@node Index,,, Top
@unnumbered Index
\E
@printindex fn
@printindex cp
@iftex
@vfill @eject
@end iftex
@summarycontents
@contents
@bye