英文:
Coerce rat to realType im math-comp/analysis
问题
There is a way to coerce a rat into a realType using the notation %:R (from the math-comp/analysis library).
英文:
Is there a way to coerce a rat into a realType (from the math-comp/analysis library)? For example, the notation for coercing a nat is %:R.
答案1
得分: 2
根据文档，ratr 将一个rat转换为任何单位环（因此任何realType）。
英文:
According to the documentation ratr coerces a rat to any unit ring (hence any realType).
通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库，让每个人都能够通过互相帮助和分享经验来进步。
评论