Lines Matching refs:val
145 result.val.nint = x.nint + 1;
154 result.val.nint = y.nint - 1;
391 && result.val.nint == 0);
416 in_list.val = vin;
423 new_coeff.val.nint = 0;
428 pw = curr_tail->val.ptr;
432 pw = pw->val.ptr;
441 err = bin_arith_op(pcoeff->val, pcoeff->tag,
442 new_coeff.val, new_coeff.tag, &new_coeff, ARITH_ADD);
447 if (p_is_zero(new_coeff.val, new_coeff.tag) == PSUCCEED)
458 pw[OFF_C].val.nint = 0;
460 pw[OFF_V].val.ptr = curr_var;
476 pw[OFF_V].val.ptr = curr_var;
491 err = bin_arith_op(pcoeff->val, pcoeff->tag,
492 pvar->val, pvar->tag, &product, ARITH_MUL);
494 err = bin_arith_op(product.val, product.tag,
495 new_coeff.val, new_coeff.tag, &new_coeff, ARITH_ADD);
501 if (p_is_zero(new_coeff.val, new_coeff.tag) == PSUCCEED)
512 pw[OFF_C].val.nint = 0;
514 pw[OFF_V].val.ptr = curr_var;
530 pw[OFF_V].val.ptr = curr_var;
543 Request_Unify_Pw(vout, tout, out_list.val, out_list.tag);
544 Request_Unify_Pw(vzero, tzero, zero_list.val, zero_list.tag);
590 in_list.val = vin;
607 pword *pw = in_tail->val.ptr;
618 cur_mono = pw->val.ptr;
619 if (cur_mono->val.did != d_.times)
636 if (!const_seen && IsInteger(cur_var->tag) && cur_var->val.nint==1)
647 err = bin_arith_op(cur_coeff->val, cur_coeff->tag,
648 cur_var->val, cur_var->tag, &product, ARITH_MUL);
650 err = bin_arith_op(product.val, product.tag,
651 seq_coeff.val, seq_coeff.tag, &seq_coeff, ARITH_ADD);
660 err = bin_arith_op(cur_coeff->val, cur_coeff->tag,
661 seq_coeff.val, seq_coeff.tag, &seq_coeff, ARITH_ADD);
679 if (seq_var != &unit_var && p_is_zero(seq_coeff.val, seq_coeff.tag) == PSUCCEED)
701 pw->val.did = d_.times;
726 Return_Unify_Pw(vout, tout, out_list.val, out_list.tag);
789 Request_Unify_Pw(s, ts, res1.val, res1.tag);
790 Request_Unify_Pw(t, tt, res2.val, res2.tag);
791 Request_Unify_Pw(g, tg, res3.val, res3.tag);
949 err = tag_desc[TagType(t1)].coerce_to[TRAT](v1, &result.val);
972 err = tag_desc[TagType(t1)].coerce_to[TBIG](v1, &result.val);
986 err = tag_desc[TagType(t1)].coerce_to[TIVL](v1, &result.val);
998 err = tag_desc[TagType(t1)].coerce_to[TagType(result.tag)](v1, &result.val);
1088 err = _int_pow(v1.nint, (uword) v2.nint, &result.val.nint);
1140 Return_Unify_Pw(v, t, result.val, result.tag);
1165 result.val.nint = v1.nint << v2.nint;
1166 if (result.val.nint >> v2.nint != v1.nint)
1172 result.val.nint = v1.nint >> BITS_PER_WORD-1;
1174 result.val.nint = v1.nint >> -v2.nint;
1221 result.val.nint = v1.nint >> BITS_PER_WORD-1;
1223 result.val.nint = v1.nint >> v2.nint;
1229 result.val.nint = v1.nint << -v2.nint;
1230 if (result.val.nint >> -v2.nint != v1.nint)
1398 pres->val.ptr = TG;
1400 to = (word *) BufferStart(pres->val.ptr);
1436 Return_Unify_Pw(v, t, result.val, result.tag);
1569 pres->val.all = v1.all; /* double or pointer */
1747 return BufferStart(pw1)->val.all == BufferStart(pw2)->val.all;
1749 return BufferStart(pw1)->val.all == BufferStart(pw2)->val.all
1782 pres->val.all = PedanticLess(d1,d2) ? v1.all : v2.all;
1792 pres->val.all = PedanticGreater(d1,d2) ? v1.all : v2.all;
1838 pres->val.all = v1.all;