direct_fkt(C *dest, nat n2, nat n3) | fkt_package< V > | [inline, static] |
direct_fkt_step(C *dest, nat n) | fkt_package< V > | [inline, static] |
inverse_fkt(C *dest, nat n3, nat n2) | fkt_package< V > | [inline, static] |
inverse_fkt_step(C *dest, nat n, nat l) | fkt_package< V > | [inline, static] |
Pol typedef | fkt_package< V > | |
Vec typedef | fkt_package< V > |