constantes_réelles()

constantes_réelles(b:Booléen)

annihilating_polynomial (r:Irrationnel,t:Identificateur)

rationaliser(r:RR)

simplifier_radical(r:RR)

icône

Pi_

icône

pi_

icône

E_

icône

e_

icône

racine(r:RR,n:ZZ)

racines(r:RR,n:ZZ)

icône

racine2(r:RR)racine2(r)=racine(r,2)

racines2(r:RR)racines2(r)={racine2(r), -racine2(r)}