<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> <title>PolyBoRi: polybori::groebner::SlimgbReduction< variant > Class Template Reference</title> <link href="tabs.css" rel="stylesheet" type="text/css"> <link href="doxygen.css" rel="stylesheet" type="text/css"> </head><body> <!-- Generated by Doxygen 1.5.9 --> <div class="navigation" id="top"> <div class="tabs"> <ul> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="namespacepolybori_1_1groebner.html">groebner</a>::<a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">SlimgbReduction</a> </div> </div> <div class="contents"> <h1>polybori::groebner::SlimgbReduction< variant > Class Template Reference</h1><!-- doxytag: class="polybori::groebner::SlimgbReduction" --><code>#include <<a class="el" href="nf_8h_source.html">nf.h</a>></code> <p> <p> <a href="classpolybori_1_1groebner_1_1SlimgbReduction-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0"> <tr><td></td></tr> <tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#39d87a3ec05d5412707872bf314cb07f">SlimgbReduction</a> (<a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> &strat)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#b7d90fe03d6f3e63d7ff594c73252d7a">SlimgbReduction</a> ()</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#64ca9d3c6a2bef26a1f00ff193c8e96f">addPolynomial</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> &p)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#719a8c15e8d49a81732aedd7e24eb037">reduce</a> ()</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#850a195fb303a6c07f470f252f25ab5d">nextResult</a> ()</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<> </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#005e9987a4b4b2f5f3382bf2bf10b17f">reduce</a> ()</td></tr> <tr><td colspan="2"><br><h2>Public Attributes</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">std::vector< <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#1307e382b319edb3247a47ccc626a421">result</a></td></tr> </table> <h3>template<int variant><br> class polybori::groebner::SlimgbReduction< variant ></h3> <hr><h2>Constructor & Destructor Documentation</h2> <a class="anchor" name="39d87a3ec05d5412707872bf314cb07f"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::SlimgbReduction" ref="39d87a3ec05d5412707872bf314cb07f" args="(GroebnerStrategy &strat)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::<a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">SlimgbReduction</a> </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> & </td> <td class="paramname"> <em>strat</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="b7d90fe03d6f3e63d7ff594c73252d7a"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::SlimgbReduction" ref="b7d90fe03d6f3e63d7ff594c73252d7a" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::<a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">SlimgbReduction</a> </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <hr><h2>Member Function Documentation</h2> <a class="anchor" name="64ca9d3c6a2bef26a1f00ff193c8e96f"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::addPolynomial" ref="64ca9d3c6a2bef26a1f00ff193c8e96f" args="(const Polynomial &p)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname">void <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::addPolynomial </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> & </td> <td class="paramname"> <em>p</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">polybori::BoolePolynomial::isZero()</a>.</p> </div> </div><p> <a class="anchor" name="850a195fb303a6c07f470f252f25ab5d"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::nextResult" ref="850a195fb303a6c07f470f252f25ab5d" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::nextResult </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="nf_8h_source.html#l00047">polybori::groebner::SlimgbReduction< variant >::result</a>.</p> </div> </div><p> <a class="anchor" name="005e9987a4b4b2f5f3382bf2bf10b17f"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::reduce" ref="005e9987a4b4b2f5f3382bf2bf10b17f" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<> </div> <table class="memname"> <tr> <td class="memname">void <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< <a class="el" href="namespacepolybori_1_1groebner.html#bfc5c220c81554c341bb6f77461509d6">SLIMGB_SIMPLEST</a> >::reduce </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">polybori::BoolePolynomial::isZero()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00619">polybori::BoolePolynomial::lead()</a>, <a class="el" href="nf_8h_source.html#l00047">polybori::groebner::SlimgbReduction< variant >::result</a>, and <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>.</p> </div> </div><p> <a class="anchor" name="719a8c15e8d49a81732aedd7e24eb037"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::reduce" ref="719a8c15e8d49a81732aedd7e24eb037" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname">void <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::reduce </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <hr><h2>Member Data Documentation</h2> <a class="anchor" name="1307e382b319edb3247a47ccc626a421"></a><!-- doxytag: member="polybori::groebner::SlimgbReduction::result" ref="1307e382b319edb3247a47ccc626a421" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<int variant> </div> <table class="memname"> <tr> <td class="memname">std::vector<<a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a>> <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction</a>< variant >::<a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#1307e382b319edb3247a47ccc626a421">result</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <p>Referenced by <a class="el" href="nf_8h_source.html#l00063">polybori::groebner::SlimgbReduction< variant >::nextResult()</a>, and <a class="el" href="nf_8cc_source.html#l00457">polybori::groebner::SlimgbReduction< variant >::reduce()</a>.</p> </div> </div><p> <hr>The documentation for this class was generated from the following file:<ul> <li><a class="el" href="nf_8h_source.html">nf.h</a></ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:04 2009 for PolyBoRi by <a href="http://www.doxygen.org/index.html"> <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address> </body> </html>