1
0
mirror of https://github.com/danog/math.git synced 2024-12-12 09:19:53 +01:00
math/tests/BigIntegerTest.php
Benjamin Morel 27bc623b70 BigNumber::of() now throws NumberFormatException instead of InvalidArgumentException
This allows to catch all of() exceptions with the parent, ArithmeticException.
2015-06-22 22:13:19 +02:00

1238 lines
46 KiB
PHP

<?php
namespace Brick\Math\Tests;
use Brick\Math\BigInteger;
/**
* Unit tests for class BigInteger.
*/
class BigIntegerTest extends AbstractTestCase
{
/**
* @dataProvider providerOf
*
* @param string|number $value The value to convert to a BigInteger.
* @param string $expected The expected string value of the result.
*/
public function testOf($value, $expected)
{
$this->assertBigIntegerEquals($expected, BigInteger::of($value));
}
/**
* @return array
*/
public function providerOf()
{
return [
[0, '0'],
[1, '1'],
[-1, '-1'],
[123456789, '123456789'],
[-123456789, '-123456789'],
[PHP_INT_MAX, (string) PHP_INT_MAX],
[~PHP_INT_MAX, (string) ~PHP_INT_MAX],
[0.0, '0'],
[1.0, '1'],
[-0.0, '0'],
[-1.0, '-1'],
['0.0', '0'],
['1.0', '1'],
['-1.00', '-1'],
[1.2e5, '120000'],
[-1.2e5, '-120000'],
['1e20', '100000000000000000000'],
['-3e+50', '-300000000000000000000000000000000000000000000000000'],
['0', '0'],
['+0', '0'],
['-0', '0'],
['1', '1'],
['+1', '1'],
['-1', '-1'],
['00', '0'],
['+00', '0'],
['-00', '0'],
['01', '1'],
['+01', '1'],
['-01', '-1'],
['123456789012345678901234567890', '123456789012345678901234567890'],
['+123456789012345678901234567890', '123456789012345678901234567890'],
['-123456789012345678901234567890', '-123456789012345678901234567890'],
['0123456789012345678901234567890', '123456789012345678901234567890'],
['+0123456789012345678901234567890', '123456789012345678901234567890'],
['-0123456789012345678901234567890', '-123456789012345678901234567890'],
['00123456789012345678901234567890', '123456789012345678901234567890'],
['+00123456789012345678901234567890', '123456789012345678901234567890'],
['-00123456789012345678901234567890', '-123456789012345678901234567890'],
];
}
public function testOfBigIntegerReturnsThis()
{
$decimal = BigInteger::of(123);
$this->assertSame($decimal, BigInteger::of($decimal));
}
/**
* @dataProvider providerOfInvalidFormatThrowsException
* @expectedException \Brick\Math\Exception\NumberFormatException
*
* @param string|number $value
*/
public function testOfInvalidFormatThrowsException($value)
{
BigInteger::of($value);
}
/**
* @return array
*/
public function providerOfInvalidFormatThrowsException()
{
return [
[''],
['a'],
[' 1'],
['1 '],
['1.'],
['+'],
['-'],
['+a'],
['-a'],
['a0'],
['0a'],
['1.a'],
['a.1'],
];
}
/**
* @dataProvider providerOfNonConvertibleValueThrowsException
* @expectedException \Brick\Math\Exception\RoundingNecessaryException
*
* @param float|string $value
*/
public function testOfNonConvertibleValueThrowsException($value)
{
BigInteger::of($value);
}
/**
* @return array
*/
public function providerOfNonConvertibleValueThrowsException()
{
return [
[1.1],
['1e-1'],
['7/9'],
];
}
/**
* @dataProvider providerParse
*
* @param string $number The number to create.
* @param int $base The base of the number.
* @param string $expected The expected result in base 10.
*/
public function testParse($number, $base, $expected)
{
$this->assertSame($expected, (string) BigInteger::parse($number, $base));
}
/**
* @return array
*/
public function providerParse()
{
return [
['0', 10, '0'],
['-0', 10, '0'],
['+0', 10, '0'],
['00', 16, '0'],
['-00', 16, '0'],
['+00', 16, '0'],
['123', 10, '123'],
['+456', 10, '456'],
['-789', 10, '-789'],
['0123', 10, '123'],
['+0456', 10, '456'],
['-0789', 10, '-789'],
['110011001100110011001111', 36, '640998479760579495168036691627608949'],
['110011001100110011001111', 35, '335582856048758779730579523833856636'],
['110011001100110011001111', 34, '172426711023004493064981145981549295'],
['110011001100110011001111', 33, '86853227285668653965326574185738990'],
['110011001100110011001111', 32, '42836489934972583913564073319498785'],
['110011001100110011001111', 31, '20658924711984480538771889603666144'],
['110011001100110011001111', 30, '9728140488839986222205212599027931'],
['110011001100110011001111', 29, '4465579470019956787945275674107410'],
['110011001100110011001111', 28, '1994689924537781753408144504465645'],
['110011001100110011001111', 27, '865289950909412968716094193925700'],
['110011001100110011001111', 26, '363729369583879309352831568000039'],
['110011001100110011001111', 25, '147793267388865354156500488297526'],
['110011001100110011001111', 24, '57888012016107577099138793486425'],
['110011001100110011001111', 23, '21788392294523974761749372677800'],
['110011001100110011001111', 22, '7852874701996329566765721637715'],
['110011001100110011001111', 21, '2699289081943123258094476428634'],
['110011001100110011001111', 20, '880809345058406615041344008421'],
['110011001100110011001111', 19, '271401690926468032718781859340'],
['110011001100110011001111', 18, '78478889737009209699633503455'],
['110011001100110011001111', 17, '21142384915931646646976872830'],
['110011001100110011001111', 16, '5261325448418072742917574929'],
['110011001100110011001111', 15, '1197116069565850925807253616'],
['110011001100110011001111', 14, '245991074299834917455374155'],
['110011001100110011001111', 13, '44967318722190498361960610'],
['110011001100110011001111', 12, '7177144825886069940574045'],
['110011001100110011001111', 11, '976899716207148313491924'],
['110011001100110011001111', 10, '110011001100110011001111'],
['110011001100110011001111', 9, '9849210196991880028870'],
['110011001100110011001111', 8, '664244955832213832265'],
['110011001100110011001111', 7, '31291601125492514360'],
['110011001100110011001111', 6, '922063395565287619'],
['110011001100110011001111', 5, '14328039609468906'],
['110011001100110011001111', 4, '88305875046485'],
['110011001100110011001111', 3, '127093291420'],
['110011001100110011001111', 2, '13421775'],
['ZyXwVuTsRqPoNmLkJiHgFeDcBa9876543210', 36, '106300512100105327644605138221229898724869759421181854980'],
['YxWvUtSrQpOnMlKjIhGfEdCbA9876543210', 35, '1101553773143634726491620528194292510495517905608180485'],
['XwVuTsRqPoNmLkJiHgFeDcBa9876543210', 34, '11745843093701610854378775891116314824081102660800418'],
['WvUtSrQpOnMlKjIhGfEdCbA9876543210', 33, '128983956064237823710866404905431464703849549412368'],
['VuTsRqPoNmLkJiHgFeDcBa9876543210', 32, '1459980823972598128486511383358617792788444579872'],
['UtSrQpOnMlKjIhGfEdCbA9876543210', 31, '17050208381689099029767742314582582184093573615'],
['TsRqPoNmLkJiHgFeDcBa9876543210', 30, '205646315052919334126040428061831153388822830'],
['SrQpOnMlKjIhGfEdCbA9876543210', 29, '2564411043271974895869785066497940850811934'],
['RqPoNmLkJiHgFeDcBa9876543210', 28, '33100056003358651440264672384704297711484'],
['QpOnMlKjIhGfEdCbA9876543210', 27, '442770531899482980347734468443677777577'],
['PoNmLkJiHgFeDcBa9876543210', 26, '6146269788878825859099399609538763450'],
['OnMlKjIhGfEdCbA9876543210', 25, '88663644327703473714387251271141900'],
['NmLkJiHgFeDcBa9876543210', 24, '1331214537196502869015340298036888'],
['MlKjIhGfEdCbA9876543210', 23, '20837326537038308910317109288851'],
['LkJiHgFeDcBa9876543210', 22, '340653664490377789692799452102'],
['KjIhGfEdCbA9876543210', 21, '5827980550840017565077671610'],
['JiHgFeDcBa9876543210', 20, '104567135734072022160664820'],
['IhGfEdCbA9876543210', 19, '1972313422155189164466189'],
['HgFeDcBa9876543210', 18, '39210261334551566857170'],
['GfEdCbA9876543210', 17, '824008854613343261192'],
['FeDcBa9876543210', 16, '18364758544493064720'],
['EdCbA9876543210', 15, '435659737878916215'],
['DcBa9876543210', 14, '11046255305880158'],
['CbA9876543210', 13, '300771807240918'],
['Ba9876543210', 12, '8842413667692'],
['A9876543210', 11, '282458553905'],
['9876543210', 10, '9876543210'],
['876543210', 9, '381367044'],
['76543210', 8, '16434824'],
['6543210', 7, '800667'],
['543210', 6, '44790'],
['43210', 5, '2930'],
['3210', 4, '228'],
['210', 3, '21'],
['10', 2, '2'],
];
}
/**
* @dataProvider providerParseInvalidValueThrowsException
* @expectedException \InvalidArgumentException
*
* @param string $value
* @param int $base
*/
public function testParseInvalidValueThrowsException($value, $base)
{
BigInteger::parse($value, $base);
}
/**
* @return array
*/
public function providerParseInvalidValueThrowsException()
{
return [
['', 10],
[' ', 10],
['+', 10],
['-', 10],
['1 ', 10],
[' 1', 10],
['Z', 35],
['y', 34],
['X', 33],
['w', 32],
['V', 31],
['u', 30],
['T', 29],
['s', 28],
['R', 27],
['q', 26],
['P', 25],
['o', 24],
['N', 23],
['m', 22],
['L', 21],
['k', 20],
['J', 19],
['i', 18],
['H', 17],
['g', 16],
['F', 15],
['e', 14],
['D', 13],
['c', 12],
['B', 11],
['a', 10],
['9', 9],
['8', 8],
['7', 7],
['6', 6],
['5', 5],
['4', 4],
['3', 3],
['2', 2]
];
}
/**
* @dataProvider providerParseWithInvalidBaseThrowsException
* @expectedException \InvalidArgumentException
*
* @param int $base
*/
public function testParseWithInvalidBaseThrowsException($base)
{
BigInteger::parse('0', $base);
}
/**
* @return array
*/
public function providerParseWithInvalidBaseThrowsException()
{
return [
[-2],
[-1],
[0],
[1],
[37]
];
}
public function testZero()
{
$this->assertBigIntegerEquals('0', BigInteger::zero());
}
/**
* @dataProvider providerMin
*
* @param array $values The values to test.
* @param int $index The index of the minimum value in the test array.
*/
public function testMin(array $values, $index)
{
$this->assertTrue(BigInteger::min(...$values)->isEqualTo($values[$index]));
}
/**
* @return array
*/
public function providerMin()
{
return [
[[0, 1, -1], 2],
[[0, '10', '5989'], 0],
[[0, '10', '5989', '-1'], 3],
[['-1', '1'], 0],
[['-1', '1', '2', '3', '-100'], 4],
[['999999999999999999999999999', '1000000000000000000000000000'], 0],
[['-999999999999999999999999999', '-1000000000000000000000000000'], 1]
];
}
/**
* @expectedException \InvalidArgumentException
*/
public function testMinOfZeroValuesThrowsException()
{
BigInteger::min();
}
/**
* @dataProvider providerMax
*
* @param array $values The values to test.
* @param int $index The index of the maximum value in the test array.
*/
public function testMax(array $values, $index)
{
$this->assertTrue(BigInteger::max(...$values)->isEqualTo($values[$index]));
}
/**
* @return array
*/
public function providerMax()
{
return [
[[0, 1, -1], 1],
[[0, '10', '5989'], 2],
[[0, '10', '5989', '-1'], 2],
[[0, '10', '5989', '-1', '6000'], 4],
[['-1', '0'], 1],
[['-1', '1', '2', '3', '-100'], 3],
[['999999999999999999999999999', '1000000000000000000000000000'], 1],
[['-999999999999999999999999999', '-1000000000000000000000000000'], 0]
];
}
/**
* @expectedException \InvalidArgumentException
*/
public function testMaxOfZeroValuesThrowsException()
{
BigInteger::max();
}
/**
* @dataProvider providerPlus
*
* @param string $a The base number.
* @param string $b The number to add.
* @param string $r The expected result.
*/
public function testPlus($a, $b, $r)
{
$this->assertBigIntegerEquals($r, BigInteger::of($a)->plus($b));
}
/**
* @return array
*/
public function providerPlus()
{
return [
['5165450198704521651351654564564089798441', '0', '5165450198704521651351654564564089798441'],
['-5165450198704521651351654564564089798441', '0', '-5165450198704521651351654564564089798441'],
['5165450198704521651351654564564089798441', '-5165450198704521651351654564564089798441', '0'],
['-5165450198704521651351654564564089798441', '5165450198704521651351654564564089798441', '0'],
['3493049309220392055810', '9918493493849898938928310121', '9918496986899208159320365931'],
['546254089287665464650654', '-4654654565726542654005465', '-4108400476438877189354811'],
['-54654654625426504062224', '406546504670332465465435004', '406491850015707038961372780'],
['-78706406576549688403246', '-3064672987984605465406546', '-3143379394561155153809792']
];
}
/**
* @dataProvider providerMinus
*
* @param string $a The base number.
* @param string $b The number to subtract.
* @param string $r The expected result.
*/
public function testMinus($a, $b, $r)
{
$this->assertBigIntegerEquals($r, BigInteger::of($a)->minus($b));
}
/**
* @return array
*/
public function providerMinus()
{
return [
['5165450198704521651351654564564089798441', '0', '5165450198704521651351654564564089798441'],
['-5165450198704521651351654564564089798441', '0', '-5165450198704521651351654564564089798441'],
['0', '5165450198704521651351654564564089798441', '-5165450198704521651351654564564089798441'],
['0', '-5165450198704521651351654564564089798441', '5165450198704521651351654564564089798441'],
['879798276565798787646', '2345178709879804654605406456', '-2345177830081528088806618810'],
['99465465545004066406868767', '-79870987954654608076067608768', '79970453420199612142474477535'],
['-46465465478979879230745664', '21316504468760001807687078994', '-21362969934238981686917824658'],
['-2154799048440940949896046', '-9000454956465465424345404846624', '9000452801666416983404454950578']
];
}
/**
* @dataProvider providerMultipliedBy
*
* @param string $a The base number.
* @param string $b The number to multiply.
* @param string $r The expected result.
*/
public function testMultipliedBy($a, $b, $r)
{
$this->assertBigIntegerEquals($r, BigInteger::of($a)->multipliedBy($b));
}
/**
* @return array
*/
public function providerMultipliedBy()
{
return [
['123456789098765432101234567890987654321', '1', '123456789098765432101234567890987654321'],
['123456789098765432101234567890987654321', '-1', '-123456789098765432101234567890987654321'],
['15892588375910581333', '2485910409339228962451', '39507550875019745254366764864945838527183'],
['341581435989834012309', '-91050393818389238433', '-31101124267925302088072082300643257871797'],
['-1204902920503999920003', '1984389583950290232332', '-2390996805119422027350037939263960284136996'],
['-991230349304902390122', '-3483910549230593053437', '3453357870660875087266990729629471366949314']
];
}
/**
* @dataProvider providerDividedBy
*
* @param string $a The base number.
* @param string $b The number to divide.
* @param string $r The expected result.
*/
public function testDividedBy($a, $b, $r)
{
$this->assertBigIntegerEquals($r, BigInteger::of($a)->dividedBy($b));
}
/**
* @return array
*/
public function providerDividedBy()
{
return [
['123456789098765432101234567890987654321', '1', '123456789098765432101234567890987654321'],
['123456789098765432101234567890987654321', '-1', '-123456789098765432101234567890987654321'],
['1282493059039502950823948435791053205342314', '24342491090593053', '52685366270303839158198740'],
['1000000000000000000000000000000000000000000000', '7777777777777777', '128571428571428584285714285714'],
['999999999999999999999999999999999999999999999', '22221222222', '45002025091579141312274843781092897'],
['49283205308081983923480483094304390249024223', '-23981985358744892239240813', '-2055009398548863185'],
['-8378278174814983902084304176539029302438924', '384758527893793829309012129991', '-21775419041855'],
['-444444444444444444444444444444444444411111', '-33333333333333', '13333333333333466666666666667']
];
}
/**
* @expectedException \Brick\Math\Exception\DivisionByZeroException
*/
public function testDividedByZeroThrowsException()
{
BigInteger::of(1)->dividedBy(0);
}
/**
* @dataProvider providerDivideAndRemainder
*
* @param string $dividend The dividend.
* @param string $divisor The divisor.
* @param string $quotient The expected quotient.
* @param string $remainder The expected remainder.
*/
public function testDivideAndRemainder($dividend, $divisor, $quotient, $remainder)
{
list ($q, $r) = BigInteger::of($dividend)->divideAndRemainder($divisor);
$this->assertSame($quotient, (string) $q);
$this->assertSame($remainder, (string) $r);
}
/**
* @return array
*/
public function providerDivideAndRemainder()
{
return [
['1', '123', '0', '1'],
['1', '-123', '0', '1'],
['-1', '123', '0', '-1'],
['-1', '-123', '0', '-1'],
['1999999999999999999999999', '2000000000000000000000000', '0', '1999999999999999999999999'],
['1999999999999999999999999', '-2000000000000000000000000', '0', '1999999999999999999999999'],
['-1999999999999999999999999', '2000000000000000000000000', '0', '-1999999999999999999999999'],
['-1999999999999999999999999', '-2000000000000000000000000', '0', '-1999999999999999999999999'],
['123', '1', '123', '0'],
['123', '-1', '-123', '0'],
['-123', '1', '-123', '0'],
['-123', '-1', '123', '0'],
['123', '2', '61', '1'],
['123', '-2', '-61', '1'],
['-123', '2', '-61', '-1'],
['-123', '-2', '61', '-1'],
['123', '123', '1', '0'],
['123', '-123', '-1', '0'],
['-123', '123', '-1', '0'],
['-123', '-123', '1', '0'],
['123', '124', '0', '123'],
['123', '-124', '0', '123'],
['-123', '124', '0', '-123'],
['-123', '-124', '0', '-123'],
['124', '123', '1', '1'],
['124', '-123', '-1', '1'],
['-124', '123', '-1', '-1'],
['-124', '-123', '1', '-1'],
['1000000000000000000000000000000', '3', '333333333333333333333333333333', '1'],
['1000000000000000000000000000000', '9', '111111111111111111111111111111', '1'],
['1000000000000000000000000000000', '11', '90909090909090909090909090909', '1'],
['1000000000000000000000000000000', '13', '76923076923076923076923076923', '1'],
['1000000000000000000000000000000', '21', '47619047619047619047619047619', '1'],
['123456789123456789123456789', '987654321987654321', '124999998', '850308642973765431'],
['123456789123456789123456789', '-87654321987654321', '-1408450676', '65623397056685793'],
['-123456789123456789123456789', '7654321987654321', '-16129030020', '-1834176331740369'],
['-123456789123456789123456789', '-654321987654321', '188678955396', '-205094497790673'],
];
}
/**
* @expectedException \Brick\Math\Exception\DivisionByZeroException
*/
public function testDivideAndRemainderByZeroThrowsException()
{
BigInteger::of(1)->divideAndRemainder(0);
}
/**
* @dataProvider providerDivideAndRemainder
*
* @param string $dividend The dividend.
* @param string $divisor The divisor.
* @param string $quotient The expected quotient (ignore for this test).
* @param string $remainder The expected remainder.
*/
public function testRemainder($dividend, $divisor, $quotient, $remainder)
{
list (, $r) = BigInteger::of($dividend)->divideAndRemainder($divisor);
$this->assertSame($remainder, (string) $r);
}
/**
* @dataProvider providerPower
*
* @param string $number The base number.
* @param int $exponent The exponent to apply.
* @param string $expected The expected result.
*/
public function testPower($number, $exponent, $expected)
{
$this->assertBigIntegerEquals($expected, BigInteger::of($number)->power($exponent));
}
/**
* @return array
*/
public function providerPower()
{
return [
['-3', 0, '1'],
['-2', 0, '1'],
['-1', 0, '1'],
['0', 0, '1'],
['1', 0, '1'],
['2', 0, '1'],
['3', 0, '1'],
['-3', 1, '-3'],
['-2', 1, '-2'],
['-1', 1, '-1'],
['0', 1, '0'],
['1', 1, '1'],
['2', 1, '2'],
['3', 1, '3'],
['-3', 2, '9'],
['-2', 2, '4'],
['-1', 2, '1'],
['0', 2, '0'],
['1', 2, '1'],
['2', 2, '4'],
['3', 2, '9'],
['-3', 3, '-27'],
['-2', 3, '-8'],
['-1', 3, '-1'],
['0', 3, '0'],
['1', 3, '1'],
['2', 3, '8'],
['3', 3, '27'],
['0', 1000000, '0'],
['1', 1000000, '1'],
['-2', 255, '-57896044618658097711785492504343953926634992332820282019728792003956564819968'],
[ '2', 256, '115792089237316195423570985008687907853269984665640564039457584007913129639936'],
['-123', 33, '-926549609804623448265268294182900512918058893428212027689876489708283'],
[ '123', 34, '113965602005968684136628000184496763088921243891670079405854808234118809'],
['-123456789', 8, '53965948844821664748141453212125737955899777414752273389058576481'],
['9876543210', 7, '9167159269868350921847491739460569765344716959834325922131706410000000']
];
}
/**
* @dataProvider providerPowerWithInvalidExponentThrowsException
* @expectedException \InvalidArgumentException
*
* @param int $power
*/
public function testPowerWithInvalidExponentThrowsException($power)
{
BigInteger::of(1)->power($power);
}
/**
* @return array
*/
public function providerPowerWithInvalidExponentThrowsException()
{
return [
[-1],
[1000001]
];
}
/**
* @dataProvider providerGcd
*
* @param string $a The first number.
* @param string $b The second number.
* @param string $gcd The expected GCD.
*/
public function testGcd($a, $b, $gcd)
{
$a = BigInteger::of($a);
$b = BigInteger::of($b);
$this->assertBigIntegerEquals($gcd, $a->gcd($b));
}
/**
* @return \Generator
*/
public function providerGcd()
{
$tests = [
['0', '0', '0'],
['123456789123456789123456789123456789', '0', '123456789123456789123456789123456789'],
['123456789123456789123456789123456789', '1', '1'],
['123456789123456789123456789123456789', '2', '1'],
['123456789123456789123456789123456789', '3', '3'],
['123456789123456789123456789123456789', '4', '1'],
['123456789123456789123456789123456789', '5', '1'],
['123456789123456789123456789123456789', '6', '3'],
['123456789123456789123456789123456789', '7', '7'],
['123456789123456789123456789123456789', '8', '1'],
['123456789123456789123456789123456789', '9', '9'],
['123456789123456789123456789123456789', '10', '1'],
['123456789123456789123456789123456789', '11', '11'],
['123456789123456789123456789123456789', '12', '3'],
['123456789123456789123456789123456789', '13', '13'],
['123456789123456789123456789123456789', '14', '7'],
['123456789123456789123456789123456789', '15', '3'],
['123456789123456789123456789123456789', '16', '1'],
['123456789123456789123456789123456789', '17', '1'],
['123456789123456789123456789123456789', '18', '9'],
['123456789123456789123456789123456789', '19', '19'],
['123456789123456789123456789123456789', '20', '1'],
['123456789123456789123456789123456789', '100', '1'],
['123456789123456789123456789123456789', '101', '101'],
['123456789123456789123456789123456789', '102', '3'],
['123456789123456789123456789123456789', '103', '1'],
['123456789123456789123456789123456789', '104', '13'],
['123456789123456789123456789123456789', '105', '21'],
['123456789123456789123456789123456789', '985', '1'],
['123456789123456789123456789123456789', '986', '1'],
['123456789123456789123456789123456789', '987', '21'],
['123456789123456789123456789123456789', '988', '247'],
['123456789123456789123456789123456789', '989', '1'],
['123456789123456789123456789123456789', '990', '99'],
['123456789123456789123456789123456789', '10010', '1001'],
['123456789123456789123456789123456789', '10017', '63'],
['123456789123456789123456789123456789', '10089', '171'],
['123456789123456789123456789123456789', '10098', '99'],
['123456789123456789123456789123456789', '100035', '2223'],
['123456789123456789123456789123456789', '1000065', '627'],
['123456789123456789123456789123456789', '10000068', '39'],
['123456789123456789123456789123456789', '10001222', '7777'],
['123456789123456789123456789123456789', '10001277', '24453'],
['123456789123456789123456789123456789', '100005258', '157737'],
['123456789123456789123456789123456789', '100010001', '2702973'],
['123456789123456789123456789123456789', '100148202', '50074101'],
['123456789123456789123456789123456789', '100478469', '14354067'],
['123456789123456789123456789123456789', '123456789140121129', '8249681517'],
['123456789123456789123456789123456789', '123456789150891631', '1385459521'],
['123456789123456789123456789123456789', '123456789192058322', '6928754833'],
['123456789123456789123456789123456789', '123456789202361433', '1992342261'],
['123456789123456789123456789123456789', '999456789162772941', '20786264499'],
['123456789123456789123456789123456789', '999456789176548074', '2345678991'],
['123456789123456789123456789123456789', '999456789188938248', '2372170689'],
['88888777776666655555444443333322222111110000099999', '100000000011886128', '8252579097'],
['88888777776666655555444443333322222111110000099999', '100000000013330403', '1162443303'],
['88888777776666655555444443333322222111110000099999', '100000000020221920', '2470053077'],
['88888777776666655555444443333322222111110000099999', '100000000031937250', '3970893353'],
['88888777776666655555444443333322222111110000099999', '100000000043341848', '1102420413'],
['88888777776666655555444443333322222111110000099999', '100000000047565681', '1212240071'],
['88888777776666655555444443333322222111110000099999', '100000000065586124', '1172302873'],
['88888777776666655555444443333322222111110000099999', '100000000068684846', '1051734417'],
['88888777776666655555444443333322222111110000099999', '100000000068736887', '2423071539'],
];
foreach ($tests as list ($a, $b, $gcd)) {
yield [$a, $b, $gcd];
yield [$b, $a, $gcd];
yield [$a, "-$b", $gcd];
yield [$b, "-$a", $gcd];
yield ["-$a", $b, $gcd];
yield ["-$b", $a, $gcd];
yield ["-$a", "-$b", $gcd];
yield ["-$b", "-$a", $gcd];
}
}
/**
* @dataProvider providerAbs
*
* @param string $number The number as a string.
* @param string $expected The expected absolute result.
*/
public function testAbs($number, $expected)
{
$this->assertBigIntegerEquals($expected, BigInteger::of($number)->abs());
}
/**
* @return array
*/
public function providerAbs()
{
return [
['0', '0'],
['123456789012345678901234567890', '123456789012345678901234567890'],
['-123456789012345678901234567890', '123456789012345678901234567890'],
];
}
/**
* @dataProvider providerNegated
*
* @param string $number The number to negate as a string.
* @param string $expected The expected negated result.
*/
public function testNegated($number, $expected)
{
$this->assertBigIntegerEquals($expected, BigInteger::of($number)->negated());
}
/**
* @return array
*/
public function providerNegated()
{
return [
['0', '0'],
['123456789012345678901234567890', '-123456789012345678901234567890'],
['-123456789012345678901234567890', '123456789012345678901234567890'],
];
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The expected comparison result.
*/
public function testCompareTo($a, $b, $c)
{
$this->assertSame($c, BigInteger::of($a)->compareTo($b));
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The comparison result.
*/
public function testIsEqualTo($a, $b, $c)
{
$this->assertSame($c == 0, BigInteger::of($a)->isEqualTo($b));
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The comparison result.
*/
public function testIsLessThan($a, $b, $c)
{
$this->assertSame($c < 0, BigInteger::of($a)->isLessThan($b));
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The comparison result.
*/
public function testIsLessThanOrEqualTo($a, $b, $c)
{
$this->assertSame($c <= 0, BigInteger::of($a)->isLessThanOrEqualTo($b));
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The comparison result.
*/
public function testIsGreaterThan($a, $b, $c)
{
$this->assertSame($c > 0, BigInteger::of($a)->isGreaterThan($b));
}
/**
* @dataProvider providerCompareTo
*
* @param string $a The base number as a string.
* @param string $b The number to compare to as a string.
* @param int $c The comparison result.
*/
public function testIsGreaterThanOrEqualTo($a, $b, $c)
{
$this->assertSame($c >= 0, BigInteger::of($a)->isGreaterThanOrEqualTo($b));
}
/**
* @return array
*/
public function providerCompareTo()
{
return [
['123', '123', 0],
['123', '456', -1],
['456', '123', 1],
['456', '456', 0],
['-123', '-123', 0],
['-123', '456', -1],
[ '456', '-123', 1],
[ '456', '456', 0],
[ '123', '123', 0],
[ '123', '-456', 1],
['-456', '123', -1],
['-456', '456', -1],
['-123', '-123', 0],
['-123', '-456', 1],
['-456', '-123', -1],
['-456', '-456', 0],
[ '9999999999999999999999999', '11111111111111111111111111111111111111111111', -1],
[ '9999999999999999999999999', '-11111111111111111111111111111111111111111111', 1],
['-9999999999999999999999999', '11111111111111111111111111111111111111111111', -1],
['-9999999999999999999999999', '-11111111111111111111111111111111111111111111', 1],
[ '11111111111111111111111111111111111111111111', '9999999999999999999999999', 1],
[ '11111111111111111111111111111111111111111111', '-9999999999999999999999999', 1],
['-11111111111111111111111111111111111111111111', '9999999999999999999999999', -1],
['-11111111111111111111111111111111111111111111','-9999999999999999999999999', -1],
];
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testGetSign($number, $sign)
{
$this->assertSame($sign, BigInteger::of($number)->getSign());
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testIsZero($number, $sign)
{
$this->assertSame($sign == 0, BigInteger::of($number)->isZero());
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testIsNegative($number, $sign)
{
$this->assertSame($sign < 0, BigInteger::of($number)->isNegative());
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testIsNegativeOrZero($number, $sign)
{
$this->assertSame($sign <= 0, BigInteger::of($number)->isNegativeOrZero());
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testIsPositive($number, $sign)
{
$this->assertSame($sign > 0, BigInteger::of($number)->isPositive());
}
/**
* @dataProvider providerSign
*
* @param int|string $number The number to test.
* @param int $sign The sign of the number.
*/
public function testIsPositiveOrZero($number, $sign)
{
$this->assertSame($sign >= 0, BigInteger::of($number)->isPositiveOrZero());
}
/**
* @return array
*/
public function providerSign()
{
return [
[ 0, 0],
[-0, 0],
[ 1, 1],
[-1, -1],
[PHP_INT_MAX, 1],
[~PHP_INT_MAX, -1],
[ '1000000000000000000000000000000000000000000000000000000000000000000000000000000000', 1],
['-1000000000000000000000000000000000000000000000000000000000000000000000000000000000', -1]
];
}
/**
* @dataProvider providerToInteger
*
* @param int $number
*/
public function testToInteger($number)
{
$this->assertSame($number, BigInteger::of((string) $number)->toInteger());
}
/**
* @return array
*/
public function providerToInteger()
{
return [
[~PHP_INT_MAX],
[-123456789],
[-1],
[0],
[1],
[123456789],
[PHP_INT_MAX]
];
}
/**
* @expectedException \Brick\Math\Exception\ArithmeticException
*/
public function testToIntegerNegativeOverflowThrowsException()
{
BigInteger::of(~PHP_INT_MAX)->minus(1)->toInteger();
}
/**
* @expectedException \Brick\Math\Exception\ArithmeticException
*/
public function testToIntegerPositiveOverflowThrowsException()
{
BigInteger::of(PHP_INT_MAX)->plus(1)->toInteger();
}
/**
* @dataProvider providerToBase
*
* @param string $number The number to convert.
* @param int $base The base to convert the number to.
* @param string $expected The expected result.
*/
public function testToBase($number, $base, $expected)
{
$this->assertSame($expected, BigInteger::parse($number)->toBase($base));
$this->assertSame('-' . $expected, BigInteger::parse('-' . $number)->toBase($base));
}
/**
* @return array
*/
public function providerToBase()
{
return [
['640998479760579495168036691627608949', 36, '110011001100110011001111'],
['335582856048758779730579523833856636', 35, '110011001100110011001111'],
['172426711023004493064981145981549295', 34, '110011001100110011001111'],
['86853227285668653965326574185738990', 33, '110011001100110011001111'],
['42836489934972583913564073319498785', 32, '110011001100110011001111'],
['20658924711984480538771889603666144', 31, '110011001100110011001111'],
['9728140488839986222205212599027931', 30, '110011001100110011001111'],
['4465579470019956787945275674107410', 29, '110011001100110011001111'],
['1994689924537781753408144504465645', 28, '110011001100110011001111'],
['865289950909412968716094193925700', 27, '110011001100110011001111'],
['363729369583879309352831568000039', 26, '110011001100110011001111'],
['147793267388865354156500488297526', 25, '110011001100110011001111'],
['57888012016107577099138793486425', 24, '110011001100110011001111'],
['21788392294523974761749372677800', 23, '110011001100110011001111'],
['7852874701996329566765721637715', 22, '110011001100110011001111'],
['2699289081943123258094476428634', 21, '110011001100110011001111'],
['880809345058406615041344008421', 20, '110011001100110011001111'],
['271401690926468032718781859340', 19, '110011001100110011001111'],
['78478889737009209699633503455', 18, '110011001100110011001111'],
['21142384915931646646976872830', 17, '110011001100110011001111'],
['5261325448418072742917574929', 16, '110011001100110011001111'],
['1197116069565850925807253616', 15, '110011001100110011001111'],
['245991074299834917455374155', 14, '110011001100110011001111'],
['44967318722190498361960610', 13, '110011001100110011001111'],
['7177144825886069940574045', 12, '110011001100110011001111'],
['976899716207148313491924', 11, '110011001100110011001111'],
['110011001100110011001111', 10, '110011001100110011001111'],
['9849210196991880028870', 9, '110011001100110011001111'],
['664244955832213832265', 8, '110011001100110011001111'],
['31291601125492514360', 7, '110011001100110011001111'],
['922063395565287619', 6, '110011001100110011001111'],
['14328039609468906', 5, '110011001100110011001111'],
['88305875046485', 4, '110011001100110011001111'],
['127093291420', 3, '110011001100110011001111'],
['13421775', 2, '110011001100110011001111'],
['106300512100105327644605138221229898724869759421181854980', 36, 'zyxwvutsrqponmlkjihgfedcba9876543210'],
['1101553773143634726491620528194292510495517905608180485', 35, 'yxwvutsrqponmlkjihgfedcba9876543210'],
['11745843093701610854378775891116314824081102660800418', 34, 'xwvutsrqponmlkjihgfedcba9876543210'],
['128983956064237823710866404905431464703849549412368', 33, 'wvutsrqponmlkjihgfedcba9876543210'],
['1459980823972598128486511383358617792788444579872', 32, 'vutsrqponmlkjihgfedcba9876543210'],
['17050208381689099029767742314582582184093573615', 31, 'utsrqponmlkjihgfedcba9876543210'],
['205646315052919334126040428061831153388822830', 30, 'tsrqponmlkjihgfedcba9876543210'],
['2564411043271974895869785066497940850811934', 29, 'srqponmlkjihgfedcba9876543210'],
['33100056003358651440264672384704297711484', 28, 'rqponmlkjihgfedcba9876543210'],
['442770531899482980347734468443677777577', 27, 'qponmlkjihgfedcba9876543210'],
['6146269788878825859099399609538763450', 26, 'ponmlkjihgfedcba9876543210'],
['88663644327703473714387251271141900', 25, 'onmlkjihgfedcba9876543210'],
['1331214537196502869015340298036888', 24, 'nmlkjihgfedcba9876543210'],
['20837326537038308910317109288851', 23, 'mlkjihgfedcba9876543210'],
['340653664490377789692799452102', 22, 'lkjihgfedcba9876543210'],
['5827980550840017565077671610', 21, 'kjihgfedcba9876543210'],
['104567135734072022160664820', 20, 'jihgfedcba9876543210'],
['1972313422155189164466189', 19, 'ihgfedcba9876543210'],
['39210261334551566857170', 18, 'hgfedcba9876543210'],
['824008854613343261192', 17, 'gfedcba9876543210'],
['18364758544493064720', 16, 'fedcba9876543210'],
['435659737878916215', 15, 'edcba9876543210'],
['11046255305880158', 14, 'dcba9876543210'],
['300771807240918', 13, 'cba9876543210'],
['8842413667692', 12, 'ba9876543210'],
['282458553905', 11, 'a9876543210'],
['9876543210', 10, '9876543210'],
['381367044', 9, '876543210'],
['16434824', 8, '76543210'],
['800667', 7, '6543210'],
['44790', 6, '543210'],
['2930', 5, '43210'],
['228', 4, '3210'],
['21', 3, '210'],
['2', 2, '10'],
];
}
/**
* @dataProvider providerToInvalidBaseThrowsException
* @expectedException \InvalidArgumentException
*
* @param int $base
*/
public function testToInvalidBaseThrowsException($base)
{
BigInteger::of(0)->toBase($base);
}
/**
* @return array
*/
public function providerToInvalidBaseThrowsException()
{
return [
[-2],
[-1],
[0],
[1],
[37]
];
}
public function testSerialize()
{
$value = '-1234567890987654321012345678909876543210123456789';
$number = BigInteger::of($value);
$this->assertBigIntegerEquals($value, unserialize(serialize($number)));
}
/**
* @expectedException \LogicException
*/
public function testDirectCallToUnserialize()
{
BigInteger::zero()->unserialize('123');
}
}