1
0
mirror of https://github.com/vlang/v.git synced 2023-08-10 21:13:21 +03:00

bignum: move to math.big

This commit is contained in:
Alexander Medvednikov 2020-03-10 19:31:01 +01:00
parent f1274e34c2
commit 568d859fc0
3 changed files with 89 additions and 89 deletions

View File

@ -1,86 +0,0 @@
import bignum
fn test_new_bignum(){
n := bignum.new_bignum()
assert sizeof( bignum.Number ) == 128
assert n.hexstr() == '0'
}
fn test_from_int(){
assert bignum.from_int(255).hexstr() == 'ff'
assert bignum.from_int(127).hexstr() == '7f'
assert bignum.from_int(1024).hexstr() == '400'
assert bignum.from_int(2147483647).hexstr() == '7fffffff'
assert bignum.from_int(-1).hexstr() == 'ffffffffffffffff'
}
fn test_from_u64(){
assert bignum.from_u64(255).hexstr() == 'ff'
assert bignum.from_u64(127).hexstr() == '7f'
assert bignum.from_u64(1024).hexstr() == '400'
assert bignum.from_u64(4294967295).hexstr() == 'ffffffff'
assert bignum.from_u64(4398046511104).hexstr() == '40000000000'
assert bignum.from_u64(-1).hexstr() == 'ffffffffffffffff'
}
fn test_plus(){
a := bignum.from_u64(2)
b := bignum.from_u64(3)
c := a + b
assert c.hexstr() == '5'
assert (bignum.from_u64(1024) + bignum.from_u64(1024)).hexstr() == '800'
}
fn test_minus(){
a := bignum.from_u64(2)
b := bignum.from_u64(3)
c := b - a
assert c.hexstr() == '1'
e := bignum.from_u64(1024)
ee := e - e
assert ee.hexstr() == '0'
}
fn test_divide(){
a := bignum.from_u64(2)
b := bignum.from_u64(3)
c := b / a
assert c.hexstr() == '1'
assert (b % a ).hexstr() == '1'
e := bignum.from_u64(1024) // dec(1024) == hex(0x400)
ee := e / e
assert ee.hexstr() == '1'
assert (e / a).hexstr() == '200'
assert (e / (a*a)).hexstr() == '100'
}
fn test_multiply(){
a := bignum.from_u64(2)
b := bignum.from_u64(3)
c := b * a
assert c.hexstr() == '6'
e := bignum.from_u64(1024)
e2 := e * e
e4 := e2 * e2
e8 := e2 * e2 * e2 * e2
e9 := e8 + bignum.from_u64(1)
d := ((e9 * e9) + b) * c
assert e4.hexstr() == '10000000000'
assert e8.hexstr() == '100000000000000000000'
assert e9.hexstr() == '100000000000000000001'
assert d.hexstr() == '60000000000000000000c00000000000000000018'
}
fn test_mod(){
assert (bignum.from_u64(13) % bignum.from_u64(10) ).int() == 3
assert (bignum.from_u64(13) % bignum.from_u64(9) ).int() == 4
assert (bignum.from_u64(7) % bignum.from_u64(5) ).int() == 2
}
fn test_factorial(){
f5 := bignum.factorial( bignum.from_u64(5) )
assert f5.hexstr() == '78'
f100 := bignum.factorial( bignum.from_u64(100) )
assert f100.hexstr() == '1b30964ec395dc24069528d54bbda40d16e966ef9a70eb21b5b2943a321cdf10391745570cca9420c6ecb3b72ed2ee8b02ea2735c61a000000000000000000000000'
}

View File

@ -1,4 +1,4 @@
module bignum
module big
// Wrapper for https://github.com/kokke/tiny-bignum-c
@ -43,7 +43,7 @@ fn C.bignum_assign( dst &Number, src &Number) // copy src number to dst number
////////////////////////////////////////////////////////////
// conversion actions to/from big numbers:
pub fn new_bignum() Number {
pub fn new() Number {
return Number{}
}
pub fn from_int(i int) Number {
@ -191,5 +191,5 @@ pub fn factorial(nn Number) Number {
}
pub fn fact(n int) Number {
return factorial( bignum.from_int(n) )
return factorial( from_int(n) )
}

86
vlib/math/big/big_test.v Normal file
View File

@ -0,0 +1,86 @@
import big
fn test_new_big(){
n := big.new()
assert sizeof( big.Number ) == 128
assert n.hexstr() == '0'
}
fn test_from_int(){
assert big.from_int(255).hexstr() == 'ff'
assert big.from_int(127).hexstr() == '7f'
assert big.from_int(1024).hexstr() == '400'
assert big.from_int(2147483647).hexstr() == '7fffffff'
assert big.from_int(-1).hexstr() == 'ffffffffffffffff'
}
fn test_from_u64(){
assert big.from_u64(255).hexstr() == 'ff'
assert big.from_u64(127).hexstr() == '7f'
assert big.from_u64(1024).hexstr() == '400'
assert big.from_u64(4294967295).hexstr() == 'ffffffff'
assert big.from_u64(4398046511104).hexstr() == '40000000000'
assert big.from_u64(-1).hexstr() == 'ffffffffffffffff'
}
fn test_plus(){
a := big.from_u64(2)
b := big.from_u64(3)
c := a + b
assert c.hexstr() == '5'
assert (big.from_u64(1024) + big.from_u64(1024)).hexstr() == '800'
}
fn test_minus(){
a := big.from_u64(2)
b := big.from_u64(3)
c := b - a
assert c.hexstr() == '1'
e := big.from_u64(1024)
ee := e - e
assert ee.hexstr() == '0'
}
fn test_divide(){
a := big.from_u64(2)
b := big.from_u64(3)
c := b / a
assert c.hexstr() == '1'
assert (b % a ).hexstr() == '1'
e := big.from_u64(1024) // dec(1024) == hex(0x400)
ee := e / e
assert ee.hexstr() == '1'
assert (e / a).hexstr() == '200'
assert (e / (a*a)).hexstr() == '100'
}
fn test_multiply(){
a := big.from_u64(2)
b := big.from_u64(3)
c := b * a
assert c.hexstr() == '6'
e := big.from_u64(1024)
e2 := e * e
e4 := e2 * e2
e8 := e2 * e2 * e2 * e2
e9 := e8 + big.from_u64(1)
d := ((e9 * e9) + b) * c
assert e4.hexstr() == '10000000000'
assert e8.hexstr() == '100000000000000000000'
assert e9.hexstr() == '100000000000000000001'
assert d.hexstr() == '60000000000000000000c00000000000000000018'
}
fn test_mod(){
assert (big.from_u64(13) % big.from_u64(10) ).int() == 3
assert (big.from_u64(13) % big.from_u64(9) ).int() == 4
assert (big.from_u64(7) % big.from_u64(5) ).int() == 2
}
fn test_factorial(){
f5 := big.factorial( big.from_u64(5) )
assert f5.hexstr() == '78'
f100 := big.factorial( big.from_u64(100) )
assert f100.hexstr() == '1b30964ec395dc24069528d54bbda40d16e966ef9a70eb21b5b2943a321cdf10391745570cca9420c6ecb3b72ed2ee8b02ea2735c61a000000000000000000000000'
}