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