emul/src/main/java/java/lang/Math.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 30 Sep 2012 18:29:37 -0700
branchemul
changeset 84 d65b3a2fbfaf
parent 67 cc0d42d2110a
child 104 1376481f15e7
permissions -rw-r--r--
Almost compilable
jaroslav@67
     1
/*
jaroslav@67
     2
 * Copyright (c) 1994, 2011, Oracle and/or its affiliates. All rights reserved.
jaroslav@67
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jaroslav@67
     4
 *
jaroslav@67
     5
 * This code is free software; you can redistribute it and/or modify it
jaroslav@67
     6
 * under the terms of the GNU General Public License version 2 only, as
jaroslav@67
     7
 * published by the Free Software Foundation.  Oracle designates this
jaroslav@67
     8
 * particular file as subject to the "Classpath" exception as provided
jaroslav@67
     9
 * by Oracle in the LICENSE file that accompanied this code.
jaroslav@67
    10
 *
jaroslav@67
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
jaroslav@67
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jaroslav@67
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
jaroslav@67
    14
 * version 2 for more details (a copy is included in the LICENSE file that
jaroslav@67
    15
 * accompanied this code).
jaroslav@67
    16
 *
jaroslav@67
    17
 * You should have received a copy of the GNU General Public License version
jaroslav@67
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
jaroslav@67
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jaroslav@67
    20
 *
jaroslav@67
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jaroslav@67
    22
 * or visit www.oracle.com if you need additional information or have any
jaroslav@67
    23
 * questions.
jaroslav@67
    24
 */
jaroslav@67
    25
jaroslav@67
    26
package java.lang;
jaroslav@67
    27
jaroslav@67
    28
jaroslav@67
    29
/**
jaroslav@67
    30
 * The class {@code Math} contains methods for performing basic
jaroslav@67
    31
 * numeric operations such as the elementary exponential, logarithm,
jaroslav@67
    32
 * square root, and trigonometric functions.
jaroslav@67
    33
 *
jaroslav@67
    34
 * <p>Unlike some of the numeric methods of class
jaroslav@67
    35
 * {@code StrictMath}, all implementations of the equivalent
jaroslav@67
    36
 * functions of class {@code Math} are not defined to return the
jaroslav@67
    37
 * bit-for-bit same results.  This relaxation permits
jaroslav@67
    38
 * better-performing implementations where strict reproducibility is
jaroslav@67
    39
 * not required.
jaroslav@67
    40
 *
jaroslav@67
    41
 * <p>By default many of the {@code Math} methods simply call
jaroslav@67
    42
 * the equivalent method in {@code StrictMath} for their
jaroslav@67
    43
 * implementation.  Code generators are encouraged to use
jaroslav@67
    44
 * platform-specific native libraries or microprocessor instructions,
jaroslav@67
    45
 * where available, to provide higher-performance implementations of
jaroslav@67
    46
 * {@code Math} methods.  Such higher-performance
jaroslav@67
    47
 * implementations still must conform to the specification for
jaroslav@67
    48
 * {@code Math}.
jaroslav@67
    49
 *
jaroslav@67
    50
 * <p>The quality of implementation specifications concern two
jaroslav@67
    51
 * properties, accuracy of the returned result and monotonicity of the
jaroslav@67
    52
 * method.  Accuracy of the floating-point {@code Math} methods
jaroslav@67
    53
 * is measured in terms of <i>ulps</i>, units in the last place.  For
jaroslav@67
    54
 * a given floating-point format, an ulp of a specific real number
jaroslav@67
    55
 * value is the distance between the two floating-point values
jaroslav@67
    56
 * bracketing that numerical value.  When discussing the accuracy of a
jaroslav@67
    57
 * method as a whole rather than at a specific argument, the number of
jaroslav@67
    58
 * ulps cited is for the worst-case error at any argument.  If a
jaroslav@67
    59
 * method always has an error less than 0.5 ulps, the method always
jaroslav@67
    60
 * returns the floating-point number nearest the exact result; such a
jaroslav@67
    61
 * method is <i>correctly rounded</i>.  A correctly rounded method is
jaroslav@67
    62
 * generally the best a floating-point approximation can be; however,
jaroslav@67
    63
 * it is impractical for many floating-point methods to be correctly
jaroslav@67
    64
 * rounded.  Instead, for the {@code Math} class, a larger error
jaroslav@67
    65
 * bound of 1 or 2 ulps is allowed for certain methods.  Informally,
jaroslav@67
    66
 * with a 1 ulp error bound, when the exact result is a representable
jaroslav@67
    67
 * number, the exact result should be returned as the computed result;
jaroslav@67
    68
 * otherwise, either of the two floating-point values which bracket
jaroslav@67
    69
 * the exact result may be returned.  For exact results large in
jaroslav@67
    70
 * magnitude, one of the endpoints of the bracket may be infinite.
jaroslav@67
    71
 * Besides accuracy at individual arguments, maintaining proper
jaroslav@67
    72
 * relations between the method at different arguments is also
jaroslav@67
    73
 * important.  Therefore, most methods with more than 0.5 ulp errors
jaroslav@67
    74
 * are required to be <i>semi-monotonic</i>: whenever the mathematical
jaroslav@67
    75
 * function is non-decreasing, so is the floating-point approximation,
jaroslav@67
    76
 * likewise, whenever the mathematical function is non-increasing, so
jaroslav@67
    77
 * is the floating-point approximation.  Not all approximations that
jaroslav@67
    78
 * have 1 ulp accuracy will automatically meet the monotonicity
jaroslav@67
    79
 * requirements.
jaroslav@67
    80
 *
jaroslav@67
    81
 * @author  unascribed
jaroslav@67
    82
 * @author  Joseph D. Darcy
jaroslav@67
    83
 * @since   JDK1.0
jaroslav@67
    84
 */
jaroslav@67
    85
jaroslav@67
    86
public final class Math {
jaroslav@67
    87
jaroslav@67
    88
    /**
jaroslav@67
    89
     * Don't let anyone instantiate this class.
jaroslav@67
    90
     */
jaroslav@67
    91
    private Math() {}
jaroslav@67
    92
jaroslav@67
    93
    /**
jaroslav@67
    94
     * The {@code double} value that is closer than any other to
jaroslav@67
    95
     * <i>e</i>, the base of the natural logarithms.
jaroslav@67
    96
     */
jaroslav@67
    97
    public static final double E = 2.7182818284590452354;
jaroslav@67
    98
jaroslav@67
    99
    /**
jaroslav@67
   100
     * The {@code double} value that is closer than any other to
jaroslav@67
   101
     * <i>pi</i>, the ratio of the circumference of a circle to its
jaroslav@67
   102
     * diameter.
jaroslav@67
   103
     */
jaroslav@67
   104
    public static final double PI = 3.14159265358979323846;
jaroslav@67
   105
jaroslav@67
   106
    /**
jaroslav@67
   107
     * Returns the trigonometric sine of an angle.  Special cases:
jaroslav@67
   108
     * <ul><li>If the argument is NaN or an infinity, then the
jaroslav@67
   109
     * result is NaN.
jaroslav@67
   110
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
   111
     * same sign as the argument.</ul>
jaroslav@67
   112
     *
jaroslav@67
   113
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   114
     * Results must be semi-monotonic.
jaroslav@67
   115
     *
jaroslav@67
   116
     * @param   a   an angle, in radians.
jaroslav@67
   117
     * @return  the sine of the argument.
jaroslav@67
   118
     */
jaroslav@67
   119
    public static double sin(double a) {
jaroslav@67
   120
        return StrictMath.sin(a); // default impl. delegates to StrictMath
jaroslav@67
   121
    }
jaroslav@67
   122
jaroslav@67
   123
    /**
jaroslav@67
   124
     * Returns the trigonometric cosine of an angle. Special cases:
jaroslav@67
   125
     * <ul><li>If the argument is NaN or an infinity, then the
jaroslav@67
   126
     * result is NaN.</ul>
jaroslav@67
   127
     *
jaroslav@67
   128
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   129
     * Results must be semi-monotonic.
jaroslav@67
   130
     *
jaroslav@67
   131
     * @param   a   an angle, in radians.
jaroslav@67
   132
     * @return  the cosine of the argument.
jaroslav@67
   133
     */
jaroslav@67
   134
    public static double cos(double a) {
jaroslav@67
   135
        return StrictMath.cos(a); // default impl. delegates to StrictMath
jaroslav@67
   136
    }
jaroslav@67
   137
jaroslav@67
   138
    /**
jaroslav@67
   139
     * Returns the trigonometric tangent of an angle.  Special cases:
jaroslav@67
   140
     * <ul><li>If the argument is NaN or an infinity, then the result
jaroslav@67
   141
     * is NaN.
jaroslav@67
   142
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
   143
     * same sign as the argument.</ul>
jaroslav@67
   144
     *
jaroslav@67
   145
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   146
     * Results must be semi-monotonic.
jaroslav@67
   147
     *
jaroslav@67
   148
     * @param   a   an angle, in radians.
jaroslav@67
   149
     * @return  the tangent of the argument.
jaroslav@67
   150
     */
jaroslav@67
   151
    public static double tan(double a) {
jaroslav@67
   152
        return StrictMath.tan(a); // default impl. delegates to StrictMath
jaroslav@67
   153
    }
jaroslav@67
   154
jaroslav@67
   155
    /**
jaroslav@67
   156
     * Returns the arc sine of a value; the returned angle is in the
jaroslav@67
   157
     * range -<i>pi</i>/2 through <i>pi</i>/2.  Special cases:
jaroslav@67
   158
     * <ul><li>If the argument is NaN or its absolute value is greater
jaroslav@67
   159
     * than 1, then the result is NaN.
jaroslav@67
   160
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
   161
     * same sign as the argument.</ul>
jaroslav@67
   162
     *
jaroslav@67
   163
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   164
     * Results must be semi-monotonic.
jaroslav@67
   165
     *
jaroslav@67
   166
     * @param   a   the value whose arc sine is to be returned.
jaroslav@67
   167
     * @return  the arc sine of the argument.
jaroslav@67
   168
     */
jaroslav@67
   169
    public static double asin(double a) {
jaroslav@67
   170
        return StrictMath.asin(a); // default impl. delegates to StrictMath
jaroslav@67
   171
    }
jaroslav@67
   172
jaroslav@67
   173
    /**
jaroslav@67
   174
     * Returns the arc cosine of a value; the returned angle is in the
jaroslav@67
   175
     * range 0.0 through <i>pi</i>.  Special case:
jaroslav@67
   176
     * <ul><li>If the argument is NaN or its absolute value is greater
jaroslav@67
   177
     * than 1, then the result is NaN.</ul>
jaroslav@67
   178
     *
jaroslav@67
   179
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   180
     * Results must be semi-monotonic.
jaroslav@67
   181
     *
jaroslav@67
   182
     * @param   a   the value whose arc cosine is to be returned.
jaroslav@67
   183
     * @return  the arc cosine of the argument.
jaroslav@67
   184
     */
jaroslav@67
   185
    public static double acos(double a) {
jaroslav@67
   186
        return StrictMath.acos(a); // default impl. delegates to StrictMath
jaroslav@67
   187
    }
jaroslav@67
   188
jaroslav@67
   189
    /**
jaroslav@67
   190
     * Returns the arc tangent of a value; the returned angle is in the
jaroslav@67
   191
     * range -<i>pi</i>/2 through <i>pi</i>/2.  Special cases:
jaroslav@67
   192
     * <ul><li>If the argument is NaN, then the result is NaN.
jaroslav@67
   193
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
   194
     * same sign as the argument.</ul>
jaroslav@67
   195
     *
jaroslav@67
   196
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   197
     * Results must be semi-monotonic.
jaroslav@67
   198
     *
jaroslav@67
   199
     * @param   a   the value whose arc tangent is to be returned.
jaroslav@67
   200
     * @return  the arc tangent of the argument.
jaroslav@67
   201
     */
jaroslav@67
   202
    public static double atan(double a) {
jaroslav@67
   203
        return StrictMath.atan(a); // default impl. delegates to StrictMath
jaroslav@67
   204
    }
jaroslav@67
   205
jaroslav@67
   206
    /**
jaroslav@67
   207
     * Converts an angle measured in degrees to an approximately
jaroslav@67
   208
     * equivalent angle measured in radians.  The conversion from
jaroslav@67
   209
     * degrees to radians is generally inexact.
jaroslav@67
   210
     *
jaroslav@67
   211
     * @param   angdeg   an angle, in degrees
jaroslav@67
   212
     * @return  the measurement of the angle {@code angdeg}
jaroslav@67
   213
     *          in radians.
jaroslav@67
   214
     * @since   1.2
jaroslav@67
   215
     */
jaroslav@67
   216
    public static double toRadians(double angdeg) {
jaroslav@67
   217
        return angdeg / 180.0 * PI;
jaroslav@67
   218
    }
jaroslav@67
   219
jaroslav@67
   220
    /**
jaroslav@67
   221
     * Converts an angle measured in radians to an approximately
jaroslav@67
   222
     * equivalent angle measured in degrees.  The conversion from
jaroslav@67
   223
     * radians to degrees is generally inexact; users should
jaroslav@67
   224
     * <i>not</i> expect {@code cos(toRadians(90.0))} to exactly
jaroslav@67
   225
     * equal {@code 0.0}.
jaroslav@67
   226
     *
jaroslav@67
   227
     * @param   angrad   an angle, in radians
jaroslav@67
   228
     * @return  the measurement of the angle {@code angrad}
jaroslav@67
   229
     *          in degrees.
jaroslav@67
   230
     * @since   1.2
jaroslav@67
   231
     */
jaroslav@67
   232
    public static double toDegrees(double angrad) {
jaroslav@67
   233
        return angrad * 180.0 / PI;
jaroslav@67
   234
    }
jaroslav@67
   235
jaroslav@67
   236
    /**
jaroslav@67
   237
     * Returns Euler's number <i>e</i> raised to the power of a
jaroslav@67
   238
     * {@code double} value.  Special cases:
jaroslav@67
   239
     * <ul><li>If the argument is NaN, the result is NaN.
jaroslav@67
   240
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
   241
     * positive infinity.
jaroslav@67
   242
     * <li>If the argument is negative infinity, then the result is
jaroslav@67
   243
     * positive zero.</ul>
jaroslav@67
   244
     *
jaroslav@67
   245
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   246
     * Results must be semi-monotonic.
jaroslav@67
   247
     *
jaroslav@67
   248
     * @param   a   the exponent to raise <i>e</i> to.
jaroslav@67
   249
     * @return  the value <i>e</i><sup>{@code a}</sup>,
jaroslav@67
   250
     *          where <i>e</i> is the base of the natural logarithms.
jaroslav@67
   251
     */
jaroslav@67
   252
    public static double exp(double a) {
jaroslav@67
   253
        return StrictMath.exp(a); // default impl. delegates to StrictMath
jaroslav@67
   254
    }
jaroslav@67
   255
jaroslav@67
   256
    /**
jaroslav@67
   257
     * Returns the natural logarithm (base <i>e</i>) of a {@code double}
jaroslav@67
   258
     * value.  Special cases:
jaroslav@67
   259
     * <ul><li>If the argument is NaN or less than zero, then the result
jaroslav@67
   260
     * is NaN.
jaroslav@67
   261
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
   262
     * positive infinity.
jaroslav@67
   263
     * <li>If the argument is positive zero or negative zero, then the
jaroslav@67
   264
     * result is negative infinity.</ul>
jaroslav@67
   265
     *
jaroslav@67
   266
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   267
     * Results must be semi-monotonic.
jaroslav@67
   268
     *
jaroslav@67
   269
     * @param   a   a value
jaroslav@67
   270
     * @return  the value ln&nbsp;{@code a}, the natural logarithm of
jaroslav@67
   271
     *          {@code a}.
jaroslav@67
   272
     */
jaroslav@67
   273
    public static double log(double a) {
jaroslav@67
   274
        return StrictMath.log(a); // default impl. delegates to StrictMath
jaroslav@67
   275
    }
jaroslav@67
   276
jaroslav@67
   277
    /**
jaroslav@67
   278
     * Returns the base 10 logarithm of a {@code double} value.
jaroslav@67
   279
     * Special cases:
jaroslav@67
   280
     *
jaroslav@67
   281
     * <ul><li>If the argument is NaN or less than zero, then the result
jaroslav@67
   282
     * is NaN.
jaroslav@67
   283
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
   284
     * positive infinity.
jaroslav@67
   285
     * <li>If the argument is positive zero or negative zero, then the
jaroslav@67
   286
     * result is negative infinity.
jaroslav@67
   287
     * <li> If the argument is equal to 10<sup><i>n</i></sup> for
jaroslav@67
   288
     * integer <i>n</i>, then the result is <i>n</i>.
jaroslav@67
   289
     * </ul>
jaroslav@67
   290
     *
jaroslav@67
   291
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   292
     * Results must be semi-monotonic.
jaroslav@67
   293
     *
jaroslav@67
   294
     * @param   a   a value
jaroslav@67
   295
     * @return  the base 10 logarithm of  {@code a}.
jaroslav@67
   296
     * @since 1.5
jaroslav@67
   297
     */
jaroslav@67
   298
    public static double log10(double a) {
jaroslav@67
   299
        return StrictMath.log10(a); // default impl. delegates to StrictMath
jaroslav@67
   300
    }
jaroslav@67
   301
jaroslav@67
   302
    /**
jaroslav@67
   303
     * Returns the correctly rounded positive square root of a
jaroslav@67
   304
     * {@code double} value.
jaroslav@67
   305
     * Special cases:
jaroslav@67
   306
     * <ul><li>If the argument is NaN or less than zero, then the result
jaroslav@67
   307
     * is NaN.
jaroslav@67
   308
     * <li>If the argument is positive infinity, then the result is positive
jaroslav@67
   309
     * infinity.
jaroslav@67
   310
     * <li>If the argument is positive zero or negative zero, then the
jaroslav@67
   311
     * result is the same as the argument.</ul>
jaroslav@67
   312
     * Otherwise, the result is the {@code double} value closest to
jaroslav@67
   313
     * the true mathematical square root of the argument value.
jaroslav@67
   314
     *
jaroslav@67
   315
     * @param   a   a value.
jaroslav@67
   316
     * @return  the positive square root of {@code a}.
jaroslav@67
   317
     *          If the argument is NaN or less than zero, the result is NaN.
jaroslav@67
   318
     */
jaroslav@67
   319
    public static double sqrt(double a) {
jaroslav@67
   320
        return StrictMath.sqrt(a); // default impl. delegates to StrictMath
jaroslav@67
   321
                                   // Note that hardware sqrt instructions
jaroslav@67
   322
                                   // frequently can be directly used by JITs
jaroslav@67
   323
                                   // and should be much faster than doing
jaroslav@67
   324
                                   // Math.sqrt in software.
jaroslav@67
   325
    }
jaroslav@67
   326
jaroslav@67
   327
jaroslav@67
   328
    /**
jaroslav@67
   329
     * Returns the cube root of a {@code double} value.  For
jaroslav@67
   330
     * positive finite {@code x}, {@code cbrt(-x) ==
jaroslav@67
   331
     * -cbrt(x)}; that is, the cube root of a negative value is
jaroslav@67
   332
     * the negative of the cube root of that value's magnitude.
jaroslav@67
   333
     *
jaroslav@67
   334
     * Special cases:
jaroslav@67
   335
     *
jaroslav@67
   336
     * <ul>
jaroslav@67
   337
     *
jaroslav@67
   338
     * <li>If the argument is NaN, then the result is NaN.
jaroslav@67
   339
     *
jaroslav@67
   340
     * <li>If the argument is infinite, then the result is an infinity
jaroslav@67
   341
     * with the same sign as the argument.
jaroslav@67
   342
     *
jaroslav@67
   343
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
   344
     * same sign as the argument.
jaroslav@67
   345
     *
jaroslav@67
   346
     * </ul>
jaroslav@67
   347
     *
jaroslav@67
   348
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   349
     *
jaroslav@67
   350
     * @param   a   a value.
jaroslav@67
   351
     * @return  the cube root of {@code a}.
jaroslav@67
   352
     * @since 1.5
jaroslav@67
   353
     */
jaroslav@67
   354
    public static double cbrt(double a) {
jaroslav@67
   355
        return StrictMath.cbrt(a);
jaroslav@67
   356
    }
jaroslav@67
   357
jaroslav@67
   358
    /**
jaroslav@67
   359
     * Computes the remainder operation on two arguments as prescribed
jaroslav@67
   360
     * by the IEEE 754 standard.
jaroslav@67
   361
     * The remainder value is mathematically equal to
jaroslav@67
   362
     * <code>f1&nbsp;-&nbsp;f2</code>&nbsp;&times;&nbsp;<i>n</i>,
jaroslav@67
   363
     * where <i>n</i> is the mathematical integer closest to the exact
jaroslav@67
   364
     * mathematical value of the quotient {@code f1/f2}, and if two
jaroslav@67
   365
     * mathematical integers are equally close to {@code f1/f2},
jaroslav@67
   366
     * then <i>n</i> is the integer that is even. If the remainder is
jaroslav@67
   367
     * zero, its sign is the same as the sign of the first argument.
jaroslav@67
   368
     * Special cases:
jaroslav@67
   369
     * <ul><li>If either argument is NaN, or the first argument is infinite,
jaroslav@67
   370
     * or the second argument is positive zero or negative zero, then the
jaroslav@67
   371
     * result is NaN.
jaroslav@67
   372
     * <li>If the first argument is finite and the second argument is
jaroslav@67
   373
     * infinite, then the result is the same as the first argument.</ul>
jaroslav@67
   374
     *
jaroslav@67
   375
     * @param   f1   the dividend.
jaroslav@67
   376
     * @param   f2   the divisor.
jaroslav@67
   377
     * @return  the remainder when {@code f1} is divided by
jaroslav@67
   378
     *          {@code f2}.
jaroslav@67
   379
     */
jaroslav@67
   380
    public static double IEEEremainder(double f1, double f2) {
jaroslav@67
   381
        return StrictMath.IEEEremainder(f1, f2); // delegate to StrictMath
jaroslav@67
   382
    }
jaroslav@67
   383
jaroslav@67
   384
    /**
jaroslav@67
   385
     * Returns the smallest (closest to negative infinity)
jaroslav@67
   386
     * {@code double} value that is greater than or equal to the
jaroslav@67
   387
     * argument and is equal to a mathematical integer. Special cases:
jaroslav@67
   388
     * <ul><li>If the argument value is already equal to a
jaroslav@67
   389
     * mathematical integer, then the result is the same as the
jaroslav@67
   390
     * argument.  <li>If the argument is NaN or an infinity or
jaroslav@67
   391
     * positive zero or negative zero, then the result is the same as
jaroslav@67
   392
     * the argument.  <li>If the argument value is less than zero but
jaroslav@67
   393
     * greater than -1.0, then the result is negative zero.</ul> Note
jaroslav@67
   394
     * that the value of {@code Math.ceil(x)} is exactly the
jaroslav@67
   395
     * value of {@code -Math.floor(-x)}.
jaroslav@67
   396
     *
jaroslav@67
   397
     *
jaroslav@67
   398
     * @param   a   a value.
jaroslav@67
   399
     * @return  the smallest (closest to negative infinity)
jaroslav@67
   400
     *          floating-point value that is greater than or equal to
jaroslav@67
   401
     *          the argument and is equal to a mathematical integer.
jaroslav@67
   402
     */
jaroslav@67
   403
    public static double ceil(double a) {
jaroslav@67
   404
        return StrictMath.ceil(a); // default impl. delegates to StrictMath
jaroslav@67
   405
    }
jaroslav@67
   406
jaroslav@67
   407
    /**
jaroslav@67
   408
     * Returns the largest (closest to positive infinity)
jaroslav@67
   409
     * {@code double} value that is less than or equal to the
jaroslav@67
   410
     * argument and is equal to a mathematical integer. Special cases:
jaroslav@67
   411
     * <ul><li>If the argument value is already equal to a
jaroslav@67
   412
     * mathematical integer, then the result is the same as the
jaroslav@67
   413
     * argument.  <li>If the argument is NaN or an infinity or
jaroslav@67
   414
     * positive zero or negative zero, then the result is the same as
jaroslav@67
   415
     * the argument.</ul>
jaroslav@67
   416
     *
jaroslav@67
   417
     * @param   a   a value.
jaroslav@67
   418
     * @return  the largest (closest to positive infinity)
jaroslav@67
   419
     *          floating-point value that less than or equal to the argument
jaroslav@67
   420
     *          and is equal to a mathematical integer.
jaroslav@67
   421
     */
jaroslav@67
   422
    public static double floor(double a) {
jaroslav@67
   423
        return StrictMath.floor(a); // default impl. delegates to StrictMath
jaroslav@67
   424
    }
jaroslav@67
   425
jaroslav@67
   426
    /**
jaroslav@67
   427
     * Returns the {@code double} value that is closest in value
jaroslav@67
   428
     * to the argument and is equal to a mathematical integer. If two
jaroslav@67
   429
     * {@code double} values that are mathematical integers are
jaroslav@67
   430
     * equally close, the result is the integer value that is
jaroslav@67
   431
     * even. Special cases:
jaroslav@67
   432
     * <ul><li>If the argument value is already equal to a mathematical
jaroslav@67
   433
     * integer, then the result is the same as the argument.
jaroslav@67
   434
     * <li>If the argument is NaN or an infinity or positive zero or negative
jaroslav@67
   435
     * zero, then the result is the same as the argument.</ul>
jaroslav@67
   436
     *
jaroslav@67
   437
     * @param   a   a {@code double} value.
jaroslav@67
   438
     * @return  the closest floating-point value to {@code a} that is
jaroslav@67
   439
     *          equal to a mathematical integer.
jaroslav@67
   440
     */
jaroslav@67
   441
    public static double rint(double a) {
jaroslav@67
   442
        return StrictMath.rint(a); // default impl. delegates to StrictMath
jaroslav@67
   443
    }
jaroslav@67
   444
jaroslav@67
   445
    /**
jaroslav@67
   446
     * Returns the angle <i>theta</i> from the conversion of rectangular
jaroslav@67
   447
     * coordinates ({@code x},&nbsp;{@code y}) to polar
jaroslav@67
   448
     * coordinates (r,&nbsp;<i>theta</i>).
jaroslav@67
   449
     * This method computes the phase <i>theta</i> by computing an arc tangent
jaroslav@67
   450
     * of {@code y/x} in the range of -<i>pi</i> to <i>pi</i>. Special
jaroslav@67
   451
     * cases:
jaroslav@67
   452
     * <ul><li>If either argument is NaN, then the result is NaN.
jaroslav@67
   453
     * <li>If the first argument is positive zero and the second argument
jaroslav@67
   454
     * is positive, or the first argument is positive and finite and the
jaroslav@67
   455
     * second argument is positive infinity, then the result is positive
jaroslav@67
   456
     * zero.
jaroslav@67
   457
     * <li>If the first argument is negative zero and the second argument
jaroslav@67
   458
     * is positive, or the first argument is negative and finite and the
jaroslav@67
   459
     * second argument is positive infinity, then the result is negative zero.
jaroslav@67
   460
     * <li>If the first argument is positive zero and the second argument
jaroslav@67
   461
     * is negative, or the first argument is positive and finite and the
jaroslav@67
   462
     * second argument is negative infinity, then the result is the
jaroslav@67
   463
     * {@code double} value closest to <i>pi</i>.
jaroslav@67
   464
     * <li>If the first argument is negative zero and the second argument
jaroslav@67
   465
     * is negative, or the first argument is negative and finite and the
jaroslav@67
   466
     * second argument is negative infinity, then the result is the
jaroslav@67
   467
     * {@code double} value closest to -<i>pi</i>.
jaroslav@67
   468
     * <li>If the first argument is positive and the second argument is
jaroslav@67
   469
     * positive zero or negative zero, or the first argument is positive
jaroslav@67
   470
     * infinity and the second argument is finite, then the result is the
jaroslav@67
   471
     * {@code double} value closest to <i>pi</i>/2.
jaroslav@67
   472
     * <li>If the first argument is negative and the second argument is
jaroslav@67
   473
     * positive zero or negative zero, or the first argument is negative
jaroslav@67
   474
     * infinity and the second argument is finite, then the result is the
jaroslav@67
   475
     * {@code double} value closest to -<i>pi</i>/2.
jaroslav@67
   476
     * <li>If both arguments are positive infinity, then the result is the
jaroslav@67
   477
     * {@code double} value closest to <i>pi</i>/4.
jaroslav@67
   478
     * <li>If the first argument is positive infinity and the second argument
jaroslav@67
   479
     * is negative infinity, then the result is the {@code double}
jaroslav@67
   480
     * value closest to 3*<i>pi</i>/4.
jaroslav@67
   481
     * <li>If the first argument is negative infinity and the second argument
jaroslav@67
   482
     * is positive infinity, then the result is the {@code double} value
jaroslav@67
   483
     * closest to -<i>pi</i>/4.
jaroslav@67
   484
     * <li>If both arguments are negative infinity, then the result is the
jaroslav@67
   485
     * {@code double} value closest to -3*<i>pi</i>/4.</ul>
jaroslav@67
   486
     *
jaroslav@67
   487
     * <p>The computed result must be within 2 ulps of the exact result.
jaroslav@67
   488
     * Results must be semi-monotonic.
jaroslav@67
   489
     *
jaroslav@67
   490
     * @param   y   the ordinate coordinate
jaroslav@67
   491
     * @param   x   the abscissa coordinate
jaroslav@67
   492
     * @return  the <i>theta</i> component of the point
jaroslav@67
   493
     *          (<i>r</i>,&nbsp;<i>theta</i>)
jaroslav@67
   494
     *          in polar coordinates that corresponds to the point
jaroslav@67
   495
     *          (<i>x</i>,&nbsp;<i>y</i>) in Cartesian coordinates.
jaroslav@67
   496
     */
jaroslav@67
   497
    public static double atan2(double y, double x) {
jaroslav@67
   498
        return StrictMath.atan2(y, x); // default impl. delegates to StrictMath
jaroslav@67
   499
    }
jaroslav@67
   500
jaroslav@67
   501
    /**
jaroslav@67
   502
     * Returns the value of the first argument raised to the power of the
jaroslav@67
   503
     * second argument. Special cases:
jaroslav@67
   504
     *
jaroslav@67
   505
     * <ul><li>If the second argument is positive or negative zero, then the
jaroslav@67
   506
     * result is 1.0.
jaroslav@67
   507
     * <li>If the second argument is 1.0, then the result is the same as the
jaroslav@67
   508
     * first argument.
jaroslav@67
   509
     * <li>If the second argument is NaN, then the result is NaN.
jaroslav@67
   510
     * <li>If the first argument is NaN and the second argument is nonzero,
jaroslav@67
   511
     * then the result is NaN.
jaroslav@67
   512
     *
jaroslav@67
   513
     * <li>If
jaroslav@67
   514
     * <ul>
jaroslav@67
   515
     * <li>the absolute value of the first argument is greater than 1
jaroslav@67
   516
     * and the second argument is positive infinity, or
jaroslav@67
   517
     * <li>the absolute value of the first argument is less than 1 and
jaroslav@67
   518
     * the second argument is negative infinity,
jaroslav@67
   519
     * </ul>
jaroslav@67
   520
     * then the result is positive infinity.
jaroslav@67
   521
     *
jaroslav@67
   522
     * <li>If
jaroslav@67
   523
     * <ul>
jaroslav@67
   524
     * <li>the absolute value of the first argument is greater than 1 and
jaroslav@67
   525
     * the second argument is negative infinity, or
jaroslav@67
   526
     * <li>the absolute value of the
jaroslav@67
   527
     * first argument is less than 1 and the second argument is positive
jaroslav@67
   528
     * infinity,
jaroslav@67
   529
     * </ul>
jaroslav@67
   530
     * then the result is positive zero.
jaroslav@67
   531
     *
jaroslav@67
   532
     * <li>If the absolute value of the first argument equals 1 and the
jaroslav@67
   533
     * second argument is infinite, then the result is NaN.
jaroslav@67
   534
     *
jaroslav@67
   535
     * <li>If
jaroslav@67
   536
     * <ul>
jaroslav@67
   537
     * <li>the first argument is positive zero and the second argument
jaroslav@67
   538
     * is greater than zero, or
jaroslav@67
   539
     * <li>the first argument is positive infinity and the second
jaroslav@67
   540
     * argument is less than zero,
jaroslav@67
   541
     * </ul>
jaroslav@67
   542
     * then the result is positive zero.
jaroslav@67
   543
     *
jaroslav@67
   544
     * <li>If
jaroslav@67
   545
     * <ul>
jaroslav@67
   546
     * <li>the first argument is positive zero and the second argument
jaroslav@67
   547
     * is less than zero, or
jaroslav@67
   548
     * <li>the first argument is positive infinity and the second
jaroslav@67
   549
     * argument is greater than zero,
jaroslav@67
   550
     * </ul>
jaroslav@67
   551
     * then the result is positive infinity.
jaroslav@67
   552
     *
jaroslav@67
   553
     * <li>If
jaroslav@67
   554
     * <ul>
jaroslav@67
   555
     * <li>the first argument is negative zero and the second argument
jaroslav@67
   556
     * is greater than zero but not a finite odd integer, or
jaroslav@67
   557
     * <li>the first argument is negative infinity and the second
jaroslav@67
   558
     * argument is less than zero but not a finite odd integer,
jaroslav@67
   559
     * </ul>
jaroslav@67
   560
     * then the result is positive zero.
jaroslav@67
   561
     *
jaroslav@67
   562
     * <li>If
jaroslav@67
   563
     * <ul>
jaroslav@67
   564
     * <li>the first argument is negative zero and the second argument
jaroslav@67
   565
     * is a positive finite odd integer, or
jaroslav@67
   566
     * <li>the first argument is negative infinity and the second
jaroslav@67
   567
     * argument is a negative finite odd integer,
jaroslav@67
   568
     * </ul>
jaroslav@67
   569
     * then the result is negative zero.
jaroslav@67
   570
     *
jaroslav@67
   571
     * <li>If
jaroslav@67
   572
     * <ul>
jaroslav@67
   573
     * <li>the first argument is negative zero and the second argument
jaroslav@67
   574
     * is less than zero but not a finite odd integer, or
jaroslav@67
   575
     * <li>the first argument is negative infinity and the second
jaroslav@67
   576
     * argument is greater than zero but not a finite odd integer,
jaroslav@67
   577
     * </ul>
jaroslav@67
   578
     * then the result is positive infinity.
jaroslav@67
   579
     *
jaroslav@67
   580
     * <li>If
jaroslav@67
   581
     * <ul>
jaroslav@67
   582
     * <li>the first argument is negative zero and the second argument
jaroslav@67
   583
     * is a negative finite odd integer, or
jaroslav@67
   584
     * <li>the first argument is negative infinity and the second
jaroslav@67
   585
     * argument is a positive finite odd integer,
jaroslav@67
   586
     * </ul>
jaroslav@67
   587
     * then the result is negative infinity.
jaroslav@67
   588
     *
jaroslav@67
   589
     * <li>If the first argument is finite and less than zero
jaroslav@67
   590
     * <ul>
jaroslav@67
   591
     * <li> if the second argument is a finite even integer, the
jaroslav@67
   592
     * result is equal to the result of raising the absolute value of
jaroslav@67
   593
     * the first argument to the power of the second argument
jaroslav@67
   594
     *
jaroslav@67
   595
     * <li>if the second argument is a finite odd integer, the result
jaroslav@67
   596
     * is equal to the negative of the result of raising the absolute
jaroslav@67
   597
     * value of the first argument to the power of the second
jaroslav@67
   598
     * argument
jaroslav@67
   599
     *
jaroslav@67
   600
     * <li>if the second argument is finite and not an integer, then
jaroslav@67
   601
     * the result is NaN.
jaroslav@67
   602
     * </ul>
jaroslav@67
   603
     *
jaroslav@67
   604
     * <li>If both arguments are integers, then the result is exactly equal
jaroslav@67
   605
     * to the mathematical result of raising the first argument to the power
jaroslav@67
   606
     * of the second argument if that result can in fact be represented
jaroslav@67
   607
     * exactly as a {@code double} value.</ul>
jaroslav@67
   608
     *
jaroslav@67
   609
     * <p>(In the foregoing descriptions, a floating-point value is
jaroslav@67
   610
     * considered to be an integer if and only if it is finite and a
jaroslav@67
   611
     * fixed point of the method {@link #ceil ceil} or,
jaroslav@67
   612
     * equivalently, a fixed point of the method {@link #floor
jaroslav@67
   613
     * floor}. A value is a fixed point of a one-argument
jaroslav@67
   614
     * method if and only if the result of applying the method to the
jaroslav@67
   615
     * value is equal to the value.)
jaroslav@67
   616
     *
jaroslav@67
   617
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
   618
     * Results must be semi-monotonic.
jaroslav@67
   619
     *
jaroslav@67
   620
     * @param   a   the base.
jaroslav@67
   621
     * @param   b   the exponent.
jaroslav@67
   622
     * @return  the value {@code a}<sup>{@code b}</sup>.
jaroslav@67
   623
     */
jaroslav@67
   624
    public static double pow(double a, double b) {
jaroslav@67
   625
        return StrictMath.pow(a, b); // default impl. delegates to StrictMath
jaroslav@67
   626
    }
jaroslav@67
   627
jaroslav@67
   628
    /**
jaroslav@67
   629
     * Returns the closest {@code int} to the argument, with ties
jaroslav@67
   630
     * rounding up.
jaroslav@67
   631
     *
jaroslav@67
   632
     * <p>
jaroslav@67
   633
     * Special cases:
jaroslav@67
   634
     * <ul><li>If the argument is NaN, the result is 0.
jaroslav@67
   635
     * <li>If the argument is negative infinity or any value less than or
jaroslav@67
   636
     * equal to the value of {@code Integer.MIN_VALUE}, the result is
jaroslav@67
   637
     * equal to the value of {@code Integer.MIN_VALUE}.
jaroslav@67
   638
     * <li>If the argument is positive infinity or any value greater than or
jaroslav@67
   639
     * equal to the value of {@code Integer.MAX_VALUE}, the result is
jaroslav@67
   640
     * equal to the value of {@code Integer.MAX_VALUE}.</ul>
jaroslav@67
   641
     *
jaroslav@67
   642
     * @param   a   a floating-point value to be rounded to an integer.
jaroslav@67
   643
     * @return  the value of the argument rounded to the nearest
jaroslav@67
   644
     *          {@code int} value.
jaroslav@67
   645
     * @see     java.lang.Integer#MAX_VALUE
jaroslav@67
   646
     * @see     java.lang.Integer#MIN_VALUE
jaroslav@67
   647
     */
jaroslav@67
   648
    public static int round(float a) {
jaroslav@67
   649
        if (a != 0x1.fffffep-2f) // greatest float value less than 0.5
jaroslav@67
   650
            return (int)floor(a + 0.5f);
jaroslav@67
   651
        else
jaroslav@67
   652
            return 0;
jaroslav@67
   653
    }
jaroslav@67
   654
jaroslav@67
   655
    /**
jaroslav@67
   656
     * Returns the closest {@code long} to the argument, with ties
jaroslav@67
   657
     * rounding up.
jaroslav@67
   658
     *
jaroslav@67
   659
     * <p>Special cases:
jaroslav@67
   660
     * <ul><li>If the argument is NaN, the result is 0.
jaroslav@67
   661
     * <li>If the argument is negative infinity or any value less than or
jaroslav@67
   662
     * equal to the value of {@code Long.MIN_VALUE}, the result is
jaroslav@67
   663
     * equal to the value of {@code Long.MIN_VALUE}.
jaroslav@67
   664
     * <li>If the argument is positive infinity or any value greater than or
jaroslav@67
   665
     * equal to the value of {@code Long.MAX_VALUE}, the result is
jaroslav@67
   666
     * equal to the value of {@code Long.MAX_VALUE}.</ul>
jaroslav@67
   667
     *
jaroslav@67
   668
     * @param   a   a floating-point value to be rounded to a
jaroslav@67
   669
     *          {@code long}.
jaroslav@67
   670
     * @return  the value of the argument rounded to the nearest
jaroslav@67
   671
     *          {@code long} value.
jaroslav@67
   672
     * @see     java.lang.Long#MAX_VALUE
jaroslav@67
   673
     * @see     java.lang.Long#MIN_VALUE
jaroslav@67
   674
     */
jaroslav@67
   675
    public static long round(double a) {
jaroslav@67
   676
        if (a != 0x1.fffffffffffffp-2) // greatest double value less than 0.5
jaroslav@67
   677
            return (long)floor(a + 0.5d);
jaroslav@67
   678
        else
jaroslav@67
   679
            return 0;
jaroslav@67
   680
    }
jaroslav@67
   681
jaroslav@84
   682
//    private static Random randomNumberGenerator;
jaroslav@84
   683
//
jaroslav@84
   684
//    private static synchronized Random initRNG() {
jaroslav@84
   685
//        Random rnd = randomNumberGenerator;
jaroslav@84
   686
//        return (rnd == null) ? (randomNumberGenerator = new Random()) : rnd;
jaroslav@84
   687
//    }
jaroslav@67
   688
jaroslav@67
   689
    /**
jaroslav@67
   690
     * Returns a {@code double} value with a positive sign, greater
jaroslav@67
   691
     * than or equal to {@code 0.0} and less than {@code 1.0}.
jaroslav@67
   692
     * Returned values are chosen pseudorandomly with (approximately)
jaroslav@67
   693
     * uniform distribution from that range.
jaroslav@67
   694
     *
jaroslav@67
   695
     * <p>When this method is first called, it creates a single new
jaroslav@67
   696
     * pseudorandom-number generator, exactly as if by the expression
jaroslav@67
   697
     *
jaroslav@67
   698
     * <blockquote>{@code new java.util.Random()}</blockquote>
jaroslav@67
   699
     *
jaroslav@67
   700
     * This new pseudorandom-number generator is used thereafter for
jaroslav@67
   701
     * all calls to this method and is used nowhere else.
jaroslav@67
   702
     *
jaroslav@67
   703
     * <p>This method is properly synchronized to allow correct use by
jaroslav@67
   704
     * more than one thread. However, if many threads need to generate
jaroslav@67
   705
     * pseudorandom numbers at a great rate, it may reduce contention
jaroslav@67
   706
     * for each thread to have its own pseudorandom-number generator.
jaroslav@67
   707
     *
jaroslav@67
   708
     * @return  a pseudorandom {@code double} greater than or equal
jaroslav@67
   709
     * to {@code 0.0} and less than {@code 1.0}.
jaroslav@67
   710
     * @see Random#nextDouble()
jaroslav@67
   711
     */
jaroslav@67
   712
    public static double random() {
jaroslav@84
   713
        throw new UnsupportedOperationException();
jaroslav@67
   714
    }
jaroslav@67
   715
jaroslav@67
   716
    /**
jaroslav@67
   717
     * Returns the absolute value of an {@code int} value.
jaroslav@67
   718
     * If the argument is not negative, the argument is returned.
jaroslav@67
   719
     * If the argument is negative, the negation of the argument is returned.
jaroslav@67
   720
     *
jaroslav@67
   721
     * <p>Note that if the argument is equal to the value of
jaroslav@67
   722
     * {@link Integer#MIN_VALUE}, the most negative representable
jaroslav@67
   723
     * {@code int} value, the result is that same value, which is
jaroslav@67
   724
     * negative.
jaroslav@67
   725
     *
jaroslav@67
   726
     * @param   a   the argument whose absolute value is to be determined
jaroslav@67
   727
     * @return  the absolute value of the argument.
jaroslav@67
   728
     */
jaroslav@67
   729
    public static int abs(int a) {
jaroslav@67
   730
        return (a < 0) ? -a : a;
jaroslav@67
   731
    }
jaroslav@67
   732
jaroslav@67
   733
    /**
jaroslav@67
   734
     * Returns the absolute value of a {@code long} value.
jaroslav@67
   735
     * If the argument is not negative, the argument is returned.
jaroslav@67
   736
     * If the argument is negative, the negation of the argument is returned.
jaroslav@67
   737
     *
jaroslav@67
   738
     * <p>Note that if the argument is equal to the value of
jaroslav@67
   739
     * {@link Long#MIN_VALUE}, the most negative representable
jaroslav@67
   740
     * {@code long} value, the result is that same value, which
jaroslav@67
   741
     * is negative.
jaroslav@67
   742
     *
jaroslav@67
   743
     * @param   a   the argument whose absolute value is to be determined
jaroslav@67
   744
     * @return  the absolute value of the argument.
jaroslav@67
   745
     */
jaroslav@67
   746
    public static long abs(long a) {
jaroslav@67
   747
        return (a < 0) ? -a : a;
jaroslav@67
   748
    }
jaroslav@67
   749
jaroslav@67
   750
    /**
jaroslav@67
   751
     * Returns the absolute value of a {@code float} value.
jaroslav@67
   752
     * If the argument is not negative, the argument is returned.
jaroslav@67
   753
     * If the argument is negative, the negation of the argument is returned.
jaroslav@67
   754
     * Special cases:
jaroslav@67
   755
     * <ul><li>If the argument is positive zero or negative zero, the
jaroslav@67
   756
     * result is positive zero.
jaroslav@67
   757
     * <li>If the argument is infinite, the result is positive infinity.
jaroslav@67
   758
     * <li>If the argument is NaN, the result is NaN.</ul>
jaroslav@67
   759
     * In other words, the result is the same as the value of the expression:
jaroslav@67
   760
     * <p>{@code Float.intBitsToFloat(0x7fffffff & Float.floatToIntBits(a))}
jaroslav@67
   761
     *
jaroslav@67
   762
     * @param   a   the argument whose absolute value is to be determined
jaroslav@67
   763
     * @return  the absolute value of the argument.
jaroslav@67
   764
     */
jaroslav@67
   765
    public static float abs(float a) {
jaroslav@67
   766
        return (a <= 0.0F) ? 0.0F - a : a;
jaroslav@67
   767
    }
jaroslav@67
   768
jaroslav@67
   769
    /**
jaroslav@67
   770
     * Returns the absolute value of a {@code double} value.
jaroslav@67
   771
     * If the argument is not negative, the argument is returned.
jaroslav@67
   772
     * If the argument is negative, the negation of the argument is returned.
jaroslav@67
   773
     * Special cases:
jaroslav@67
   774
     * <ul><li>If the argument is positive zero or negative zero, the result
jaroslav@67
   775
     * is positive zero.
jaroslav@67
   776
     * <li>If the argument is infinite, the result is positive infinity.
jaroslav@67
   777
     * <li>If the argument is NaN, the result is NaN.</ul>
jaroslav@67
   778
     * In other words, the result is the same as the value of the expression:
jaroslav@67
   779
     * <p>{@code Double.longBitsToDouble((Double.doubleToLongBits(a)<<1)>>>1)}
jaroslav@67
   780
     *
jaroslav@67
   781
     * @param   a   the argument whose absolute value is to be determined
jaroslav@67
   782
     * @return  the absolute value of the argument.
jaroslav@67
   783
     */
jaroslav@67
   784
    public static double abs(double a) {
jaroslav@67
   785
        return (a <= 0.0D) ? 0.0D - a : a;
jaroslav@67
   786
    }
jaroslav@67
   787
jaroslav@67
   788
    /**
jaroslav@67
   789
     * Returns the greater of two {@code int} values. That is, the
jaroslav@67
   790
     * result is the argument closer to the value of
jaroslav@67
   791
     * {@link Integer#MAX_VALUE}. If the arguments have the same value,
jaroslav@67
   792
     * the result is that same value.
jaroslav@67
   793
     *
jaroslav@67
   794
     * @param   a   an argument.
jaroslav@67
   795
     * @param   b   another argument.
jaroslav@67
   796
     * @return  the larger of {@code a} and {@code b}.
jaroslav@67
   797
     */
jaroslav@67
   798
    public static int max(int a, int b) {
jaroslav@67
   799
        return (a >= b) ? a : b;
jaroslav@67
   800
    }
jaroslav@67
   801
jaroslav@67
   802
    /**
jaroslav@67
   803
     * Returns the greater of two {@code long} values. That is, the
jaroslav@67
   804
     * result is the argument closer to the value of
jaroslav@67
   805
     * {@link Long#MAX_VALUE}. If the arguments have the same value,
jaroslav@67
   806
     * the result is that same value.
jaroslav@67
   807
     *
jaroslav@67
   808
     * @param   a   an argument.
jaroslav@67
   809
     * @param   b   another argument.
jaroslav@67
   810
     * @return  the larger of {@code a} and {@code b}.
jaroslav@67
   811
     */
jaroslav@67
   812
    public static long max(long a, long b) {
jaroslav@67
   813
        return (a >= b) ? a : b;
jaroslav@67
   814
    }
jaroslav@67
   815
jaroslav@67
   816
    private static long negativeZeroFloatBits = Float.floatToIntBits(-0.0f);
jaroslav@67
   817
    private static long negativeZeroDoubleBits = Double.doubleToLongBits(-0.0d);
jaroslav@67
   818
jaroslav@67
   819
    /**
jaroslav@67
   820
     * Returns the greater of two {@code float} values.  That is,
jaroslav@67
   821
     * the result is the argument closer to positive infinity. If the
jaroslav@67
   822
     * arguments have the same value, the result is that same
jaroslav@67
   823
     * value. If either value is NaN, then the result is NaN.  Unlike
jaroslav@67
   824
     * the numerical comparison operators, this method considers
jaroslav@67
   825
     * negative zero to be strictly smaller than positive zero. If one
jaroslav@67
   826
     * argument is positive zero and the other negative zero, the
jaroslav@67
   827
     * result is positive zero.
jaroslav@67
   828
     *
jaroslav@67
   829
     * @param   a   an argument.
jaroslav@67
   830
     * @param   b   another argument.
jaroslav@67
   831
     * @return  the larger of {@code a} and {@code b}.
jaroslav@67
   832
     */
jaroslav@67
   833
    public static float max(float a, float b) {
jaroslav@67
   834
        if (a != a) return a;   // a is NaN
jaroslav@67
   835
        if ((a == 0.0f) && (b == 0.0f)
jaroslav@67
   836
            && (Float.floatToIntBits(a) == negativeZeroFloatBits)) {
jaroslav@67
   837
            return b;
jaroslav@67
   838
        }
jaroslav@67
   839
        return (a >= b) ? a : b;
jaroslav@67
   840
    }
jaroslav@67
   841
jaroslav@67
   842
    /**
jaroslav@67
   843
     * Returns the greater of two {@code double} values.  That
jaroslav@67
   844
     * is, the result is the argument closer to positive infinity. If
jaroslav@67
   845
     * the arguments have the same value, the result is that same
jaroslav@67
   846
     * value. If either value is NaN, then the result is NaN.  Unlike
jaroslav@67
   847
     * the numerical comparison operators, this method considers
jaroslav@67
   848
     * negative zero to be strictly smaller than positive zero. If one
jaroslav@67
   849
     * argument is positive zero and the other negative zero, the
jaroslav@67
   850
     * result is positive zero.
jaroslav@67
   851
     *
jaroslav@67
   852
     * @param   a   an argument.
jaroslav@67
   853
     * @param   b   another argument.
jaroslav@67
   854
     * @return  the larger of {@code a} and {@code b}.
jaroslav@67
   855
     */
jaroslav@67
   856
    public static double max(double a, double b) {
jaroslav@67
   857
        if (a != a) return a;   // a is NaN
jaroslav@67
   858
        if ((a == 0.0d) && (b == 0.0d)
jaroslav@67
   859
            && (Double.doubleToLongBits(a) == negativeZeroDoubleBits)) {
jaroslav@67
   860
            return b;
jaroslav@67
   861
        }
jaroslav@67
   862
        return (a >= b) ? a : b;
jaroslav@67
   863
    }
jaroslav@67
   864
jaroslav@67
   865
    /**
jaroslav@67
   866
     * Returns the smaller of two {@code int} values. That is,
jaroslav@67
   867
     * the result the argument closer to the value of
jaroslav@67
   868
     * {@link Integer#MIN_VALUE}.  If the arguments have the same
jaroslav@67
   869
     * value, the result is that same value.
jaroslav@67
   870
     *
jaroslav@67
   871
     * @param   a   an argument.
jaroslav@67
   872
     * @param   b   another argument.
jaroslav@67
   873
     * @return  the smaller of {@code a} and {@code b}.
jaroslav@67
   874
     */
jaroslav@67
   875
    public static int min(int a, int b) {
jaroslav@67
   876
        return (a <= b) ? a : b;
jaroslav@67
   877
    }
jaroslav@67
   878
jaroslav@67
   879
    /**
jaroslav@67
   880
     * Returns the smaller of two {@code long} values. That is,
jaroslav@67
   881
     * the result is the argument closer to the value of
jaroslav@67
   882
     * {@link Long#MIN_VALUE}. If the arguments have the same
jaroslav@67
   883
     * value, the result is that same value.
jaroslav@67
   884
     *
jaroslav@67
   885
     * @param   a   an argument.
jaroslav@67
   886
     * @param   b   another argument.
jaroslav@67
   887
     * @return  the smaller of {@code a} and {@code b}.
jaroslav@67
   888
     */
jaroslav@67
   889
    public static long min(long a, long b) {
jaroslav@67
   890
        return (a <= b) ? a : b;
jaroslav@67
   891
    }
jaroslav@67
   892
jaroslav@67
   893
    /**
jaroslav@67
   894
     * Returns the smaller of two {@code float} values.  That is,
jaroslav@67
   895
     * the result is the value closer to negative infinity. If the
jaroslav@67
   896
     * arguments have the same value, the result is that same
jaroslav@67
   897
     * value. If either value is NaN, then the result is NaN.  Unlike
jaroslav@67
   898
     * the numerical comparison operators, this method considers
jaroslav@67
   899
     * negative zero to be strictly smaller than positive zero.  If
jaroslav@67
   900
     * one argument is positive zero and the other is negative zero,
jaroslav@67
   901
     * the result is negative zero.
jaroslav@67
   902
     *
jaroslav@67
   903
     * @param   a   an argument.
jaroslav@67
   904
     * @param   b   another argument.
jaroslav@67
   905
     * @return  the smaller of {@code a} and {@code b}.
jaroslav@67
   906
     */
jaroslav@67
   907
    public static float min(float a, float b) {
jaroslav@67
   908
        if (a != a) return a;   // a is NaN
jaroslav@67
   909
        if ((a == 0.0f) && (b == 0.0f)
jaroslav@67
   910
            && (Float.floatToIntBits(b) == negativeZeroFloatBits)) {
jaroslav@67
   911
            return b;
jaroslav@67
   912
        }
jaroslav@67
   913
        return (a <= b) ? a : b;
jaroslav@67
   914
    }
jaroslav@67
   915
jaroslav@67
   916
    /**
jaroslav@67
   917
     * Returns the smaller of two {@code double} values.  That
jaroslav@67
   918
     * is, the result is the value closer to negative infinity. If the
jaroslav@67
   919
     * arguments have the same value, the result is that same
jaroslav@67
   920
     * value. If either value is NaN, then the result is NaN.  Unlike
jaroslav@67
   921
     * the numerical comparison operators, this method considers
jaroslav@67
   922
     * negative zero to be strictly smaller than positive zero. If one
jaroslav@67
   923
     * argument is positive zero and the other is negative zero, the
jaroslav@67
   924
     * result is negative zero.
jaroslav@67
   925
     *
jaroslav@67
   926
     * @param   a   an argument.
jaroslav@67
   927
     * @param   b   another argument.
jaroslav@67
   928
     * @return  the smaller of {@code a} and {@code b}.
jaroslav@67
   929
     */
jaroslav@67
   930
    public static double min(double a, double b) {
jaroslav@67
   931
        if (a != a) return a;   // a is NaN
jaroslav@67
   932
        if ((a == 0.0d) && (b == 0.0d)
jaroslav@67
   933
            && (Double.doubleToLongBits(b) == negativeZeroDoubleBits)) {
jaroslav@67
   934
            return b;
jaroslav@67
   935
        }
jaroslav@67
   936
        return (a <= b) ? a : b;
jaroslav@67
   937
    }
jaroslav@67
   938
jaroslav@67
   939
    /**
jaroslav@67
   940
     * Returns the size of an ulp of the argument.  An ulp of a
jaroslav@67
   941
     * {@code double} value is the positive distance between this
jaroslav@67
   942
     * floating-point value and the {@code double} value next
jaroslav@67
   943
     * larger in magnitude.  Note that for non-NaN <i>x</i>,
jaroslav@67
   944
     * <code>ulp(-<i>x</i>) == ulp(<i>x</i>)</code>.
jaroslav@67
   945
     *
jaroslav@67
   946
     * <p>Special Cases:
jaroslav@67
   947
     * <ul>
jaroslav@67
   948
     * <li> If the argument is NaN, then the result is NaN.
jaroslav@67
   949
     * <li> If the argument is positive or negative infinity, then the
jaroslav@67
   950
     * result is positive infinity.
jaroslav@67
   951
     * <li> If the argument is positive or negative zero, then the result is
jaroslav@67
   952
     * {@code Double.MIN_VALUE}.
jaroslav@67
   953
     * <li> If the argument is &plusmn;{@code Double.MAX_VALUE}, then
jaroslav@67
   954
     * the result is equal to 2<sup>971</sup>.
jaroslav@67
   955
     * </ul>
jaroslav@67
   956
     *
jaroslav@67
   957
     * @param d the floating-point value whose ulp is to be returned
jaroslav@67
   958
     * @return the size of an ulp of the argument
jaroslav@67
   959
     * @author Joseph D. Darcy
jaroslav@67
   960
     * @since 1.5
jaroslav@67
   961
     */
jaroslav@84
   962
//    public static double ulp(double d) {
jaroslav@84
   963
//        return sun.misc.FpUtils.ulp(d);
jaroslav@84
   964
//    }
jaroslav@67
   965
jaroslav@67
   966
    /**
jaroslav@67
   967
     * Returns the size of an ulp of the argument.  An ulp of a
jaroslav@67
   968
     * {@code float} value is the positive distance between this
jaroslav@67
   969
     * floating-point value and the {@code float} value next
jaroslav@67
   970
     * larger in magnitude.  Note that for non-NaN <i>x</i>,
jaroslav@67
   971
     * <code>ulp(-<i>x</i>) == ulp(<i>x</i>)</code>.
jaroslav@67
   972
     *
jaroslav@67
   973
     * <p>Special Cases:
jaroslav@67
   974
     * <ul>
jaroslav@67
   975
     * <li> If the argument is NaN, then the result is NaN.
jaroslav@67
   976
     * <li> If the argument is positive or negative infinity, then the
jaroslav@67
   977
     * result is positive infinity.
jaroslav@67
   978
     * <li> If the argument is positive or negative zero, then the result is
jaroslav@67
   979
     * {@code Float.MIN_VALUE}.
jaroslav@67
   980
     * <li> If the argument is &plusmn;{@code Float.MAX_VALUE}, then
jaroslav@67
   981
     * the result is equal to 2<sup>104</sup>.
jaroslav@67
   982
     * </ul>
jaroslav@67
   983
     *
jaroslav@67
   984
     * @param f the floating-point value whose ulp is to be returned
jaroslav@67
   985
     * @return the size of an ulp of the argument
jaroslav@67
   986
     * @author Joseph D. Darcy
jaroslav@67
   987
     * @since 1.5
jaroslav@67
   988
     */
jaroslav@84
   989
//    public static float ulp(float f) {
jaroslav@84
   990
//        return sun.misc.FpUtils.ulp(f);
jaroslav@84
   991
//    }
jaroslav@67
   992
jaroslav@67
   993
    /**
jaroslav@67
   994
     * Returns the signum function of the argument; zero if the argument
jaroslav@67
   995
     * is zero, 1.0 if the argument is greater than zero, -1.0 if the
jaroslav@67
   996
     * argument is less than zero.
jaroslav@67
   997
     *
jaroslav@67
   998
     * <p>Special Cases:
jaroslav@67
   999
     * <ul>
jaroslav@67
  1000
     * <li> If the argument is NaN, then the result is NaN.
jaroslav@67
  1001
     * <li> If the argument is positive zero or negative zero, then the
jaroslav@67
  1002
     *      result is the same as the argument.
jaroslav@67
  1003
     * </ul>
jaroslav@67
  1004
     *
jaroslav@67
  1005
     * @param d the floating-point value whose signum is to be returned
jaroslav@67
  1006
     * @return the signum function of the argument
jaroslav@67
  1007
     * @author Joseph D. Darcy
jaroslav@67
  1008
     * @since 1.5
jaroslav@67
  1009
     */
jaroslav@84
  1010
//    public static double signum(double d) {
jaroslav@84
  1011
//        return sun.misc.FpUtils.signum(d);
jaroslav@84
  1012
//    }
jaroslav@67
  1013
jaroslav@67
  1014
    /**
jaroslav@67
  1015
     * Returns the signum function of the argument; zero if the argument
jaroslav@67
  1016
     * is zero, 1.0f if the argument is greater than zero, -1.0f if the
jaroslav@67
  1017
     * argument is less than zero.
jaroslav@67
  1018
     *
jaroslav@67
  1019
     * <p>Special Cases:
jaroslav@67
  1020
     * <ul>
jaroslav@67
  1021
     * <li> If the argument is NaN, then the result is NaN.
jaroslav@67
  1022
     * <li> If the argument is positive zero or negative zero, then the
jaroslav@67
  1023
     *      result is the same as the argument.
jaroslav@67
  1024
     * </ul>
jaroslav@67
  1025
     *
jaroslav@67
  1026
     * @param f the floating-point value whose signum is to be returned
jaroslav@67
  1027
     * @return the signum function of the argument
jaroslav@67
  1028
     * @author Joseph D. Darcy
jaroslav@67
  1029
     * @since 1.5
jaroslav@67
  1030
     */
jaroslav@84
  1031
//    public static float signum(float f) {
jaroslav@84
  1032
//        return sun.misc.FpUtils.signum(f);
jaroslav@84
  1033
//    }
jaroslav@67
  1034
jaroslav@67
  1035
    /**
jaroslav@67
  1036
     * Returns the hyperbolic sine of a {@code double} value.
jaroslav@67
  1037
     * The hyperbolic sine of <i>x</i> is defined to be
jaroslav@67
  1038
     * (<i>e<sup>x</sup>&nbsp;-&nbsp;e<sup>-x</sup></i>)/2
jaroslav@67
  1039
     * where <i>e</i> is {@linkplain Math#E Euler's number}.
jaroslav@67
  1040
     *
jaroslav@67
  1041
     * <p>Special cases:
jaroslav@67
  1042
     * <ul>
jaroslav@67
  1043
     *
jaroslav@67
  1044
     * <li>If the argument is NaN, then the result is NaN.
jaroslav@67
  1045
     *
jaroslav@67
  1046
     * <li>If the argument is infinite, then the result is an infinity
jaroslav@67
  1047
     * with the same sign as the argument.
jaroslav@67
  1048
     *
jaroslav@67
  1049
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
  1050
     * same sign as the argument.
jaroslav@67
  1051
     *
jaroslav@67
  1052
     * </ul>
jaroslav@67
  1053
     *
jaroslav@67
  1054
     * <p>The computed result must be within 2.5 ulps of the exact result.
jaroslav@67
  1055
     *
jaroslav@67
  1056
     * @param   x The number whose hyperbolic sine is to be returned.
jaroslav@67
  1057
     * @return  The hyperbolic sine of {@code x}.
jaroslav@67
  1058
     * @since 1.5
jaroslav@67
  1059
     */
jaroslav@67
  1060
    public static double sinh(double x) {
jaroslav@67
  1061
        return StrictMath.sinh(x);
jaroslav@67
  1062
    }
jaroslav@67
  1063
jaroslav@67
  1064
    /**
jaroslav@67
  1065
     * Returns the hyperbolic cosine of a {@code double} value.
jaroslav@67
  1066
     * The hyperbolic cosine of <i>x</i> is defined to be
jaroslav@67
  1067
     * (<i>e<sup>x</sup>&nbsp;+&nbsp;e<sup>-x</sup></i>)/2
jaroslav@67
  1068
     * where <i>e</i> is {@linkplain Math#E Euler's number}.
jaroslav@67
  1069
     *
jaroslav@67
  1070
     * <p>Special cases:
jaroslav@67
  1071
     * <ul>
jaroslav@67
  1072
     *
jaroslav@67
  1073
     * <li>If the argument is NaN, then the result is NaN.
jaroslav@67
  1074
     *
jaroslav@67
  1075
     * <li>If the argument is infinite, then the result is positive
jaroslav@67
  1076
     * infinity.
jaroslav@67
  1077
     *
jaroslav@67
  1078
     * <li>If the argument is zero, then the result is {@code 1.0}.
jaroslav@67
  1079
     *
jaroslav@67
  1080
     * </ul>
jaroslav@67
  1081
     *
jaroslav@67
  1082
     * <p>The computed result must be within 2.5 ulps of the exact result.
jaroslav@67
  1083
     *
jaroslav@67
  1084
     * @param   x The number whose hyperbolic cosine is to be returned.
jaroslav@67
  1085
     * @return  The hyperbolic cosine of {@code x}.
jaroslav@67
  1086
     * @since 1.5
jaroslav@67
  1087
     */
jaroslav@67
  1088
    public static double cosh(double x) {
jaroslav@67
  1089
        return StrictMath.cosh(x);
jaroslav@67
  1090
    }
jaroslav@67
  1091
jaroslav@67
  1092
    /**
jaroslav@67
  1093
     * Returns the hyperbolic tangent of a {@code double} value.
jaroslav@67
  1094
     * The hyperbolic tangent of <i>x</i> is defined to be
jaroslav@67
  1095
     * (<i>e<sup>x</sup>&nbsp;-&nbsp;e<sup>-x</sup></i>)/(<i>e<sup>x</sup>&nbsp;+&nbsp;e<sup>-x</sup></i>),
jaroslav@67
  1096
     * in other words, {@linkplain Math#sinh
jaroslav@67
  1097
     * sinh(<i>x</i>)}/{@linkplain Math#cosh cosh(<i>x</i>)}.  Note
jaroslav@67
  1098
     * that the absolute value of the exact tanh is always less than
jaroslav@67
  1099
     * 1.
jaroslav@67
  1100
     *
jaroslav@67
  1101
     * <p>Special cases:
jaroslav@67
  1102
     * <ul>
jaroslav@67
  1103
     *
jaroslav@67
  1104
     * <li>If the argument is NaN, then the result is NaN.
jaroslav@67
  1105
     *
jaroslav@67
  1106
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
  1107
     * same sign as the argument.
jaroslav@67
  1108
     *
jaroslav@67
  1109
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
  1110
     * {@code +1.0}.
jaroslav@67
  1111
     *
jaroslav@67
  1112
     * <li>If the argument is negative infinity, then the result is
jaroslav@67
  1113
     * {@code -1.0}.
jaroslav@67
  1114
     *
jaroslav@67
  1115
     * </ul>
jaroslav@67
  1116
     *
jaroslav@67
  1117
     * <p>The computed result must be within 2.5 ulps of the exact result.
jaroslav@67
  1118
     * The result of {@code tanh} for any finite input must have
jaroslav@67
  1119
     * an absolute value less than or equal to 1.  Note that once the
jaroslav@67
  1120
     * exact result of tanh is within 1/2 of an ulp of the limit value
jaroslav@67
  1121
     * of &plusmn;1, correctly signed &plusmn;{@code 1.0} should
jaroslav@67
  1122
     * be returned.
jaroslav@67
  1123
     *
jaroslav@67
  1124
     * @param   x The number whose hyperbolic tangent is to be returned.
jaroslav@67
  1125
     * @return  The hyperbolic tangent of {@code x}.
jaroslav@67
  1126
     * @since 1.5
jaroslav@67
  1127
     */
jaroslav@67
  1128
    public static double tanh(double x) {
jaroslav@67
  1129
        return StrictMath.tanh(x);
jaroslav@67
  1130
    }
jaroslav@67
  1131
jaroslav@67
  1132
    /**
jaroslav@67
  1133
     * Returns sqrt(<i>x</i><sup>2</sup>&nbsp;+<i>y</i><sup>2</sup>)
jaroslav@67
  1134
     * without intermediate overflow or underflow.
jaroslav@67
  1135
     *
jaroslav@67
  1136
     * <p>Special cases:
jaroslav@67
  1137
     * <ul>
jaroslav@67
  1138
     *
jaroslav@67
  1139
     * <li> If either argument is infinite, then the result
jaroslav@67
  1140
     * is positive infinity.
jaroslav@67
  1141
     *
jaroslav@67
  1142
     * <li> If either argument is NaN and neither argument is infinite,
jaroslav@67
  1143
     * then the result is NaN.
jaroslav@67
  1144
     *
jaroslav@67
  1145
     * </ul>
jaroslav@67
  1146
     *
jaroslav@67
  1147
     * <p>The computed result must be within 1 ulp of the exact
jaroslav@67
  1148
     * result.  If one parameter is held constant, the results must be
jaroslav@67
  1149
     * semi-monotonic in the other parameter.
jaroslav@67
  1150
     *
jaroslav@67
  1151
     * @param x a value
jaroslav@67
  1152
     * @param y a value
jaroslav@67
  1153
     * @return sqrt(<i>x</i><sup>2</sup>&nbsp;+<i>y</i><sup>2</sup>)
jaroslav@67
  1154
     * without intermediate overflow or underflow
jaroslav@67
  1155
     * @since 1.5
jaroslav@67
  1156
     */
jaroslav@67
  1157
    public static double hypot(double x, double y) {
jaroslav@67
  1158
        return StrictMath.hypot(x, y);
jaroslav@67
  1159
    }
jaroslav@67
  1160
jaroslav@67
  1161
    /**
jaroslav@67
  1162
     * Returns <i>e</i><sup>x</sup>&nbsp;-1.  Note that for values of
jaroslav@67
  1163
     * <i>x</i> near 0, the exact sum of
jaroslav@67
  1164
     * {@code expm1(x)}&nbsp;+&nbsp;1 is much closer to the true
jaroslav@67
  1165
     * result of <i>e</i><sup>x</sup> than {@code exp(x)}.
jaroslav@67
  1166
     *
jaroslav@67
  1167
     * <p>Special cases:
jaroslav@67
  1168
     * <ul>
jaroslav@67
  1169
     * <li>If the argument is NaN, the result is NaN.
jaroslav@67
  1170
     *
jaroslav@67
  1171
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
  1172
     * positive infinity.
jaroslav@67
  1173
     *
jaroslav@67
  1174
     * <li>If the argument is negative infinity, then the result is
jaroslav@67
  1175
     * -1.0.
jaroslav@67
  1176
     *
jaroslav@67
  1177
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
  1178
     * same sign as the argument.
jaroslav@67
  1179
     *
jaroslav@67
  1180
     * </ul>
jaroslav@67
  1181
     *
jaroslav@67
  1182
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
  1183
     * Results must be semi-monotonic.  The result of
jaroslav@67
  1184
     * {@code expm1} for any finite input must be greater than or
jaroslav@67
  1185
     * equal to {@code -1.0}.  Note that once the exact result of
jaroslav@67
  1186
     * <i>e</i><sup>{@code x}</sup>&nbsp;-&nbsp;1 is within 1/2
jaroslav@67
  1187
     * ulp of the limit value -1, {@code -1.0} should be
jaroslav@67
  1188
     * returned.
jaroslav@67
  1189
     *
jaroslav@67
  1190
     * @param   x   the exponent to raise <i>e</i> to in the computation of
jaroslav@67
  1191
     *              <i>e</i><sup>{@code x}</sup>&nbsp;-1.
jaroslav@67
  1192
     * @return  the value <i>e</i><sup>{@code x}</sup>&nbsp;-&nbsp;1.
jaroslav@67
  1193
     * @since 1.5
jaroslav@67
  1194
     */
jaroslav@67
  1195
    public static double expm1(double x) {
jaroslav@67
  1196
        return StrictMath.expm1(x);
jaroslav@67
  1197
    }
jaroslav@67
  1198
jaroslav@67
  1199
    /**
jaroslav@67
  1200
     * Returns the natural logarithm of the sum of the argument and 1.
jaroslav@67
  1201
     * Note that for small values {@code x}, the result of
jaroslav@67
  1202
     * {@code log1p(x)} is much closer to the true result of ln(1
jaroslav@67
  1203
     * + {@code x}) than the floating-point evaluation of
jaroslav@67
  1204
     * {@code log(1.0+x)}.
jaroslav@67
  1205
     *
jaroslav@67
  1206
     * <p>Special cases:
jaroslav@67
  1207
     *
jaroslav@67
  1208
     * <ul>
jaroslav@67
  1209
     *
jaroslav@67
  1210
     * <li>If the argument is NaN or less than -1, then the result is
jaroslav@67
  1211
     * NaN.
jaroslav@67
  1212
     *
jaroslav@67
  1213
     * <li>If the argument is positive infinity, then the result is
jaroslav@67
  1214
     * positive infinity.
jaroslav@67
  1215
     *
jaroslav@67
  1216
     * <li>If the argument is negative one, then the result is
jaroslav@67
  1217
     * negative infinity.
jaroslav@67
  1218
     *
jaroslav@67
  1219
     * <li>If the argument is zero, then the result is a zero with the
jaroslav@67
  1220
     * same sign as the argument.
jaroslav@67
  1221
     *
jaroslav@67
  1222
     * </ul>
jaroslav@67
  1223
     *
jaroslav@67
  1224
     * <p>The computed result must be within 1 ulp of the exact result.
jaroslav@67
  1225
     * Results must be semi-monotonic.
jaroslav@67
  1226
     *
jaroslav@67
  1227
     * @param   x   a value
jaroslav@67
  1228
     * @return the value ln({@code x}&nbsp;+&nbsp;1), the natural
jaroslav@67
  1229
     * log of {@code x}&nbsp;+&nbsp;1
jaroslav@67
  1230
     * @since 1.5
jaroslav@67
  1231
     */
jaroslav@67
  1232
    public static double log1p(double x) {
jaroslav@67
  1233
        return StrictMath.log1p(x);
jaroslav@67
  1234
    }
jaroslav@67
  1235
jaroslav@67
  1236
    /**
jaroslav@67
  1237
     * Returns the first floating-point argument with the sign of the
jaroslav@67
  1238
     * second floating-point argument.  Note that unlike the {@link
jaroslav@67
  1239
     * StrictMath#copySign(double, double) StrictMath.copySign}
jaroslav@67
  1240
     * method, this method does not require NaN {@code sign}
jaroslav@67
  1241
     * arguments to be treated as positive values; implementations are
jaroslav@67
  1242
     * permitted to treat some NaN arguments as positive and other NaN
jaroslav@67
  1243
     * arguments as negative to allow greater performance.
jaroslav@67
  1244
     *
jaroslav@67
  1245
     * @param magnitude  the parameter providing the magnitude of the result
jaroslav@67
  1246
     * @param sign   the parameter providing the sign of the result
jaroslav@67
  1247
     * @return a value with the magnitude of {@code magnitude}
jaroslav@67
  1248
     * and the sign of {@code sign}.
jaroslav@67
  1249
     * @since 1.6
jaroslav@67
  1250
     */
jaroslav@84
  1251
//    public static double copySign(double magnitude, double sign) {
jaroslav@84
  1252
//        return sun.misc.FpUtils.rawCopySign(magnitude, sign);
jaroslav@84
  1253
//    }
jaroslav@67
  1254
jaroslav@67
  1255
    /**
jaroslav@67
  1256
     * Returns the first floating-point argument with the sign of the
jaroslav@67
  1257
     * second floating-point argument.  Note that unlike the {@link
jaroslav@67
  1258
     * StrictMath#copySign(float, float) StrictMath.copySign}
jaroslav@67
  1259
     * method, this method does not require NaN {@code sign}
jaroslav@67
  1260
     * arguments to be treated as positive values; implementations are
jaroslav@67
  1261
     * permitted to treat some NaN arguments as positive and other NaN
jaroslav@67
  1262
     * arguments as negative to allow greater performance.
jaroslav@67
  1263
     *
jaroslav@67
  1264
     * @param magnitude  the parameter providing the magnitude of the result
jaroslav@67
  1265
     * @param sign   the parameter providing the sign of the result
jaroslav@67
  1266
     * @return a value with the magnitude of {@code magnitude}
jaroslav@67
  1267
     * and the sign of {@code sign}.
jaroslav@67
  1268
     * @since 1.6
jaroslav@67
  1269
     */
jaroslav@84
  1270
//    public static float copySign(float magnitude, float sign) {
jaroslav@84
  1271
//        return sun.misc.FpUtils.rawCopySign(magnitude, sign);
jaroslav@84
  1272
//    }
jaroslav@67
  1273
jaroslav@67
  1274
    /**
jaroslav@67
  1275
     * Returns the unbiased exponent used in the representation of a
jaroslav@67
  1276
     * {@code float}.  Special cases:
jaroslav@67
  1277
     *
jaroslav@67
  1278
     * <ul>
jaroslav@67
  1279
     * <li>If the argument is NaN or infinite, then the result is
jaroslav@67
  1280
     * {@link Float#MAX_EXPONENT} + 1.
jaroslav@67
  1281
     * <li>If the argument is zero or subnormal, then the result is
jaroslav@67
  1282
     * {@link Float#MIN_EXPONENT} -1.
jaroslav@67
  1283
     * </ul>
jaroslav@67
  1284
     * @param f a {@code float} value
jaroslav@67
  1285
     * @return the unbiased exponent of the argument
jaroslav@67
  1286
     * @since 1.6
jaroslav@67
  1287
     */
jaroslav@84
  1288
//    public static int getExponent(float f) {
jaroslav@84
  1289
//        return sun.misc.FpUtils.getExponent(f);
jaroslav@84
  1290
//    }
jaroslav@67
  1291
jaroslav@67
  1292
    /**
jaroslav@67
  1293
     * Returns the unbiased exponent used in the representation of a
jaroslav@67
  1294
     * {@code double}.  Special cases:
jaroslav@67
  1295
     *
jaroslav@67
  1296
     * <ul>
jaroslav@67
  1297
     * <li>If the argument is NaN or infinite, then the result is
jaroslav@67
  1298
     * {@link Double#MAX_EXPONENT} + 1.
jaroslav@67
  1299
     * <li>If the argument is zero or subnormal, then the result is
jaroslav@67
  1300
     * {@link Double#MIN_EXPONENT} -1.
jaroslav@67
  1301
     * </ul>
jaroslav@67
  1302
     * @param d a {@code double} value
jaroslav@67
  1303
     * @return the unbiased exponent of the argument
jaroslav@67
  1304
     * @since 1.6
jaroslav@67
  1305
     */
jaroslav@84
  1306
//    public static int getExponent(double d) {
jaroslav@84
  1307
//        return sun.misc.FpUtils.getExponent(d);
jaroslav@84
  1308
//    }
jaroslav@67
  1309
jaroslav@67
  1310
    /**
jaroslav@67
  1311
     * Returns the floating-point number adjacent to the first
jaroslav@67
  1312
     * argument in the direction of the second argument.  If both
jaroslav@67
  1313
     * arguments compare as equal the second argument is returned.
jaroslav@67
  1314
     *
jaroslav@67
  1315
     * <p>
jaroslav@67
  1316
     * Special cases:
jaroslav@67
  1317
     * <ul>
jaroslav@67
  1318
     * <li> If either argument is a NaN, then NaN is returned.
jaroslav@67
  1319
     *
jaroslav@67
  1320
     * <li> If both arguments are signed zeros, {@code direction}
jaroslav@67
  1321
     * is returned unchanged (as implied by the requirement of
jaroslav@67
  1322
     * returning the second argument if the arguments compare as
jaroslav@67
  1323
     * equal).
jaroslav@67
  1324
     *
jaroslav@67
  1325
     * <li> If {@code start} is
jaroslav@67
  1326
     * &plusmn;{@link Double#MIN_VALUE} and {@code direction}
jaroslav@67
  1327
     * has a value such that the result should have a smaller
jaroslav@67
  1328
     * magnitude, then a zero with the same sign as {@code start}
jaroslav@67
  1329
     * is returned.
jaroslav@67
  1330
     *
jaroslav@67
  1331
     * <li> If {@code start} is infinite and
jaroslav@67
  1332
     * {@code direction} has a value such that the result should
jaroslav@67
  1333
     * have a smaller magnitude, {@link Double#MAX_VALUE} with the
jaroslav@67
  1334
     * same sign as {@code start} is returned.
jaroslav@67
  1335
     *
jaroslav@67
  1336
     * <li> If {@code start} is equal to &plusmn;
jaroslav@67
  1337
     * {@link Double#MAX_VALUE} and {@code direction} has a
jaroslav@67
  1338
     * value such that the result should have a larger magnitude, an
jaroslav@67
  1339
     * infinity with same sign as {@code start} is returned.
jaroslav@67
  1340
     * </ul>
jaroslav@67
  1341
     *
jaroslav@67
  1342
     * @param start  starting floating-point value
jaroslav@67
  1343
     * @param direction value indicating which of
jaroslav@67
  1344
     * {@code start}'s neighbors or {@code start} should
jaroslav@67
  1345
     * be returned
jaroslav@67
  1346
     * @return The floating-point number adjacent to {@code start} in the
jaroslav@67
  1347
     * direction of {@code direction}.
jaroslav@67
  1348
     * @since 1.6
jaroslav@67
  1349
     */
jaroslav@84
  1350
//    public static double nextAfter(double start, double direction) {
jaroslav@84
  1351
//        return sun.misc.FpUtils.nextAfter(start, direction);
jaroslav@84
  1352
//    }
jaroslav@67
  1353
jaroslav@67
  1354
    /**
jaroslav@67
  1355
     * Returns the floating-point number adjacent to the first
jaroslav@67
  1356
     * argument in the direction of the second argument.  If both
jaroslav@67
  1357
     * arguments compare as equal a value equivalent to the second argument
jaroslav@67
  1358
     * is returned.
jaroslav@67
  1359
     *
jaroslav@67
  1360
     * <p>
jaroslav@67
  1361
     * Special cases:
jaroslav@67
  1362
     * <ul>
jaroslav@67
  1363
     * <li> If either argument is a NaN, then NaN is returned.
jaroslav@67
  1364
     *
jaroslav@67
  1365
     * <li> If both arguments are signed zeros, a value equivalent
jaroslav@67
  1366
     * to {@code direction} is returned.
jaroslav@67
  1367
     *
jaroslav@67
  1368
     * <li> If {@code start} is
jaroslav@67
  1369
     * &plusmn;{@link Float#MIN_VALUE} and {@code direction}
jaroslav@67
  1370
     * has a value such that the result should have a smaller
jaroslav@67
  1371
     * magnitude, then a zero with the same sign as {@code start}
jaroslav@67
  1372
     * is returned.
jaroslav@67
  1373
     *
jaroslav@67
  1374
     * <li> If {@code start} is infinite and
jaroslav@67
  1375
     * {@code direction} has a value such that the result should
jaroslav@67
  1376
     * have a smaller magnitude, {@link Float#MAX_VALUE} with the
jaroslav@67
  1377
     * same sign as {@code start} is returned.
jaroslav@67
  1378
     *
jaroslav@67
  1379
     * <li> If {@code start} is equal to &plusmn;
jaroslav@67
  1380
     * {@link Float#MAX_VALUE} and {@code direction} has a
jaroslav@67
  1381
     * value such that the result should have a larger magnitude, an
jaroslav@67
  1382
     * infinity with same sign as {@code start} is returned.
jaroslav@67
  1383
     * </ul>
jaroslav@67
  1384
     *
jaroslav@67
  1385
     * @param start  starting floating-point value
jaroslav@67
  1386
     * @param direction value indicating which of
jaroslav@67
  1387
     * {@code start}'s neighbors or {@code start} should
jaroslav@67
  1388
     * be returned
jaroslav@67
  1389
     * @return The floating-point number adjacent to {@code start} in the
jaroslav@67
  1390
     * direction of {@code direction}.
jaroslav@67
  1391
     * @since 1.6
jaroslav@67
  1392
     */
jaroslav@84
  1393
//    public static float nextAfter(float start, double direction) {
jaroslav@84
  1394
//        return sun.misc.FpUtils.nextAfter(start, direction);
jaroslav@84
  1395
//    }
jaroslav@67
  1396
jaroslav@67
  1397
    /**
jaroslav@67
  1398
     * Returns the floating-point value adjacent to {@code d} in
jaroslav@67
  1399
     * the direction of positive infinity.  This method is
jaroslav@67
  1400
     * semantically equivalent to {@code nextAfter(d,
jaroslav@67
  1401
     * Double.POSITIVE_INFINITY)}; however, a {@code nextUp}
jaroslav@67
  1402
     * implementation may run faster than its equivalent
jaroslav@67
  1403
     * {@code nextAfter} call.
jaroslav@67
  1404
     *
jaroslav@67
  1405
     * <p>Special Cases:
jaroslav@67
  1406
     * <ul>
jaroslav@67
  1407
     * <li> If the argument is NaN, the result is NaN.
jaroslav@67
  1408
     *
jaroslav@67
  1409
     * <li> If the argument is positive infinity, the result is
jaroslav@67
  1410
     * positive infinity.
jaroslav@67
  1411
     *
jaroslav@67
  1412
     * <li> If the argument is zero, the result is
jaroslav@67
  1413
     * {@link Double#MIN_VALUE}
jaroslav@67
  1414
     *
jaroslav@67
  1415
     * </ul>
jaroslav@67
  1416
     *
jaroslav@67
  1417
     * @param d starting floating-point value
jaroslav@67
  1418
     * @return The adjacent floating-point value closer to positive
jaroslav@67
  1419
     * infinity.
jaroslav@67
  1420
     * @since 1.6
jaroslav@67
  1421
     */
jaroslav@84
  1422
//    public static double nextUp(double d) {
jaroslav@84
  1423
//        return sun.misc.FpUtils.nextUp(d);
jaroslav@84
  1424
//    }
jaroslav@67
  1425
jaroslav@67
  1426
    /**
jaroslav@67
  1427
     * Returns the floating-point value adjacent to {@code f} in
jaroslav@67
  1428
     * the direction of positive infinity.  This method is
jaroslav@67
  1429
     * semantically equivalent to {@code nextAfter(f,
jaroslav@67
  1430
     * Float.POSITIVE_INFINITY)}; however, a {@code nextUp}
jaroslav@67
  1431
     * implementation may run faster than its equivalent
jaroslav@67
  1432
     * {@code nextAfter} call.
jaroslav@67
  1433
     *
jaroslav@67
  1434
     * <p>Special Cases:
jaroslav@67
  1435
     * <ul>
jaroslav@67
  1436
     * <li> If the argument is NaN, the result is NaN.
jaroslav@67
  1437
     *
jaroslav@67
  1438
     * <li> If the argument is positive infinity, the result is
jaroslav@67
  1439
     * positive infinity.
jaroslav@67
  1440
     *
jaroslav@67
  1441
     * <li> If the argument is zero, the result is
jaroslav@67
  1442
     * {@link Float#MIN_VALUE}
jaroslav@67
  1443
     *
jaroslav@67
  1444
     * </ul>
jaroslav@67
  1445
     *
jaroslav@67
  1446
     * @param f starting floating-point value
jaroslav@67
  1447
     * @return The adjacent floating-point value closer to positive
jaroslav@67
  1448
     * infinity.
jaroslav@67
  1449
     * @since 1.6
jaroslav@67
  1450
     */
jaroslav@84
  1451
//    public static float nextUp(float f) {
jaroslav@84
  1452
//        return sun.misc.FpUtils.nextUp(f);
jaroslav@84
  1453
//    }
jaroslav@67
  1454
jaroslav@67
  1455
jaroslav@67
  1456
    /**
jaroslav@67
  1457
     * Return {@code d} &times;
jaroslav@67
  1458
     * 2<sup>{@code scaleFactor}</sup> rounded as if performed
jaroslav@67
  1459
     * by a single correctly rounded floating-point multiply to a
jaroslav@67
  1460
     * member of the double value set.  See the Java
jaroslav@67
  1461
     * Language Specification for a discussion of floating-point
jaroslav@67
  1462
     * value sets.  If the exponent of the result is between {@link
jaroslav@67
  1463
     * Double#MIN_EXPONENT} and {@link Double#MAX_EXPONENT}, the
jaroslav@67
  1464
     * answer is calculated exactly.  If the exponent of the result
jaroslav@67
  1465
     * would be larger than {@code Double.MAX_EXPONENT}, an
jaroslav@67
  1466
     * infinity is returned.  Note that if the result is subnormal,
jaroslav@67
  1467
     * precision may be lost; that is, when {@code scalb(x, n)}
jaroslav@67
  1468
     * is subnormal, {@code scalb(scalb(x, n), -n)} may not equal
jaroslav@67
  1469
     * <i>x</i>.  When the result is non-NaN, the result has the same
jaroslav@67
  1470
     * sign as {@code d}.
jaroslav@67
  1471
     *
jaroslav@67
  1472
     * <p>Special cases:
jaroslav@67
  1473
     * <ul>
jaroslav@67
  1474
     * <li> If the first argument is NaN, NaN is returned.
jaroslav@67
  1475
     * <li> If the first argument is infinite, then an infinity of the
jaroslav@67
  1476
     * same sign is returned.
jaroslav@67
  1477
     * <li> If the first argument is zero, then a zero of the same
jaroslav@67
  1478
     * sign is returned.
jaroslav@67
  1479
     * </ul>
jaroslav@67
  1480
     *
jaroslav@67
  1481
     * @param d number to be scaled by a power of two.
jaroslav@67
  1482
     * @param scaleFactor power of 2 used to scale {@code d}
jaroslav@67
  1483
     * @return {@code d} &times; 2<sup>{@code scaleFactor}</sup>
jaroslav@67
  1484
     * @since 1.6
jaroslav@67
  1485
     */
jaroslav@84
  1486
//    public static double scalb(double d, int scaleFactor) {
jaroslav@84
  1487
//        return sun.misc.FpUtils.scalb(d, scaleFactor);
jaroslav@84
  1488
//    }
jaroslav@67
  1489
jaroslav@67
  1490
    /**
jaroslav@67
  1491
     * Return {@code f} &times;
jaroslav@67
  1492
     * 2<sup>{@code scaleFactor}</sup> rounded as if performed
jaroslav@67
  1493
     * by a single correctly rounded floating-point multiply to a
jaroslav@67
  1494
     * member of the float value set.  See the Java
jaroslav@67
  1495
     * Language Specification for a discussion of floating-point
jaroslav@67
  1496
     * value sets.  If the exponent of the result is between {@link
jaroslav@67
  1497
     * Float#MIN_EXPONENT} and {@link Float#MAX_EXPONENT}, the
jaroslav@67
  1498
     * answer is calculated exactly.  If the exponent of the result
jaroslav@67
  1499
     * would be larger than {@code Float.MAX_EXPONENT}, an
jaroslav@67
  1500
     * infinity is returned.  Note that if the result is subnormal,
jaroslav@67
  1501
     * precision may be lost; that is, when {@code scalb(x, n)}
jaroslav@67
  1502
     * is subnormal, {@code scalb(scalb(x, n), -n)} may not equal
jaroslav@67
  1503
     * <i>x</i>.  When the result is non-NaN, the result has the same
jaroslav@67
  1504
     * sign as {@code f}.
jaroslav@67
  1505
     *
jaroslav@67
  1506
     * <p>Special cases:
jaroslav@67
  1507
     * <ul>
jaroslav@67
  1508
     * <li> If the first argument is NaN, NaN is returned.
jaroslav@67
  1509
     * <li> If the first argument is infinite, then an infinity of the
jaroslav@67
  1510
     * same sign is returned.
jaroslav@67
  1511
     * <li> If the first argument is zero, then a zero of the same
jaroslav@67
  1512
     * sign is returned.
jaroslav@67
  1513
     * </ul>
jaroslav@67
  1514
     *
jaroslav@67
  1515
     * @param f number to be scaled by a power of two.
jaroslav@67
  1516
     * @param scaleFactor power of 2 used to scale {@code f}
jaroslav@67
  1517
     * @return {@code f} &times; 2<sup>{@code scaleFactor}</sup>
jaroslav@67
  1518
     * @since 1.6
jaroslav@67
  1519
     */
jaroslav@84
  1520
//    public static float scalb(float f, int scaleFactor) {
jaroslav@84
  1521
//        return sun.misc.FpUtils.scalb(f, scaleFactor);
jaroslav@84
  1522
//    }
jaroslav@67
  1523
}