<?xml version="1.0" encoding="utf-8" ?> <!-- for emacs: -*- coding: utf-8 -*- -->
<!-- Apache may like this line in the file .htaccess: AddCharset utf-8 .html -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head><title>changes, 1.0 and 1.1</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="_changes_cm_sp1.2.html">next</a> | <a href="_changes_spto_sp__Macaulay2_cm_spby_spversion.html">previous</a> | <a href="_changes_cm_sp1.2.html">forward</a> | backward | <a href="_changes_spto_sp__Macaulay2_cm_spby_spversion.html">up</a> | <a href="index.html">top</a> | <a href="master.html">index</a> | <a href="toc.html">toc</a> | <a href="http://www.math.uiuc.edu/Macaulay2/">Macaulay2 web site</a></div>
</td>
</tr>
</table>
<div><a href="index.html" title="">Macaulay2Doc</a> > <a href="_changes_spto_sp__Macaulay2_cm_spby_spversion.html" title="">changes to Macaulay2, by version</a> > <a href="_changes_cm_sp1.0_spand_sp1.1.html" title="">changes, 1.0 and 1.1</a></div>
<hr/>
<div><h1>changes, 1.0 and 1.1</h1>
<div><p> Versions have been compiled specifically for the following GNU/Linux systems: generic Linux, Ubuntu (32 bit and 64 bit), Debian (32 bit and 64 bit) both with *.deb files, Fedora 7, Fedora 8, and Red Hat Enterprise 4, with *.rpm files; for the following Macintosh OS X systems: 10.4 and 10.5 on Intel 32 bit, 10.5 on Intel 64 bit, and 10.4 on the Power PC; and on Microsoft Windows with the Cygwin compatibility package installed. Automatic installation from our repositories is possible for Debian, Ubuntu, and Microsoft Windows. The files for downloading are now divided into two archives, depending on whether they depend on the architecture. </p>
<p>Packages have been contributed: <a href="../../NoetherNormalization/html/index.html">NoetherNormalization</a>, by Bart Snapp and Nathaniel Stapleton; <a href="../../GenericInitialIdeal/html/index.html">GenericInitialIdeal</a> and <a href="../../Regularity/html/index.html">Regularity</a>, by Alexandra Seceleanu and Nathaniel Stapleton; <a href="../../InvolutiveBases/html/index.html">InvolutiveBases</a>, by Daniel Robertz; <a href="../../ChainComplexExtras/html/index.html">ChainComplexExtras</a>, by Frank Moore and Greg Smith; <a href="../../HyperplaneArrangements/html/index.html">HyperplaneArrangements</a>, by Graham Denham and Gregory G. Smith; <a href="../../LexIdeals/html/index.html">LexIdeals</a>, by Chris Francisco; <a href="../../ReesAlgebra/html/index.html">ReesAlgebra</a>, by David Eisenbud, Amelia Taylor, and Sorin Popescu; and <a href="../../TangentCone/html/index.html">TangentCone</a>, by Craig Huneke and David Eisenbud.</p>
<p>A good implementation of real and complex numbers to arbitrary precision, based on the mpfr library from <a href="http://mpfr.org/">http://mpfr.org/</a>, has been implemented. The library is remarkable for the care taken to return correctly rounded results. It is hoped that this will form a good base for experimentation with algebraic algorithms that mix symbolic and numeric techniques. Basic transcendental functions are also provided, and pi is now a symbolic constant usable in numeric expressions of any precision. An interface to lapack routines for singular value decomposition and eigenvectors is provided (but they operate only with 53 bits of precision). </p>
<p> An interface with TeXmacs has been provided, so Macaulay2 can be run with a good graphical user interface. More work remains to be done, but it is usable. </p>
<p> Documentation has been improved, with every function documented. </p>
<p> Computation of Gröbner bases over local rings has been improved. New notation QQ{x,y,z} for local rings. More precisely </p>
<p> The default (GRevLex) monomial ordering in polynomial rings whose variables don't all have degree 1 was fixed to take the degrees into account. More precisely, the ordering now uses the values obtained by scalar product of the provided heft vector with the degree vector. </p>
<p> The implementation of the Gröbner basis algorithm for polynomial rings where the multi-degrees of the variables don't all have strictly positive first component has been fixed by having it use the heft vector provided. The problem was that bases were not minimalized, and S-pairs were addressed in a non-optimal order. (The total Ext functor Ext(M,N) used this facility and was returning wrong answers.) </p>
<p> A bug in division (f//g) resulting in incorrect answers over quotient rings was fixed. </p>
<p>A bug in <a href="_trim.html" title="minimize generators and relations">trim</a> and <a href="_mingens.html" title="minimal generator matrix">mingens</a> resulting in incorrect answers was fixed.</p>
<p> A bug in computation of the Gröbner basis of an exterior algebra over Z was fixed. </p>
<p>A bug in fraction division was fixed. Fraction field code now checks for non-units in many more places. For rings that have been declared by the user to be fields, and yet are not fields, attempting to divide by a non-unit results in an error, and sets a value so that the function <a href="_get__Non__Unit.html" title="retrieve a previously discovered non-unit">getNonUnit</a> returns that value.</p>
<p> The Gröbner basis routine can now handle large monomial ideals without a stack overflow. </p>
<p>The function <a href="_monomial__Ideal.html" title="make a monomial ideal">monomialIdeal</a>, over polynomial rings over <a href="___Z__Z.html" title="the class of all integers">ZZ</a>, now incorporates leading monomials with nonzero coefficients. Formerly the coefficients had to be units.</p>
<p> Codimension (and dimension) computations over polynomial rings over Z work once again. </p>
<p> The speed of computation of projective resolutions when the first components of the degrees of the variables are not necesarily positive has been improved. </p>
<p> The interpreter has been fixed so it more often detects extreme recursion; one case was omitted that allowed the machine stack to overflow with a segmenation fault. </p>
<p> The function "betti" now returns a new type of object of class BettiTally, which can be manipulated with the operations that can manipulate chain complexes. </p>
<p>Support for utf-8 encoding of unicode characters in strings provided via <a href="_utf8.html" title="encode and decode unicode utf-8-encoded strings">utf8</a>.</p>
<p>A new function <a href="_scan__Lines.html" title="apply a function to each line of a file">scanLines</a> can be used for reading a big file one line at a time.</p>
<p>A new format for multi-line block comments is {* ... *}.</p>
<p>M2 can now be run with script files by using</p>
<pre> #! /usr/bin/M2 --script</pre>
<p>as the first line of the script file.</p>
<p> Under Microsoft Windows, the links in the html form of the documentation now work in such a way that browsers can follow them, and viewHelp now works (if it finds firefox). </p>
<p>Here are the functions added to the Core package since 0.9.95: <a href="_acosh.html" title="inverse hyperbolic cosine">acosh</a>, <a href="_acot.html" title="compute the inverse cotangent">acot</a>, <a href="_agm.html" title="arithmetic-geometric mean">agm</a>, <a href="_ancestors.html" title="the ancestors of something">ancestors</a>, <a href="_asinh.html" title="inverse hyperbolic sine">asinh</a>, <a href="_atan2_lp__R__R_cm__R__R_rp.html" title="compute an angle of a certain triangle">atan2</a>, <a href="___Bessel__J.html" title="Bessel function of the first kind">BesselJ</a>, <a href="___Bessel__Y.html" title="Bessel function of the second kind">BesselY</a>, <a href="_clean.html" title="Set to zero elements that are approximately zero">clean</a>, <a href="_commonest.html" title="the most common elements of a list or tally">commonest</a>, <a href="_common__Ring.html" title="find smallest containing ring">commonRing</a>, <a href="_cot.html" title="cotangent">cot</a>, <a href="_coth.html" title="hyperbolic cotangent">coth</a>, <a href="_cpu__Time.html" title="seconds of cpu time used since Macaulay2 began">cpuTime</a>, <a href="_csc.html" title="cosecant">csc</a>, <a href="_csch.html" title="hyperbolic cosecant">csch</a>, <a href="_debug__Error.html" title="a function to debug">debugError</a>, <a href="_default.html" title="default member of a family">default</a>, <a href="_eint.html" title="exponential integral">eint</a>, <a href="_erf.html" title="error function">erf</a>, <a href="_erfc.html" title="complementary error function">erfc</a>, <a href="_expm1.html" title="exponential minus 1">expm1</a>, <a href="_fill__Matrix.html" title="fill a mutable matrix with random numbers">fillMatrix</a>, <a href="___Gamma.html" title="Gamma function">Gamma</a>, <a href="_gb__Remove.html" title="remove Gröbner basis">gbRemove</a>, <a href="_gb__Snapshot.html" title="the Gröbner basis matrix as so far computed">gbSnapshot</a>, <a href="_get__Symbol.html" title="make a global symbol from a string">getSymbol</a>, <a href="_global__Assign.html" title="global assignment, in function form">globalAssign</a>, <a href="_http__Headers_lp__String_rp.html" title="prepend http headers to a string">httpHeaders</a>, <a href="_install__Hilbert__Function.html" title="install a Hilbert function without computation">installHilbertFunction</a>, <a href="_instances_lp__Type_rp.html" title="">instances</a>, <a href="_is__A__Number.html" title="whether a number is a number">isANumber</a>, <a href="_is__Finite.html" title="whether a number is finite">isFinite</a>, <a href="_is__Infinite.html" title="whether a number is infinite">isInfinite</a>, <a href="_is__Real.html" title="whether a number is real">isReal</a>, <a href="_lngamma.html" title="logarithm of the Gamma function">lngamma</a>, <a href="_log1p.html" title="logarithm of 1+x">log1p</a>, <a href="___L__Udecomposition.html" title="LU decomposition">LUdecomposition</a>, <a href="_marked__G__B_lp__Matrix_cm__Matrix_rp.html" title="make a marked Gröbner basis">markedGB</a>, <a href="_norm.html" title="">norm</a>, <a href="_open__Out__Append_lp__String_rp.html" title="open an output file for appending">openOutAppend</a>, <a href="_parts_lp__Ring__Element_rp.html" title="display a polynomial degree by degree">parts</a>, <a href="_powermod.html" title="powers of integers mod N">powermod</a>, <a href="_scan__Lines.html" title="apply a function to each line of a file">scanLines</a>, <a href="_sec.html" title="secant">sec</a>, <a href="_sech.html" title="hyperbolic secant">sech</a>, <a href="_see__Parsing.html" title="display parsing precedence table for Macaulay2 operators">seeParsing</a>, <a href="_setup__Emacs.html" title="">setupEmacs</a>, <a href="_size2.html" title="number of binary digits to the left of the point">size2</a>, <a href="_to__C__C.html" title="convert to high-precision complex number">toCC</a>, <a href="_to__R__R.html" title="convert to high-precision real number">toRR</a>, <a href="_utf8.html" title="encode and decode unicode utf-8-encoded strings">utf8</a>, <a href="___Wikipedia_lp__String_rp.html" title="link to a Wikipedia entry">Wikipedia</a>, and <a href="_zeta.html" title="Riemann zeta function">zeta</a>.</p>
<p> Compilation of Macaulay2 from source has been improved. Needed third party libraries will now be downloaded and compiled automatically if they are not already provided. </p>
<p> More tests have been added (to verify, after compilation, that M2 is working as expected). </p>
</div>
</div>
</body>
</html>
