RealNormalizationUtilities(R, F)

intpar.spad line 1 [edit on github]

• R : Join(GcdDomain, Comparable, CharacteristicZero, PolynomialFactorizationExplicit, RetractableTo(Integer), LinearlyExplicitOver(Integer))
• F : Join(TranscendentalFunctionCategory, PrimitiveFunctionCategory, AlgebraicallyClosedFunctionSpace(R))

This package tries to rewrite an expression in real form preserving its value.

try_real : (F, Symbol) -> F