# Author: karl
#  $Id: trigo.n3,v 1.2 2004/06/25 01:27:00 timbl Exp $

@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .

@forAll :x , :y , :z .

# A math test to see if it works here:

{ ("3" "5") math:sum :x } => { :x :valueOf "3 + 5" } .

# test sine, cosine, arcsine, arcosine

#3.1415926535897931 a Pi.

# test very simple
{ (0) math:asin :x } => { :x :valueOf "asin(0) = 0" } .
{ (1) math:acos :x } => { :x :valueOf "acos(1) = 0" } .


#{ (0) math:acos :x } => { :x :valueOf "acos(0) = 1.57079632679" } .
#{ (1) math:asin :x } => { :x :valueOf "asin(1) = 1.57079632679" } .
#{ (Pi) math:cos :x } => { :x :valueOf "cos(Pi) = -1" } .