Method nextpoint

factory/cf_eval.cc:42–48

}

void
Evaluation::nextpoint()
{
    int n = values.max();
    for ( int i = values.min(); i <= n; i++ )
        values[i] += 1;
}

void
Evaluation::setValue(int i, const CanonicalForm& f)