c3c/test/unit/stdlib/math/bigint.c3

module std::math::bigint @test;

fn void test_parse16()
{
	BigInt bi @noinit;
    assert(bi.init_string_radix("c", 16)!!.equals(bigint::from_int(12)));
}

fn void test_zero()
{
    assert(bigint::from_int(0).to_string(allocator::temp()) == "0");
    BigInt bi;
    bi.init_string_radix("00", 16)!!;
    assert(bi.to_string(allocator::temp()) == "0");
}

fn void test_plus()
{
	BigInt a = bigint::from_int(123);
	BigInt b = bigint::from_int(234);
	assert(a.add(b).equals(bigint::from_int(234 + 123)));

	a = bigint::from_int(12323400012311213314141414i128);
	b = bigint::from_int(23400012311213314141414i128);
	assert(a.add(b).equals(bigint::from_int(12323400012311213314141414i128 + 23400012311213314141414i128)));
}

fn void test_mult()
{
	BigInt a = bigint::from_int(123);
	BigInt b = bigint::from_int(234);
	assert(a.mult(b).equals(bigint::from_int(234 * 123)));

	a = bigint::from_int(1232311213314141414i128);
	b = bigint::from_int(234000123112414i128);
	assert(a.mult(b).equals(bigint::from_int(1232311213314141414i128 * 234000123112414i128)));
}

fn void test_minus()
{
	BigInt a = bigint::from_int(123);
	BigInt b = bigint::from_int(234);
	assert(a.sub(b).equals(bigint::from_int(123 - 234)));

	a = bigint::from_int(12323400012311213314141414i128);
	b = bigint::from_int(23400012311213314141414i128);
	assert(a.sub(b).equals(bigint::from_int(12323400012311213314141414i128 - 23400012311213314141414i128)));
}

fn void test_init_string_radix()
{
	BigInt a;
	a.init_string_radix("123", 10)!!;
	assert(a.equals(bigint::from_int(123)));
	a.init_string_radix("123", 8)!!;
	assert(a.equals(bigint::from_int(0o123)));
	a.init_string_radix("123", 16)!!;
	assert(a.equals(bigint::from_int(0x123)));
}

fn void test_gcd()
{
	BigInt a = bigint::from_int(15);
	BigInt b = bigint::from_int(20);
	assert(a.gcd(b).equals(bigint::from_int(5)));
	assert(math::gcd(a,b).equals(bigint::from_int(5)));
}

fn void test_lcm()
{
	BigInt a = bigint::from_int(11);
	BigInt b = bigint::from_int(17);
	assert(a.lcm(b).equals(bigint::from_int(11*17)));
	assert(math::lcm(a,b).equals(bigint::from_int(11*17)));
}