Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.programmer > #38411

Re: Has Android different floats?

From "Arne Vajhøj" <arne vajhøj@1:261/38.remove-101j-this>
Newsgroups comp.lang.java.programmer
Subject Re: Has Android different floats?
Date 2018-06-24 15:21 -0500
Organization Agency News - Dunedin, New Zealand
Message-ID <5B324677.1150.ucljprogr@castlerockbbs.com> (permalink)
References <5B324677.1149.ucljprogr@castlerockbbs.com>

Show all headers | View raw


  To: j4n bur53
From: =?UTF-8?Q?Arne_Vajh=c3=b8j?= <arne@vajhoej.dk>

On 6/24/2018 2:41 PM, j4n bur53 wrote:
> Running a simple test.
> ** is Math.pow(),
> ^ is BigInteger.pow() and then BigInteger.doubleValue().
>
> On Java:
>
>  ā  ?- between(15,30,N), X is 10**N-10^N, write(N-X), nl, fail; true.
>  ā  15-0.0

>  ā  23-1.6777216E7

>  ā  29-0.0
>  ā  30-0.0
>
> On Adroid:
>
>  ā  ?- between(15,30,N), X is 10**N-10^N, write(N-X), nl, fail; true.
>  ā  15-0.0

>  ā  23-0.0

>  ā  29-1.7592186044416E13
>  ā  30-0.0
>
> Has Android different floats?
> Tested jdk1.8.0_152 against Android 8.0.0

ARM supposedly use standard IEEE 754 FP.

But I wonder if usage of strictfp would change your results.

Arne

--- BBBS/Li6 v4.10 Toy-3
 * Origin: Prism bbs (1:261/38)

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Has Android different floats? "j4n bur53" <j4n.bur53@1:261/38.remove-101j-this> - 2018-06-24 20:41 -0500
  Re: Has Android different floats? "Arne Vajhøj" <arne vajhøj@1:261/38.remove-101j-this> - 2018-06-24 15:21 -0500
    Re: Has Android different floats? "bursejan" <bursejan@1:261/38.remove-101j-this> - 2018-06-24 13:31 -0500
      Re: Has Android different floats? "bursejan" <bursejan@1:261/38.remove-101j-this> - 2018-06-24 13:35 -0500
        Re: Has Android different floats? "bursejan" <bursejan@1:261/38.remove-101j-this> - 2018-06-24 13:44 -0500
        Re: Has Android different floats? "Eric Sosman" <eric.sosman@1:261/38.remove-101j-this> - 2018-06-24 17:28 -0500
          Re: Has Android different floats? "bursejan" <bursejan@1:261/38.remove-101j-this> - 2018-06-24 16:08 -0500
            Re: Has Android different floats? "bursejan" <bursejan@1:261/38.remove-i5b-this> - 2018-06-26 10:29 -0500

csiph-web