[isabelle] Rational functions



 Hello,
 Is there a theory or a construction of rational functions in any of the
isabelle theories(either in the library or in one of the submitted
theories). If not, is there a known or an easy way to construct it from any
of the theories of polynomial functions?

Regards,
Prathamesh



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.