1
2
real_constants
(
)
real_constants
(
b:
Boolean
)
annihilating_polynomial
(
r:
Irrational
,t:
Identifier
)
rationalize
(
r:RR
)
simplify_radical
(
r:RR
)
Icon
Pi_
Icon
pi_
Icon
E_
Icon
e_
Icon
root
(
r:RR,n:ZZ
)
roots
(
r:RR,n:ZZ
)
Icon
sqrt
(
r:RR
)
sqrt(r)=root(r,2)
sqrts
(
r:RR
)
sqrts
(r)={sqrt(r), -sqrt(r)}
Irrational
powered by
WIRIS
©2003 maths for more sl. All rights reserved.
Legal notice