Kernel/src/bip_arith.c

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;