Lines Matching refs:seq_coeff
583 pword *seq_mono, *seq_var, seq_coeff;
594 Make_Integer(&seq_coeff, 0);
640 seq_coeff = *cur_coeff;
651 seq_coeff.val, seq_coeff.tag, &seq_coeff, ARITH_ADD);
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)
703 pw[OFF_CONST] = seq_coeff;
719 seq_coeff = *cur_coeff;