<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="field_10.html#K3" title="FIELD_10:func.3">X^3-1</a> <a onclick="hs(this)" href="javascript:()">FIELD_10:def 2 : <br/></a><span> <a href="field_10.html#K3" title="FIELD_10:func.3">X^3-1</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> <span class="p1">(<span class="default"><span class="p2">(<span class="default"><a href="polynom3.html#K8" title="POLYNOM3:func.8">0_.</a> <a href="gaussint.html#K11" title="GAUSSINT:func.11">F_Rat</a></span>)</span> <a href="funct_7.html#K1" title="FUNCT_7:func.1">+*</a> (<a href="numbers.html#K5" title="NUMBERS:func.5">0</a>,<span class="p2">(<span class="default"><a href="xcmplx_0.html#K4" title="XCMPLX_0:func.4">-</a> 1</span>)</span>)</span>)</span> <a href="funct_7.html#K1" title="FUNCT_7:func.1">+*</a> (3,1);<br/></span></div>
