<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Created by texi2html, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Singular 2-0-4 Manual: D.6.2 ainvar_lib</title>

<meta name="description" content="Singular 2-0-4 Manual: D.6.2 ainvar_lib">
<meta name="keywords" content="Singular 2-0-4 Manual: D.6.2 ainvar_lib">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smalllisp {margin-left: 3.2em}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:pre}
span.nolinebreak {white-space:pre}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
-->
</style>


</head>

<body lang="en"  background="../singular_images/Mybg.png">

<a name="ainvar_005flib"></a>
<table border="0" cellpadding="0" cellspacing="0">
<tr valign="top">
<td align="left">
<table class="header" cellpadding="1" cellspacing="1" border="0">
<tr valign="top" align="left">
<td valign="middle" align="left">  <a href="index.htm"><img
    src="../singular_images/singular-icon-transparent.png" width="50"
      border="0" alt="Top"></a>
</td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="image_005fof_005fvariety.html#image_005fof_005fvariety" title="Previous section in reading order"><img src="../singular_images/a_left.png" border="0" alt="Back: D.6.1.31 image_of_variety" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="invariantRing.html#invariantRing" title="Next section in reading order"><img src="../singular_images/a_right.png" border="0" alt="Forward: D.6.2.1 invariantRing" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="SINGULAR-libraries.html#SINGULAR-libraries" title="Beginning of this chapter or previous chapter"><img src="../singular_images/a_leftdouble.png" border="0" alt="FastBack: Appendix D SINGULAR libraries" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="Release-Notes.html#Release-Notes" title="Next chapter"><img src="../singular_images/a_rightdouble.png" border="0" alt="FastForward: E Release Notes" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="Invariant-theory.html#Invariant-theory" title="Up section"><img src="../singular_images/a_up.png" border="0" alt="Up: D.6 Invariant theory" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="index.htm#Preface" title="Cover (top) of document"><img src="../singular_images/a_top.png" border="0" alt="Top: 1 Preface" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="sing_toc.htm#SEC_Contents" title="Table of contents"><img src="../singular_images/a_tableofcon.png" border="0" alt="Contents: Table of Contents" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="Index.html#Index" title="Index"><img src="../singular_images/a_index.png" border="0" alt="Index: F Index" align="middle"></a></td>
</tr>
<tr valign="top" align="left">
<td valign="middle" align="left"><a href="sing_abt.htm#SEC_About" title="About (help)"><img src="../singular_images/a_help.png" border="0" alt="About: About This Document" align="middle"></a></td>
</tr>
</table>
</td>
<td align="left">
<a name="ainvar_005flib-1"></a>
<h3 class="subsection">D.6.2 ainvar_lib</h3>
<a name="index-ainvar_002elib"></a>
<a name="index-ainvar_005flib"></a>
<dl compact="compact">
<dt><strong>Library:</strong></dt>
<dd><p>ainvar.lib
</p></dd>
<dt><strong>Purpose:</strong></dt>
<dd><p>    Invariant Rings of the Additive Group
</p></dd>
<dt><strong>Authors:</strong></dt>
<dd><p>Gerhard Pfister (email: pfister@mathematik.uni-kl.de),
Gert-Martin Greuel (email: greuel@mathematik.uni-kl.de)
</p>
</dd>
</dl>

<p><strong>Procedures:</strong>
</p><blockquote><table class="menu" border="0" cellspacing="0">
<tr><td align="left" valign="top"><a href="invariantRing.html#invariantRing">D.6.2.1 invariantRing</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> compute ring of invariants of (K,+)-action given by m
</td></tr>
<tr><td align="left" valign="top"><a href="derivate.html#derivate">D.6.2.2 derivate</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> derivation of f with respect to the vector field m
</td></tr>
<tr><td align="left" valign="top"><a href="actionIsProper.html#actionIsProper">D.6.2.3 actionIsProper</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> tests whether action defined by m is proper
</td></tr>
<tr><td align="left" valign="top"><a href="reduction.html#reduction">D.6.2.4 reduction</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> SAGBI reduction of p in the subring generated by I
</td></tr>
<tr><td align="left" valign="top"><a href="completeReduction.html#completeReduction">D.6.2.5 completeReduction</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> complete SAGBI reduction
</td></tr>
<tr><td align="left" valign="top"><a href="localInvar.html#localInvar">D.6.2.6 localInvar</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> invariant polynomial under m computed from p,...
</td></tr>
<tr><td align="left" valign="top"><a href="furtherInvar.html#furtherInvar">D.6.2.7 furtherInvar</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> compute further invariants of m from the given ones
</td></tr>
<tr><td align="left" valign="top"><a href="sortier.html#sortier">D.6.2.8 sortier</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top"> sorts generators of id by increasing leading terms
</td></tr>
</table></blockquote>

</td>
</tr>
</table>
<hr>
<table class="header" cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">  <a href="index.htm"><img
    src="../singular_images/singular-icon-transparent.png" width="50"
      border="0" alt="Top"></a>
</td>
<td valign="middle" align="left"><a href="image_005fof_005fvariety.html#image_005fof_005fvariety" title="Previous section in reading order"><img src="../singular_images/a_left.png" border="0" alt="Back: D.6.1.31 image_of_variety" align="middle"></a></td>
<td valign="middle" align="left"><a href="invariantRing.html#invariantRing" title="Next section in reading order"><img src="../singular_images/a_right.png" border="0" alt="Forward: D.6.2.1 invariantRing" align="middle"></a></td>
<td valign="middle" align="left"><a href="SINGULAR-libraries.html#SINGULAR-libraries" title="Beginning of this chapter or previous chapter"><img src="../singular_images/a_leftdouble.png" border="0" alt="FastBack: Appendix D SINGULAR libraries" align="middle"></a></td>
<td valign="middle" align="left"><a href="Release-Notes.html#Release-Notes" title="Next chapter"><img src="../singular_images/a_rightdouble.png" border="0" alt="FastForward: E Release Notes" align="middle"></a></td>
<td valign="middle" align="left"><a href="Invariant-theory.html#Invariant-theory" title="Up section"><img src="../singular_images/a_up.png" border="0" alt="Up: D.6 Invariant theory" align="middle"></a></td>
<td valign="middle" align="left"><a href="index.htm#Preface" title="Cover (top) of document"><img src="../singular_images/a_top.png" border="0" alt="Top: 1 Preface" align="middle"></a></td>
<td valign="middle" align="left"><a href="sing_toc.htm#SEC_Contents" title="Table of contents"><img src="../singular_images/a_tableofcon.png" border="0" alt="Contents: Table of Contents" align="middle"></a></td>
<td valign="middle" align="left"><a href="Index.html#Index" title="Index"><img src="../singular_images/a_index.png" border="0" alt="Index: F Index" align="middle"></a></td>
<td valign="middle" align="left"><a href="sing_abt.htm#SEC_About" title="About (help)"><img src="../singular_images/a_help.png" border="0" alt="About: About This Document" align="middle"></a></td>
</tr></table>
<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
