PiCoercions(R)

expr.spad line 1143 [edit on github]

• R : Join(Comparable, IntegralDomain)

Provides a coercion from the symbolic fractions in %pi with integer coefficients to any Expression type. Date Created: 21 Feb 1990

coerce : PiDomain -> Expression(R)

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