<!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::LexHelper Class 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_1LexHelper.html">LexHelper</a>
</div>
</div>
<div class="contents">
<h1>polybori::groebner::LexHelper Class Reference</h1><!-- doxytag: class="polybori::groebner::LexHelper" -->
<p>
<a href="classpolybori_1_1groebner_1_1LexHelper-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 Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#e6fad7a97d548bc71e9a4c1807101c28">iterator_type</a></td></tr>
<tr><td colspan="2"><br><h2>Static Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#21be3254471faa6d6e8b1872f5033858">irreducible_lead</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> &m, const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> &strat)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#fceed0c474d4f4b1af459fa830e694f2">begin</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> &p)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#833fdd6b265766f231c6566f937b1ea2">end</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> &p)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#6a98dc11c2edd21e38065953ef089d03">nf</a> (const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> &strat, const <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> &p, const <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> &m)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#b1a2ff6d979ec2233c963ec8762d4b11">knowRestIsIrreducible</a> (const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> &it, const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> &strat)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#fcc92e853ec3b6ef278a7f6b19fbafe6">sum_range</a> (std::vector< <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> > &vec, const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> &it, const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> &end, <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> init)</td></tr>
<tr><td colspan="2"><br><h2>Static Public Attributes</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#7e2b69376536694afce90c358a9b3d3d">isDegreeOrder</a> = false</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static const bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#9641e0d7288e7601623f38fdc1c41d00">isLexicographicalOrder</a> = true</td></tr>
</table>
<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="e6fad7a97d548bc71e9a4c1807101c28"></a><!-- doxytag: member="polybori::groebner::LexHelper::iterator_type" ref="e6fad7a97d548bc71e9a4c1807101c28" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::groebner::LexHelper::iterator_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="fceed0c474d4f4b1af459fa830e694f2"></a><!-- doxytag: member="polybori::groebner::LexHelper::begin" ref="fceed0c474d4f4b1af459fa830e694f2" args="(const Polynomial &p)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> polybori::groebner::LexHelper::begin </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, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00960">polybori::BoolePolynomial::begin()</a>.</p>
</div>
</div><p>
<a class="anchor" name="833fdd6b265766f231c6566f937b1ea2"></a><!-- doxytag: member="polybori::groebner::LexHelper::end" ref="833fdd6b265766f231c6566f937b1ea2" args="(const Polynomial &p)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="classpolybori_1_1CGenericIter.html">Polynomial::const_iterator</a> polybori::groebner::LexHelper::end </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, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00968">polybori::BoolePolynomial::end()</a>.</p>
</div>
</div><p>
<a class="anchor" name="21be3254471faa6d6e8b1872f5033858"></a><!-- doxytag: member="polybori::groebner::LexHelper::irreducible_lead" ref="21be3254471faa6d6e8b1872f5033858" args="(const Monomial &m, const GroebnerStrategy &strat)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static bool polybori::groebner::LexHelper::irreducible_lead </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> & </td>
<td class="paramname"> <em>m</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> & </td>
<td class="paramname"> <em>strat</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00305">polybori::BooleMonomial::divisors()</a>, <a class="el" href="CDDInterface_8h_source.html#l00811">polybori::CDDInterface< CuddLikeZDD >::emptiness()</a>, <a class="el" href="BooleSet_8cc_source.html#l00306">polybori::BooleSet::expBegin()</a>, <a class="el" href="BooleSet_8cc_source.html#l00314">polybori::BooleSet::expEnd()</a>, <a class="el" href="BooleSet_8h_source.html#l00378">polybori::BooleSet::intersect()</a>, <a class="el" href="groebner__alg_8h_source.html#l00131">polybori::groebner::GroebnerStrategy::leadingTerms</a>, and <a class="el" href="groebner__alg_8h_source.html#l00156">polybori::groebner::GroebnerStrategy::optRedTailDegGrowth</a>.</p>
<p>Referenced by <a class="el" href="nf_8cc_source.html#l01206">polybori::groebner::select_no_deg_growth()</a>.</p>
</div>
</div><p>
<a class="anchor" name="b1a2ff6d979ec2233c963ec8762d4b11"></a><!-- doxytag: member="polybori::groebner::LexHelper::knowRestIsIrreducible" ref="b1a2ff6d979ec2233c963ec8762d4b11" args="(const iterator_type &it, const GroebnerStrategy &strat)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static bool polybori::groebner::LexHelper::knowRestIsIrreducible </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> & </td>
<td class="paramname"> <em>it</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> & </td>
<td class="paramname"> <em>strat</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="groebner__alg_8h_source.html#l00117">polybori::groebner::GroebnerStrategy::reducibleUntil</a>.</p>
</div>
</div><p>
<a class="anchor" name="6a98dc11c2edd21e38065953ef089d03"></a><!-- doxytag: member="polybori::groebner::LexHelper::nf" ref="6a98dc11c2edd21e38065953ef089d03" args="(const GroebnerStrategy &strat, const Polynomial &p, const Monomial &m)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> polybori::groebner::LexHelper::nf </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> & </td>
<td class="paramname"> <em>strat</em>, </td>
</tr>
<tr>
<td class="paramkey"></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>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> & </td>
<td class="paramname"> <em>m</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="nf_8cc_source.html#l00199">polybori::groebner::nf3()</a>, <a class="el" href="nf_8cc_source.html#l00260">polybori::groebner::nf3_no_deg_growth()</a>, and <a class="el" href="groebner__alg_8h_source.html#l00156">polybori::groebner::GroebnerStrategy::optRedTailDegGrowth</a>.</p>
</div>
</div><p>
<a class="anchor" name="fcc92e853ec3b6ef278a7f6b19fbafe6"></a><!-- doxytag: member="polybori::groebner::LexHelper::sum_range" ref="fcc92e853ec3b6ef278a7f6b19fbafe6" args="(std::vector< Monomial > &vec, const iterator_type &it, const iterator_type &end, Polynomial init)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static <a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> polybori::groebner::LexHelper::sum_range </td>
<td>(</td>
<td class="paramtype">std::vector< <a class="el" href="classpolybori_1_1BooleMonomial.html">Monomial</a> > & </td>
<td class="paramname"> <em>vec</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> & </td>
<td class="paramname"> <em>it</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CGenericIter.html">iterator_type</a> & </td>
<td class="paramname"> <em>end</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html">Polynomial</a> </td>
<td class="paramname"> <em>init</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="pbori__algorithms_8h_source.html#l00212">polybori::term_accumulate()</a>.</p>
</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="7e2b69376536694afce90c358a9b3d3d"></a><!-- doxytag: member="polybori::groebner::LexHelper::isDegreeOrder" ref="7e2b69376536694afce90c358a9b3d3d" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">const bool <a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#7e2b69376536694afce90c358a9b3d3d">polybori::groebner::LexHelper::isDegreeOrder</a> = false<code> [static]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9641e0d7288e7601623f38fdc1c41d00"></a><!-- doxytag: member="polybori::groebner::LexHelper::isLexicographicalOrder" ref="9641e0d7288e7601623f38fdc1c41d00" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">const bool <a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#9641e0d7288e7601623f38fdc1c41d00">polybori::groebner::LexHelper::isLexicographicalOrder</a> = true<code> [static]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="nf_8cc.html">nf.cc</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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
483
