Abstract
Risa/Asir [20] is a computer algebra system developed for efficient algebraic computation. It is also designed to be a platform for parallel distributed computation under the OpenXM (Open Message eXchange for Mathematics) protocol [11]. OpenXM defines client-server communication between mathematical software systems and Risa/Asir is one of main components in the OpenXM package [21]. The source code of Risa/Asir is completely open and it is easy to modify the source code or to add new functions. In the present paper, we explain an overview of Risa/Asir, its functions and implemented algorithms with their performances, the OpenXM API and the way to add built-in functions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anai, H., Noro., M., Yokoyama, K. (1996): Computation of the splitting fields and the Galois group of polynomials, Progress in Mathematics 143, Birkhäuser Verlag, 1–15.
Boehm, H.,Weiser, M. (1988): Garbage Collection in an Uncooperative Environment, Software Practice & Experience, 807-820. http://www.hpl.hp.com/personal/Hans\_Boehm/gc/.
Faugère, J.-C., Gianni, P., Lazard, D., Mora, T. (1993): Efficient computation of zero-dimensional Gröbner bases by change of ordering, J. Symb. Comp. 16, 329–344.
Faugère, J.C. (1999): A new efficient algorithm for computing Gröbner bases (F4), Journal of Pure and Applied Algebra 139 1-3, 61–88.
Gebauer, R., Möller, H.M. (1989): On an installation of Buchberger’s algorithm, J. Symb. Comp. 6/2/3, 275–286.
Giovini, A., Mora, T., Niesi, G., Robbiano, L., Traverso, C. (1991): “One sugar cube, please” OR Selection strategies in the Buchberger algorithm, Proc. ISSAC’91, ACM Press, 49–54.
van Hoeij, M. (2000): Factoring polynomials and the knapsack problem, to appear in Journal of Number Theory.
Izu, T., Kogure, J., Noro, M., Yokoyama, K. (1998): Efficient implementation of Schoof’s algorithm, ASIACRYPT’98, LNCS 1514, Springer-Verlag, 66–79.
Noro, M., Takeshima, T. (1992): Risa/Asir — a computer algebra system, Proc. ISSAC’92, ACM Press, 387–396.
Noro, M., McKay, J. (1997): Computation of replicable functions on Risa/Asir, Proc. PASCO’97, ACM Press, 130–138.
Maekawa, M., Noro, M., Ohara, K., Takayama, N., Tamura, Y. (2001): The Design and Implementation of OpenXM-RFC 100 and 101, Computer Mathematics, Proc. the Fifth Asian Symposium (ASCM 2001), World Scientific, 102–111.
Noro, M., Yokoyama, K. (1999): A Modular Method to Compute the Rational Univariate Representation of Zero-Dimensional Ideals, J. Symb. Comp. 28/1, 243–263.
Noro, M., Yokoyama, K. (2002): Yet Another Practical Implementation of Polynomial Factorization over Finite Fields, ISSAC 2002, ACM Press, 200–206.
Noro, M. (2002): An Efficient Modular Algorithm for Computing the Global b-function, Mathematical Software, Proc. International Congress of Mathematical Software (ICMS 2002), World Scientific, 147–157.
Shimoyama, T., Yokoyama, K. (1996): Localization and Primary Decomposition of Polynomial Ideals, J. Symb. Comp. 22, 247-277.
Trager, B.M. (1976): Algebraic Factoring and Rational Function Integration, Proc. SYMSAC 76, 219-226.
Traverso, C. (1988): Gröbner trace algorithms. Proc. ISSAC’88, LNCS 358, Springer-Verlag, 125–138.
Wang, P.S. (1978): An Improved Multivariate Polynomial Factoring Algorithm. Math. Comp. 32, 1215-1231.
http://www.math.uic.edu/~jan/demo.html.
A computer algebra system Risa/Asir, http://www.math.kobe-u.ac.jp/Asir/asir.html. 162 Masayuki Noro
OpenXM package, http://www.openxm.org/.
The GNU MP Library, http://swox.com/gmp//gmp.
Message Passing Interface, http://cs.utk.edu/netsolve/netsolve.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noro, M. (2003). A Computer Algebra System: Risa/Asir. In: Joswig, M., Takayama, N. (eds) Algebra, Geometry and Software Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05148-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-05148-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05539-3
Online ISBN: 978-3-662-05148-1
eBook Packages: Springer Book Archive