add claim_polynomials function here.

[recmo]

On 2020-05-11 @z2trillion wrote in ae65587 “Mason/claim polynomial (#690)”:

add claim_polynomials function here.

    /// can be set.
    fn polynomial_size(&self) -> usize;

    fn constraints(&self, claim: &Self::Claim) -> Vec<RationalExpression>;

    // TODO: add claim_polynomials function here.

    fn trace<P: PolynomialWriter>(&self, trace: &mut P, witness: &Self::Witness);

    /// Construct a trace table
    fn trace_table(&self, witness: &Self::Witness) -> TraceTable {

From crypto/stark/src/component/mod.rs:67