quaeratin/test/double-expansion/grow-expansion.spec.ts

An extended precision floating point library (as per Shewchuk) - precision only limited by overflow / underflow

import { expect, assert } from 'chai';
import { describe } from 'mocha';
import { growExpansion, eCompress } from '../../src/index.js';
import { isNonOverlappingAll } from '../../src/index.js';;
import { isValid } from '../helpers/is-valid.js';


describe('grow expansion (i.e. a[] + b)', function() {
	it('should add two numbers (via growExpansion) without any error', 
	function() {
		let a = [3.01e-19, 2e-1];
		let b = 4e+1;

		assert(
			isNonOverlappingAll(a), 
			'The first summand should not be an overlapping expansion.'
		);

		let e = growExpansion(a,b);

		assert(
			isValid(e),
			'The result of growExpansion should be a non-overlapping, non-adjacent expansion'
		);

		expect(e).to.eql([
			3.01e-19,
			-2.831068712794149e-15,
			40.2
		]);

		expect(eCompress(e)).to.eql([
			1.5542254651204993e-31,
			-2.8307677127941493e-15,
			40.2
		]);
	});
});