2013-09-29 00:21:18 +04:00
|
|
|
/* j/6/cons.c
|
|
|
|
**
|
|
|
|
** This file is in the public domain.
|
|
|
|
*/
|
|
|
|
#include "all.h"
|
2014-09-04 07:10:43 +04:00
|
|
|
|
2013-09-29 00:21:18 +04:00
|
|
|
|
|
|
|
/* functions
|
|
|
|
*/
|
2014-09-06 00:13:24 +04:00
|
|
|
u3_noun
|
|
|
|
u3_cqf_cons(
|
|
|
|
u3_noun vur,
|
|
|
|
u3_noun sed)
|
2013-09-29 00:21:18 +04:00
|
|
|
{
|
2014-09-06 00:13:24 +04:00
|
|
|
u3_noun p_vur, p_sed;
|
2013-09-29 00:21:18 +04:00
|
|
|
|
2014-09-06 00:13:24 +04:00
|
|
|
if ( u3_yes == u3_cr_p(vur, 1, &p_vur) &&
|
|
|
|
u3_yes == u3_cr_p(sed, 1, &p_sed) ) {
|
|
|
|
return u3nt(1,
|
|
|
|
u3k(p_vur),
|
|
|
|
u3k(p_sed));
|
2013-09-29 00:21:18 +04:00
|
|
|
}
|
2014-09-06 00:13:24 +04:00
|
|
|
else if ( u3_yes == u3_cr_p(vur, 0, &p_vur) &&
|
|
|
|
u3_yes == u3_cr_p(sed, 0, &p_sed) &&
|
|
|
|
!(u3_yes == u3_cr_sing(1, p_vur)) &&
|
|
|
|
!(u3_yes == u3_cr_sing(p_vur, p_sed)) &&
|
|
|
|
(0 == u3_cr_nord(p_vur, p_sed)) )
|
2013-09-29 00:21:18 +04:00
|
|
|
{
|
2014-09-06 00:13:24 +04:00
|
|
|
u3_atom fub = u3_cqa_div(p_vur, 2);
|
|
|
|
u3_atom nof = u3_cqa_div(p_sed, 2);
|
2013-09-29 00:21:18 +04:00
|
|
|
|
2014-09-06 00:13:24 +04:00
|
|
|
if ( u3_yes == u3_cr_sing(fub, nof) ) {
|
|
|
|
u3z(nof);
|
2013-09-29 00:21:18 +04:00
|
|
|
|
2014-09-06 00:13:24 +04:00
|
|
|
return u3nc(0, fub);
|
2013-09-29 00:21:18 +04:00
|
|
|
}
|
|
|
|
else {
|
2014-09-06 00:13:24 +04:00
|
|
|
u3z(fub);
|
|
|
|
u3z(nof);
|
2013-09-29 00:21:18 +04:00
|
|
|
}
|
|
|
|
}
|
2014-09-06 00:13:24 +04:00
|
|
|
return u3nc(u3k(vur), u3k(sed));
|
2013-09-29 00:21:18 +04:00
|
|
|
}
|
2014-09-06 00:13:24 +04:00
|
|
|
u3_noun
|
|
|
|
u3_cwf_cons(
|
|
|
|
u3_noun cor)
|
2013-09-29 00:21:18 +04:00
|
|
|
{
|
2014-09-06 00:13:24 +04:00
|
|
|
u3_noun vur, sed;
|
2013-09-29 00:21:18 +04:00
|
|
|
|
2014-09-06 00:13:24 +04:00
|
|
|
if ( u3_no == u3_cr_mean(cor, u3_cv_sam_2, &vur, u3_cv_sam_3, &sed, 0) ) {
|
|
|
|
return u3_cm_bail(c3__fail);
|
2013-09-29 00:21:18 +04:00
|
|
|
} else {
|
2014-09-06 00:13:24 +04:00
|
|
|
return u3_cqf_cons(vur, sed);
|
2013-09-29 00:21:18 +04:00
|
|
|
}
|
|
|
|
}
|