Quelle S9.3.1_A9.js

Sprache: JAVA

// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
info: |
 The MV of StrUnsignedDecimalLiteral::: DecimalDigits. DecimalDigits ExponentPart
 is (the MV of the first DecimalDigits plus (the MV of the second DecimalDigits times
 10-n)) times 10e, where n is the number
 of characters in the second DecimalDigits and e is the MV of ExponentPart
es5id: 9.3.1_A9
description: >
 Compare Number('1234.5678e9') with
 (Number('1234')+(Number('5678')*1e-4))*1e9, and +('1234.5678e-9')
 with (Number('1234')+(Number('5678')*1e-4))*1e-9
---*/
assert.sameValue(
 (Number("1234") + (Number("5678") * 1e-4)) * 1e9,
 1234.5678e9,
 'Number("1234.5678e9") must return (Number("1234") + (Number("5678") * 1e-4)) * 1e9'
);

assert.sameValue(
 (Number("1234") + (Number("5678") * 1e-4)) * 1e-9,
 1234.5678e-9,
 'The value of `+("1234.5678e-9")` is expected to be (Number("1234") + (Number("5678") * 1e-4)) * 1e-9'
);

reportCompare(0, 0);

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.2 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.