PiCoercions R

expr.spad line 1148 [edit on github]

• R: Join(Comparable, IntegralDomain)

Provides a coercion from the symbolic fractions in %pi with integer coefficients to any Expression type.

coerce: PiDomain -> Expression R

coerce(f) returns f as an Expression(R).