build open-axiom
--Copyright The Numerical Algorithms Group Limited 1994. )clear all -- given z:=atan sqrt ((1-cos x)/(1+cos x)) -- this should generate x/2 integrate(differentiate(z,x),x) -- so should this be x/2 rootSimp(normalize(z))
54464 views
build open-axiom
--Copyright The Numerical Algorithms Group Limited 1994. )clear all -- given z:=atan sqrt ((1-cos x)/(1+cos x)) -- this should generate x/2 integrate(differentiate(z,x),x) -- so should this be x/2 rootSimp(normalize(z))