
<html>


<head>


<style><!--


.hmmessage P


{


margin:0px;


padding:0px


}


body.hmmessage


{


font-size: 12pt;


font-family:新細明體


}


--></style></head>


<body class='hmmessage'><div dir='ltr'><div>Hi &nbsp;</div><div><br></div><div>i use book &nbsp;polynomial completeness in algebraic system,</div><div><br></div><div>it mentions to &nbsp;create variety &nbsp;first &nbsp;then &nbsp;it &nbsp;can &nbsp;create algebra</div><div><br></div><div><br></div><div>f(x,y,x) = &nbsp;f(x,y,y) = x</div><div>f(z,y,z) = &nbsp;f(y,y,z) = &nbsp;z</div><div><br></div><div>variety &nbsp;with &nbsp;pixley &nbsp;term &nbsp;t &nbsp;and &nbsp;t(x,t(x,y,z),y) = &nbsp;y</div><div><br></div><div>pair of equivalence relations must &nbsp;satisfy &nbsp;x*y &nbsp;= &nbsp;y*x &nbsp;this &nbsp;permute</div><div><br></div><div>i search code &nbsp;in &nbsp;agda &nbsp;standard library, there is no variety this name, &nbsp;</div><div>is &nbsp;it &nbsp;using another &nbsp;method to create algebra?</div><div><br></div><div>Regards,</div><div><br></div><div>Martin Lee</div>                                               </div></body>


</html>