axiom sqrt(15.0)
Type: Float
axiom digits(1000)
Type: PositiveInteger
axiom sqrt(15.0)
Type: Float
axiom sqrt(128)
Type: AlgebraicNumber
axiom sqrt(5*5-3*3)
Type: AlgebraicNumber
axiom sqrt(27)+2*sqrt(3)
Type: AlgebraicNumber
axiom (3*sqrt(2)-4)^2
Type: AlgebraicNumber
axiom (15+2*sqrt(3))/(sqrt(3))
Type: AlgebraicNumber
axiom (5*sqrt(3))/(5*sqrt(3)+3*sqrt(5))
Type: AlgebraicNumber
axiom simplify(sqrt(12*x^3*z^6*y))
Type: Expression Integer
|
