home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / JAVA_UTL / HYPERPRO / SRC / PVS / UTILS / MATHEXT.JAV < prev    next >
Encoding:
Text File  |  1996-09-14  |  2.1 KB  |  69 lines
  1. package PVS.Utils;
  2. //
  3. // Copyright (C) 1996 by Vladimir Bulatov <V.Bulatov@ic.ac.uk>.  
  4. //        All rights reserved.
  5. //
  6. // Redistribution and use in source and binary forms, with or without
  7. // modification, are permitted provided that the following conditions
  8. // are met:
  9. // 1. Redistributions of source code must retain the above copyright
  10. //    notice, this list of conditions and the following disclaimer.
  11. // 2. Redistributions in binary form must reproduce the above copyright
  12. //    notice, this list of conditions and the following disclaimer in the
  13. //    documentation and/or other materials provided with the distribution.
  14. //
  15. // THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  16. // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  18. // ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  19. // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  21. // OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  22. // HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  23. // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  24. // OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  25. // SUCH DAMAGE.
  26.  
  27. public class MathExt{
  28.  
  29.   /**
  30.     returns hyperbolic tangence
  31.    */
  32.  
  33.   public static double tanh(double x){
  34.     x = Math.exp(x); 
  35.     x *= x;
  36.     return (x-1)/(x+1);
  37.   }
  38.  
  39.   public static double cosh(double x){
  40.     double y = Math.exp(x);
  41.     return (y+1./y)/2;
  42.   }
  43.  
  44.   public static double sinh(double x){
  45.     double y = Math.exp(x);
  46.     return (y-1./y)/2;
  47.   }
  48.  
  49.   public static double atanh(double x){
  50.     return 0.5*Math.log((1+x)/(1-x));
  51.   }
  52.  
  53.   public static double acosh(double x){
  54.     return Math.log(x+Math.sqrt(x*x-1));
  55.   }
  56.  
  57.  
  58.   public static double sqr(double x){
  59.     return x*x;
  60.   }
  61.   
  62.   public static void main(String[] args){
  63.     double x = 1;
  64.     System.out.println("cosh():"+MathExt.cosh(x));
  65.     System.out.println("acosh(cosh()):"+MathExt.acosh(MathExt.cosh(x)));
  66.   }
  67. }
  68.  
  69.