_xml_write_just"></A><HR><PRE><B>void sb_xml_write_just(<A HREF="strbuf.html">String_buf</A> sb, Just just, I3list map);
</B></PRE><A NAME="term_to_just"></A><HR><PRE><B>Just term_to_just(<A HREF="term.html">Term</A> lst);
</B></PRE><A NAME="unit_del_just"></A><HR><PRE><B>Just unit_del_just(Topform deleter, int literal_num);
</B></PRE>This routine builds and returns a justification list for a factorization.
<A NAME="xx_just"></A><HR><PRE><B>Just xx_just(int n);
</B></PRE>This routine builds and returns a ju