I would like to be able to give the degree of the polynomial that bounds the function call and the output size
like for example
./bin/faustml -a -poly prog.ml
> output size is smaller than a polynomial of degree 4
> function calls are bounded by a polynomial of degree 6
This require more investigation to extract the polynomial from the proof and see how we can find it in the implementation
I would like to be able to give the degree of the polynomial that bounds the function call and the output size
like for example
This require more investigation to extract the polynomial from the proof and see how we can find it in the implementation