login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
SandBox
SandBox11  ← ↑ →  SandBox2

SandBox12_Test_Indet_and_Complex
  
last edited 11 years ago by test1

Edit detail for SandBox12_Test_Indet_and_Complex revision 3 of 4
1 2 3 4
Editor: 127.0.0.1
Time: 2007/11/28 00:04:00 GMT-8
Note: 
changed:
-sqrt(2)
-sqrt(-1)
sqrt(2) :: Float
sqrt(-1) :: Complex Float

axiom
2**0.5
\label{eq1}1.4142135623730950488(1)
Type: Float
axiom
-1**0.5
\label{eq2}-{1.0}(2)
Type: Float
axiom
sqrt(2) :: Float
\label{eq3}1.4142135623730950488(3)
Type: Float
axiom
sqrt(-1) :: Complex Float
\label{eq4}i(4)
Type: Complex(Float)
axiom
0**0
\label{eq5}1(5)
Type: PositiveInteger?
axiom
0.0**0.0

   >> Error detected within library code:
   0^0 is undefined