Searched refs:seq_coeff (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbip_arith.c583 pword *seq_mono, *seq_var, seq_coeff; local
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
[all...]

Completed in 26 milliseconds