README.html

<!-- -*- coding: utf-8 -*- -->



<div class="center">

    <div>
      <a href="Downloads/">Downloads</a>
      |
      <a href="GettingStarted/">Getting Started</a>
      |
      <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html">Documentation</a>
      |
      <a href="Events/">Events</a>
    </div>

    <div class="extra_space_below extra_space_above">
      <a href="http://en.wikipedia.org/wiki/Syzygy">
	<img src="Style/9planets.gif"
	     alt="a picture of a syzygy involving the planets"
	     title="a syzygy"
	     >
      </a>
    </div>

</div>


    <!--

<div>
  <h2>News</h2>
  <ul>
    <li> the Macaulay2 <a href="http://groups.google.com/group/macaulay2/browse_thread/thread/aec10eb0a23edea5">subversion server has moved</a> </li>
    <li> <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_changes_cm_sp1.4.html">version 1.4</a>
         of <i>Macaulay2</i> is available</li>
  </ul>
</div>
<hr>

    -->


<div>

  <p>
    <i>Macaulay2</i> is a software system devoted to supporting research in 
    <a href="http://en.wikipedia.org/wiki/Algebraic_geometry">algebraic geometry</a>
    and 
    <a href="http://en.wikipedia.org/wiki/Commutative_algebra">commutative algebra</a>,
    whose creation has been <a href="Funding/">funded</a> by the National Science Foundation since 1992.
  </p>
  <p>
    <i>Macaulay2</i> includes core algorithms for computing 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/___Gröbner_spbases.html">Gröbner bases</a>
    and graded or multi-graded free 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_resolution_lp__Module_rp.html">resolutions</a>
    of 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_modules.html">modules</a>
    over 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/">quotient rings</a>
    of 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_graded_spand_spmultigraded_sppolynomial_springs.html">
    graded or multi-graded</a>
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_polynomial_springs.html">polynomial rings</a>
    with a 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_monomial_sporderings.html">monomial ordering</a>.
    The core algorithms are accessible through a versatile high level interpreted user
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/___The_sp__Macaulay2_splanguage.html">language</a>
    with a powerful <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_the_spdebugger.html">debugger</a>
    supporting the
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_making_spnew_spclasses.html">creation</a> of new
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_what_spa_spclass_spis.html">classes</a>
    of mathematical objects and the 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_installing_spmethods.html">installation of methods</a>
    for computing specifically with them.
    <i>Macaulay2</i> can compute 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_betti.html">Betti numbers</a>, 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/___Ext.html">Ext</a>, 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/___H__H^__Z__Z_lp__Projective__Variety_cm__Coherent__Sheaf_rp.html">cohomology of coherent sheaves</a>
    on projective varieties, 
    <a href="doc/Macaulay2/share/doc/Macaulay2/PrimaryDecomposition/html/_primary_spdecomposition.html">primary decomposition of ideals</a>, 
    <a href="doc/Macaulay2/share/doc/Macaulay2/IntegralClosure/html/">integral closure</a>
    of
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_rings.html">rings</a>,
    and 
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/">more</a>.
  </p>

  <p>
    We hope you will 
    <a href="Downloads/">download it</a>,
    <a href="TryItOut/">try it out</a>, 
    and give us useful 
    <a href="http://groups.google.com/group/macaulay2">feedback</a>
    as we continue the development of the program.
  </p>

  <p>
    Many <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_authors_spof_sp__Macaulay2_sppackages.html">people</a> contribute to <i>Macaulay2</i>
    development, mostly by writing
    <a href="doc/Macaulay2/share/doc/Macaulay2/Macaulay2Doc/html/_packages_spprovided_spwith_sp__Macaulay2.html">packages</a> that extend the
    functionality of <i>Macaulay2</i>.
  </p>

  <p>
    We welcome further help from the mathematical community.  See the list
    of <a href="https://github.com/Macaulay2/M2/wiki/Projects">projects</a> for the projects that are proposed or currently underway.
    Volunteer to undertake one, or propose a new project that you see a need for.
  </p>

    <a href="Events/">
      <img src="Style/Syzygy-poster-001-reduced.jpg"
	   alt="image from Berlin poster"
	   title="a syzygy reflected in eclipse glasses"
	   style="float:right"
	   width="14%"
	   >
    </a>

  <p class="smaller">
      Daniel Grayson, author: <a href="http://dangrayson.com/">home page</a>, <a href="mailto:danielrichardgrayson@gmail.com">email</a>.<br>
      Michael Stillman, author: <a href="http://www.math.cornell.edu/~mike/">home page</a>, <a href="mailto:mike@math.cornell.edu">email</a>.<br>
      David Eisenbud: <a href="http://www.msri.org/~de/">home page</a>, <a href="mailto:de@msri.org">email</a>.<br>
  </p>

    <a href="https://en.wikipedia.org/wiki/Messier_2">
      <img src="https://upload.wikimedia.org/wikipedia/commons/thumb/1/1d/Messier_2_Hubble_WikiSky.jpg/2560px-Messier_2_Hubble_WikiSky.jpg"
	   alt="image of Messier 2 globular cluster"
	   title="M2"
	   style="float:left"
	   width="14%"
	   >
    </a>

</div>

<!--
   Local Variables:
   coding: utf-8
   fill-column: 133
   compile-command: "umask 2; ~/to/Macaulay2/Scripts/index-new-html -l -t Style/trailer.html "
   End:
-->