| 1 | |
|---|
| 2 | <!doctype html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
|---|
| 3 | <html><head><title>Python: module util</title> |
|---|
| 4 | </head><body bgcolor="#f0f0f8"> |
|---|
| 5 | |
|---|
| 6 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="heading"> |
|---|
| 7 | <tr bgcolor="#7799ee"> |
|---|
| 8 | <td valign=bottom> <br> |
|---|
| 9 | <font color="#ffffff" face="helvetica, arial"> <br><big><big><strong>util</strong></big></big></font></td |
|---|
| 10 | ><td align=right valign=bottom |
|---|
| 11 | ><font color="#ffffff" face="helvetica, arial"><a href=".">index</a><br><a href="file:/Users/michael/sing2/modules/python/util.py">/Users/michael/sing2/modules/python/util.py</a></font></td></tr></table> |
|---|
| 12 | <p></p> |
|---|
| 13 | <p> |
|---|
| 14 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section"> |
|---|
| 15 | <tr bgcolor="#ee77aa"> |
|---|
| 16 | <td colspan=3 valign=bottom> <br> |
|---|
| 17 | <font color="#ffffff" face="helvetica, arial"><big><strong>Classes</strong></big></font></td></tr> |
|---|
| 18 | |
|---|
| 19 | <tr><td bgcolor="#ee77aa"><tt> </tt></td><td> </td> |
|---|
| 20 | <td width="100%"><dl> |
|---|
| 21 | <dt><font face="helvetica, arial"><a href="__builtin__.html#object">__builtin__.object</a> |
|---|
| 22 | </font></dt><dd> |
|---|
| 23 | <dl> |
|---|
| 24 | <dt><font face="helvetica, arial"><a href="util.html#EquivalenceRelation">EquivalenceRelation</a> |
|---|
| 25 | </font></dt><dt><font face="helvetica, arial"><a href="util.html#chaintrans">chaintrans</a> |
|---|
| 26 | </font></dt></dl> |
|---|
| 27 | </dd> |
|---|
| 28 | </dl> |
|---|
| 29 | <p> |
|---|
| 30 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section"> |
|---|
| 31 | <tr bgcolor="#ffc8d8"> |
|---|
| 32 | <td colspan=3 valign=bottom> <br> |
|---|
| 33 | <font color="#000000" face="helvetica, arial"><a name="EquivalenceRelation">class <strong>EquivalenceRelation</strong></a>(<a href="__builtin__.html#object">__builtin__.object</a>)</font></td></tr> |
|---|
| 34 | |
|---|
| 35 | <tr bgcolor="#ffc8d8"><td rowspan=2><tt> </tt></td> |
|---|
| 36 | <td colspan=2><tt>this class represents an equivalent relation,<br> |
|---|
| 37 | which is implemented by repeated evaluatation of a map<br> |
|---|
| 38 | c[n]=m means that n is equivalent to m<br> </tt></td></tr> |
|---|
| 39 | <tr><td> </td> |
|---|
| 40 | <td width="100%">Methods defined here:<br> |
|---|
| 41 | <dl><dt><a name="EquivalenceRelation-__getitem__"><strong>__getitem__</strong></a>(self, key)</dt></dl> |
|---|
| 42 | |
|---|
| 43 | <dl><dt><a name="EquivalenceRelation-__init__"><strong>__init__</strong></a>(self)</dt></dl> |
|---|
| 44 | |
|---|
| 45 | <dl><dt><a name="EquivalenceRelation-__setitem__"><strong>__setitem__</strong></a>(self, val, key)</dt></dl> |
|---|
| 46 | |
|---|
| 47 | <dl><dt><a name="EquivalenceRelation-all_rewritings"><strong>all_rewritings</strong></a>(self, var)</dt></dl> |
|---|
| 48 | |
|---|
| 49 | <dl><dt><a name="EquivalenceRelation-canonical"><strong>canonical</strong></a>(self, var)</dt></dl> |
|---|
| 50 | |
|---|
| 51 | <dl><dt><a name="EquivalenceRelation-isCanonical"><strong>isCanonical</strong></a>(self, var)</dt></dl> |
|---|
| 52 | |
|---|
| 53 | <dl><dt><a name="EquivalenceRelation-rewrite"><strong>rewrite</strong></a>(self, a, b)</dt></dl> |
|---|
| 54 | |
|---|
| 55 | <hr> |
|---|
| 56 | Data and other attributes defined here:<br> |
|---|
| 57 | <dl><dt><strong>__dict__</strong> = <dictproxy object><dd><tt>dictionary for instance variables (if defined)</tt></dl> |
|---|
| 58 | |
|---|
| 59 | <dl><dt><strong>__weakref__</strong> = <attribute '__weakref__' of 'EquivalenceRelation' objects><dd><tt>list of weak references to the <a href="__builtin__.html#object">object</a> (if defined)</tt></dl> |
|---|
| 60 | |
|---|
| 61 | </td></tr></table> <p> |
|---|
| 62 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section"> |
|---|
| 63 | <tr bgcolor="#ffc8d8"> |
|---|
| 64 | <td colspan=3 valign=bottom> <br> |
|---|
| 65 | <font color="#000000" face="helvetica, arial"><a name="chaintrans">class <strong>chaintrans</strong></a>(<a href="__builtin__.html#object">__builtin__.object</a>)</font></td></tr> |
|---|
| 66 | |
|---|
| 67 | <tr><td bgcolor="#ffc8d8"><tt> </tt></td><td> </td> |
|---|
| 68 | <td width="100%">Methods defined here:<br> |
|---|
| 69 | <dl><dt><a name="chaintrans-__getitem__"><strong>__getitem__</strong></a>(self, key)</dt></dl> |
|---|
| 70 | |
|---|
| 71 | <dl><dt><a name="chaintrans-__init__"><strong>__init__</strong></a>(self, chain, full)</dt></dl> |
|---|
| 72 | |
|---|
| 73 | <dl><dt><a name="chaintrans-__str__"><strong>__str__</strong></a>(self)</dt></dl> |
|---|
| 74 | |
|---|
| 75 | <dl><dt><a name="chaintrans-insert"><strong>insert</strong></a>(self, key)</dt></dl> |
|---|
| 76 | |
|---|
| 77 | <hr> |
|---|
| 78 | Data and other attributes defined here:<br> |
|---|
| 79 | <dl><dt><strong>__dict__</strong> = <dictproxy object><dd><tt>dictionary for instance variables (if defined)</tt></dl> |
|---|
| 80 | |
|---|
| 81 | <dl><dt><strong>__weakref__</strong> = <attribute '__weakref__' of 'chaintrans' objects><dd><tt>list of weak references to the <a href="__builtin__.html#object">object</a> (if defined)</tt></dl> |
|---|
| 82 | |
|---|
| 83 | </td></tr></table></td></tr></table><p> |
|---|
| 84 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section"> |
|---|
| 85 | <tr bgcolor="#eeaa77"> |
|---|
| 86 | <td colspan=3 valign=bottom> <br> |
|---|
| 87 | <font color="#ffffff" face="helvetica, arial"><big><strong>Functions</strong></big></font></td></tr> |
|---|
| 88 | |
|---|
| 89 | <tr><td bgcolor="#eeaa77"><tt> </tt></td><td> </td> |
|---|
| 90 | <td width="100%"><dl><dt><a name="-create_ring"><strong>create_ring</strong></a>(char<font color="#909090">=0</font>, nvars<font color="#909090">=1</font>, varNames<font color="#909090">=None</font>, ordering<font color="#909090">='dp'</font>, degvec<font color="#909090">=None</font>)</dt></dl> |
|---|
| 91 | </td></tr></table><p> |
|---|
| 92 | <table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section"> |
|---|
| 93 | <tr bgcolor="#55aa55"> |
|---|
| 94 | <td colspan=3 valign=bottom> <br> |
|---|
| 95 | <font color="#ffffff" face="helvetica, arial"><big><strong>Data</strong></big></font></td></tr> |
|---|
| 96 | |
|---|
| 97 | <tr><td bgcolor="#55aa55"><tt> </tt></td><td> </td> |
|---|
| 98 | <td width="100%"><strong>oldrings</strong> = []<br> |
|---|
| 99 | <strong>singular</strong> = <interpreter.SingularGlobalsProxy object></td></tr></table> |
|---|
| 100 | </body></html> |
|---|
