Size: 6438
Comment:
|
Size: 6386
Comment: added some hyperlinks
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
== Short introduction to SAGE: Software for Algebra and Geometry Experimentation == | == A Short introduction to SAGE: Software for Algebra and Geometry Experimentation == |
Line 3: | Line 3: |
SAGE is a framework for number theory, algebra, and geometry computation. The implementation is due to William Stein and over 30 other contributors from around the world. It is open source and freely available under the terms of the GNU General Public License (GPL). | SAGE is mathematical software for number theory, algebra, and geometry computation. The implementation is due to ["William Stein"] and over 30 other contributors from around the world. It is open source and freely available under the terms of the GNU General Public License (GPL). SAGE is |
Line 5: | Line 5: |
SAGE is a Python library with a customized interpreter. It is written in Python, C++, and C (via Pyrex). Python is an open source object-oriented interpreted language, with a large number of libraries, e.g., for numerical analysis, which are available to users of SAGE. Python can also be accessed in library mode from C/C++ programs. | * A unified distribution of free math software that mere mortals can build from source, |
Line 7: | Line 7: |
SAGE will provide a unified interface to several important open source libraries, including SINGULAR (for commutative algebra) and GAP (for group theory), John Cremona's MWRANK library (for elliptic curves), the PARI library for number theory, and Shoup's number theory library NTL, Maxima (for symbolic manipulation). There are also interfaces to many commercial or closed source CAS's such as Maple, KASH/KANT, MAGMA, Mathematica, Axiom, and many others. For graphics, SAGE includes Matplotlib (for 2-d and some 3-d graphics) and tachyon (a 3-d ray tracer). | * A new Python library for mathematical computation with graphical and command-line interfaces, and |
Line 9: | Line 9: |
The design of SAGE is heavily by the carefully thought out and mature class structure of the closed source computer algebra program MAGMA. However, SAGE is not meant to be an clone of MAGMA and other packages (such as GAP and Mathematica) have also played an influencial role. | * An interface to existing mathematical software. |
Line 11: | Line 11: |
The main longterm goals and guiding principles for SAGE: | It is written in ["Python"], C++, and C (via ["Pyrex"]). Python is an open source object-oriented interpreted language, with a large number of libraries, e.g., for numerical analysis, which are available to users of SAGE. Python can also be accessed in library mode from C/C++ programs. SAGE ships with and provides a unified interface to several important open source libraries, including [:Singular:SINGULAR] (for commutative algebra) and [:GAP:GAP] (for group theory), John Cremona's [:MWRANK:MWRANK] library (for elliptic curves), the [:PARI:PARI] library for number theory, and Shoup's number theory library [:NTL:NTL], and [:Maxima:Maxima] (for symbolic manipulation). There are also interfaces to many commercial or closed source so as open-source mathematics software packages include Maple, MATLAB, Mathematica, KASH/KANT, MAGMA, Axiom, and many others. For graphics, SAGE includes Matplotlib (for 2-d and some 3-d graphics) and tachyon (a 3-d ray tracer). The main longterm goals and guiding principles for SAGE are: |
Line 15: | Line 20: |
* Good programming environment: It is hoped that SAGE will form a stable environment to begin programming new mathematical software projects. We should provide a model for the mathematical community of software development with a strong emphasis on openness, community, cooperation, and collaboration. | * Good programming environment: It is hoped that SAGE will form a stable environment to begin programming new mathematical software projects. SAGE provides a model for the mathematical community of software development with a strong emphasis on openness, community, cooperation, and collaboration. |
Line 19: | Line 24: |
* User friendly: The hope is to eventually attain a high level of user support. (The ``GAP Forum'' email list is an ideal example of the support it is hoped that SAGE can attain.) | * User friendly: The hope is to eventually attain a high level of user support. |
Line 21: | Line 26: |
* Easy to compile: SAGE should be relatively easy to compile from source for Linux and OS X users. This provides more flexibility in modifying the system. | * Easy to compile: SAGE should be relatively easy to compile from source for Linux, OS X, and MS Windows users. This provides more flexibility in modifying the system. |
Line 23: | Line 28: |
* Cross-platform: SAGE runs under Linux, OS X, Windows (cygwin and colinux binary). | * Cross-platform: SAGE runs under Linux, OS X, Windows. |
Line 29: | Line 34: |
* Tools: Provide robust interfaces to some of the functionality of PARI, GAP, GMP, Maxima, SINGULAR, MWRANK, and NTL. These are all are GPL'd and SAGE provides (or will provide) a unified interface for using them. | * Tools: Provide robust interfaces to some of the functionality of PARI, GAP, GMP, Maxima, SINGULAR, MWRANK, and NTL. These are all are GPL'd and SAGE provides a unified interface for using them. |
Line 31: | Line 36: |
* Well documented: Reference manual, Tutorial, API reference with examples for every function, and an extensive ``How can ... be constructed in SAGE?" document. | * Well documented: Reference manual, Tutorial, API reference with examples for every function, and an extensive "How can ... be constructed in SAGE?" document. |
Line 38: | Line 43: |
Although SAGE uses Python and PARI and other packages, keep in mind that it is not necessary to have this software preinstalled on the computer. The installation of SAGE is really designed to be relatively painless, but if there are any problems, please ask (the web page has links to the email lists for SAGE support). There are installation instructions at http://sage.scipy.org/sage/doc/html/inst/index.html. Moreover, if SAGE is installed once, upgrading to the newest version is especially easy with the ``upgrade'' command option (this is described on the website given above and assumes wget is installed and an internet connection). | Although SAGE uses Python and PARI and other packages, keep in mind that it is not necessary to have this software preinstalled on the computer. The installation of SAGE is really designed to be relatively painless, but if there are any problems, please ask (the web page has links to the email lists for SAGE support). There are installation instructions at http://sage.scipy.org/sage/doc/html/inst/index.html. Moreover, if SAGE is installed once, upgrading to the newest version is especially easy with the "upgrade" command option (this is described on the website given above and assumes wget is installed and an internet connection). |
Line 40: | Line 45: |
Once SAGE is installed into a directory such as sage-x.y.z, there will be a subdirectory called ``bin''. In Linux, cd to this ``bin'' subdirectory and type the command `./sage'' to start SAGE and display the SAGE prompt ``sage:''. This is one way to use SAGE. Another way is to next type into SAGE ``notebook(open_viewer=True)'' at the SAGE prompt, which | Once SAGE is installed into a directory such as sage-x.y.z. In Linux, cd to this directory and type the command "./sage" to start SAGE and display the SAGE prompt "sage:". This is one way to use SAGE. Another way is to next type into SAGE "notebook(open_viewer=True)" at the SAGE prompt, which |
Line 44: | Line 49: |
At the SAGE prompt, type ``factor(100)'' (hit return) and then enter Ctrl-d (hold the Ctrl ket and d at the same time) or ``quit'' (return) SAGE will first factor 100 and then exit. To do this in the notebook, enter ``factor(100)'' into a ``cell'' (an empty white window in the www browser) and then enter shift-enter. SAGE will display the factorization in the space just below the cell. To exit, the notebook version of SAGE, first go back to the command line, and enter Ctrl-c. Next, exit the browser. This quits SAGE's notebook. | At the SAGE prompt, type "factor(100)" (hit return); SAGE will output the prime factorization of 100. Type "factor?? (return) and the source code of the function factor will be shown. Enter Ctrl-d (hold the Ctrl key and d at the same time) or type "quit" (return), and SAGE will exit. To do this computation in the notebook, enter "factor(100)" into a "cell" (an empty white window in the web browser) and then press shift-enter. SAGE will display the factorization in the space just below the cell. To exit the notebook, go back to the command line and press Ctrl-c. Next, exit the browser. This quits SAGE's notebook. |
Line 46: | Line 51: |
There are more examples, in the tutorial, constructions, and reference manuals, available on the SAGE webpage. Please try them out! | There are thousands of additional examples in the tutorial, constructions, and reference manuals, which are available on the SAGE webpage. Please try them out! |
Line 48: | Line 53: |
SAGE is in an early stage of development, but is actively growing, and is already usable. There is a SAGE discussion board, bug-tracker, and wish list. Please visit | SAGE is is actively growing, and is already usable. There is a SAGE discussion board, bug-tracker, and wish list. Please visit |
A Short introduction to SAGE: Software for Algebra and Geometry Experimentation
SAGE is mathematical software for number theory, algebra, and geometry computation. The implementation is due to ["William Stein"] and over 30 other contributors from around the world. It is open source and freely available under the terms of the GNU General Public License (GPL). SAGE is
- A unified distribution of free math software that mere mortals can build from source,
- A new Python library for mathematical computation with graphical and command-line interfaces, and
- An interface to existing mathematical software.
It is written in ["Python"], C++, and C (via ["Pyrex"]). Python is an open source object-oriented interpreted language, with a large number of libraries, e.g., for numerical analysis, which are available to users of SAGE. Python can also be accessed in library mode from C/C++ programs.
SAGE ships with and provides a unified interface to several important open source libraries, including [:Singular:SINGULAR] (for commutative algebra) and [:GAP:GAP] (for group theory), John Cremona's [:MWRANK:MWRANK] library (for elliptic curves), the [:PARI:PARI] library for number theory, and Shoup's number theory library [:NTL:NTL], and [:Maxima:Maxima] (for symbolic manipulation). There are also interfaces to many commercial or closed source so as open-source mathematics software packages include Maple, MATLAB, Mathematica, KASH/KANT, MAGMA, Axiom, and many others. For graphics, SAGE includes Matplotlib (for 2-d and some 3-d graphics) and tachyon (a 3-d ray tracer).
The main longterm goals and guiding principles for SAGE are:
- Free and open source: The source code must be freely available and readable, so users can understand what the system is really doing and more easily extend it. Just as mathematicians gain a deeper understanding of a theorem by carefully reading or at least skimming the proof, people who do computations should be able to understand how the calculations work by reading documented source code. All software included in the SAGE core distribution must be free and open source, and arbitrary modifications and redistribution of every single line must be allowed.
- Good programming environment: It is hoped that SAGE will form a stable environment to begin programming new mathematical software projects. SAGE provides a model for the mathematical community of software development with a strong emphasis on openness, community, cooperation, and collaboration.
- Extensible: Be able to define new data types or derive from built-in types, and make code written in a favorite language (including C/C++) part of the system.
- User friendly: The hope is to eventually attain a high level of user support.
- Easy to compile: SAGE should be relatively easy to compile from source for Linux, OS X, and MS Windows users. This provides more flexibility in modifying the system.
- Cross-platform: SAGE runs under Linux, OS X, Windows.
- Comprehensive: Implement enough algorithms to be really useful. Unify free open source mathematics software. Be a comprehensive mainstream high quality open source free mathematics software system.
- Efficient: Be very fast---comparable to or faster than anything else available. This is very difficult, since many systems are closed source, algorithms are sometimes not published, and finding fast algorithms is often extremely difficult (years of work, Ph.D. theses, luck, etc.).
- Tools: Provide robust interfaces to some of the functionality of PARI, GAP, GMP, Maxima, SINGULAR, MWRANK, and NTL. These are all are GPL'd and SAGE provides a unified interface for using them.
- Well documented: Reference manual, Tutorial, API reference with examples for every function, and an extensive "How can ... be constructed in SAGE?" document.
Download SAGE, an installation guide and a tutorial, from its webpage
Although SAGE uses Python and PARI and other packages, keep in mind that it is not necessary to have this software preinstalled on the computer. The installation of SAGE is really designed to be relatively painless, but if there are any problems, please ask (the web page has links to the email lists for SAGE support). There are installation instructions at http://sage.scipy.org/sage/doc/html/inst/index.html. Moreover, if SAGE is installed once, upgrading to the newest version is especially easy with the "upgrade" command option (this is described on the website given above and assumes wget is installed and an internet connection).
Once SAGE is installed into a directory such as sage-x.y.z. In Linux, cd to this directory and type the command "./sage" to start SAGE and display the SAGE prompt "sage:". This is one way to use SAGE. Another way is to next type into SAGE "notebook(open_viewer=True)" at the SAGE prompt, which (a) starts the SAGE server running (loading the previously used worksheet, if any) and (b) opens the firefox browser (or starts a new tab if it is already open) and displays the SAGE notebook webpage.
At the SAGE prompt, type "factor(100)" (hit return); SAGE will output the prime factorization of 100. Type "factor?? (return) and the source code of the function factor will be shown. Enter Ctrl-d (hold the Ctrl key and d at the same time) or type "quit" (return), and SAGE will exit. To do this computation in the notebook, enter "factor(100)" into a "cell" (an empty white window in the web browser) and then press shift-enter. SAGE will display the factorization in the space just below the cell. To exit the notebook, go back to the command line and press Ctrl-c. Next, exit the browser. This quits SAGE's notebook.
There are thousands of additional examples in the tutorial, constructions, and reference manuals, which are available on the SAGE webpage. Please try them out!
SAGE is is actively growing, and is already usable. There is a SAGE discussion board, bug-tracker, and wish list. Please visit
or
http://sage.math.washington.edu/sage/
or
http://echidna.maths.usyd.edu.au/sage/
or
email William Stein at [email protected]
for more information. Above all, have fun with SAGE!
David Joyner [email protected]
William Stein [email protected]
Last Updated 11-19-2006.