arithmetic-test.js 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387
  1. var assert = require('assert');
  2. var BN = require('../').BN;
  3. var fixtures = require('./fixtures');
  4. describe('BN.js/Arithmetic', function() {
  5. describe('.add()', function() {
  6. it('should add numbers', function() {
  7. assert.equal(new BN(14).add(new BN(26)).toString(16), '28');
  8. var k = new BN(0x1234);
  9. var r = k;
  10. for (var i = 0; i < 257; i++)
  11. r = r.add(k);
  12. assert.equal(r.toString(16), '125868');
  13. });
  14. it('should handle carry properly (in-place)', function() {
  15. var k = new BN('abcdefabcdefabcdef', 16);
  16. var r = new BN('deadbeef', 16);
  17. for (var i = 0; i < 257; i++)
  18. r.iadd(k);
  19. assert.equal(r.toString(16), 'ac79bd9b79be7a277bde');
  20. });
  21. it('should properly do positive + negative', function() {
  22. var a = new BN('abcd', 16);
  23. var b = new BN('-abce', 16);
  24. assert.equal(a.iadd(b).toString(16), '-1');
  25. var a = new BN('abcd', 16);
  26. var b = new BN('-abce', 16);
  27. assert.equal(a.add(b).toString(16), '-1');
  28. assert.equal(b.add(a).toString(16), '-1');
  29. });
  30. });
  31. describe('.iaddn()', function() {
  32. it('should allow a sign change', function() {
  33. var a = new BN(-100);
  34. assert.equal(a.sign, true);
  35. a.iaddn(200);
  36. assert.equal(a.sign, false);
  37. assert.equal(a.toString(), '100');
  38. });
  39. it('should add negative number', function() {
  40. var a = new BN(-100);
  41. assert.equal(a.sign, true);
  42. a.iaddn(-200);
  43. assert.equal(a.toString(), '-300');
  44. });
  45. it('should allow neg + pos with big number', function() {
  46. var a = new BN('-1000000000', 10);
  47. assert.equal(a.sign, true);
  48. a.iaddn(200);
  49. assert.equal(a.toString(), '-999999800');
  50. });
  51. it('should carry limb', function() {
  52. var a = new BN('3ffffff', 16);
  53. assert.equal(a.iaddn(1).toString(16), '4000000');
  54. });
  55. });
  56. describe('.sub()', function() {
  57. it('should subtract small numbers', function() {
  58. assert.equal(new BN(26).sub(new BN(14)).toString(16), 'c');
  59. assert.equal(new BN(14).sub(new BN(26)).toString(16), '-c');
  60. assert.equal(new BN(26).sub(new BN(26)).toString(16), '0');
  61. assert.equal(new BN(-26).sub(new BN(26)).toString(16), '-34');
  62. });
  63. var a = new BN(
  64. '31ff3c61db2db84b9823d320907a573f6ad37c437abe458b1802cda041d6384' +
  65. 'a7d8daef41395491e2',
  66. 16);
  67. var b = new BN(
  68. '6f0e4d9f1d6071c183677f601af9305721c91d31b0bbbae8fb790000',
  69. 16);
  70. var r = new BN(
  71. '31ff3c61db2db84b9823d3208989726578fd75276287cd9516533a9acfb9a67' +
  72. '76281f34583ddb91e2',
  73. 16);
  74. it('should subtract big numbers', function() {
  75. assert.equal(a.sub(b).cmp(r), 0);
  76. });
  77. it('should subtract numbers in place', function() {
  78. assert.equal(b.clone().isub(a).neg().cmp(r), 0);
  79. });
  80. it('should subtract with carry', function() {
  81. // Carry and copy
  82. var a = new BN('12345', 16);
  83. var b = new BN('1000000000000', 16);
  84. assert.equal(a.isub(b).toString(16), '-fffffffedcbb');
  85. var a = new BN('12345', 16);
  86. var b = new BN('1000000000000', 16);
  87. assert.equal(b.isub(a).toString(16), 'fffffffedcbb');
  88. });
  89. });
  90. describe('.isubn()', function() {
  91. it('should subtract negative number', function() {
  92. var r = new BN(
  93. '7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b', 16);
  94. assert.equal(r.isubn(-1).toString(16),
  95. '7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681c');
  96. });
  97. it('should work for positive numbers', function() {
  98. var a = new BN(-100);
  99. assert.equal(a.sign, true);
  100. a.isubn(200);
  101. assert.equal(a.sign, true);
  102. assert.equal(a.toString(), '-300');
  103. });
  104. it('should not allow a sign change', function() {
  105. var a = new BN(-100);
  106. assert.equal(a.sign, true);
  107. a.isubn(-200);
  108. assert.equal(a.sign, false);
  109. assert.equal(a.toString(), '100');
  110. });
  111. });
  112. describe('.mul()', function() {
  113. it('should multiply numbers of different signs', function() {
  114. assert.equal(new BN(0x1001).mul(new BN(0x1234)).toString(16),
  115. '1235234');
  116. assert.equal(new BN(-0x1001).mul(new BN(0x1234)).toString(16),
  117. '-1235234');
  118. assert.equal(new BN(-0x1001).mul(new BN(-0x1234)).toString(16),
  119. '1235234');
  120. });
  121. it('should multiply with carry', function() {
  122. var n = new BN(0x1001);
  123. var r = n;
  124. for (var i = 0; i < 4; i++)
  125. r = r.mul(n);
  126. assert.equal(r.toString(16),
  127. '100500a00a005001');
  128. });
  129. it('should correctly multiply big numbers', function() {
  130. var n = new BN(
  131. '79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798',
  132. 16
  133. );
  134. assert.equal(
  135. n.mul(n).toString(16),
  136. '39e58a8055b6fb264b75ec8c646509784204ac15a8c24e05babc9729ab9' +
  137. 'b055c3a9458e4ce3289560a38e08ba8175a9446ce14e608245ab3a9' +
  138. '978a8bd8acaa40');
  139. assert.equal(
  140. n.mul(n).mul(n).toString(16),
  141. '1b888e01a06e974017a28a5b4da436169761c9730b7aeedf75fc60f687b' +
  142. '46e0cf2cb11667f795d5569482640fe5f628939467a01a612b02350' +
  143. '0d0161e9730279a7561043af6197798e41b7432458463e64fa81158' +
  144. '907322dc330562697d0d600');
  145. });
  146. it('should multiply neg number on 0', function() {
  147. assert.equal(
  148. new BN('-100000000000').mul(new BN('3').div(new BN('4'))).toString(16),
  149. '0'
  150. );
  151. });
  152. it('should regress mul big numbers', function() {
  153. var q = fixtures.dhGroups.p17.q;
  154. var qs = fixtures.dhGroups.p17.qs;
  155. var q = new BN(q, 16);
  156. assert.equal(q.sqr().toString(16), qs);
  157. assert.equal(q.isqr().toString(16), qs);
  158. });
  159. });
  160. describe('.imul()', function() {
  161. it('should multiply numbers in-place', function() {
  162. var a = new BN('abcdef01234567890abcd', 16);
  163. var b = new BN('deadbeefa551edebabba8', 16);
  164. var c = a.mul(b);
  165. assert.equal(a.imul(b).toString(16), c.toString(16));
  166. var a = new BN('abcdef01234567890abcd214a25123f512361e6d236', 16);
  167. var b = new BN('deadbeefa551edebabba8121234fd21bac0341324dd', 16);
  168. var c = a.mul(b);
  169. assert.equal(a.imul(b).toString(16), c.toString(16));
  170. });
  171. it('should multiply by 0', function() {
  172. var a = new BN('abcdef01234567890abcd', 16);
  173. var b = new BN('0', 16);
  174. var c = a.mul(b);
  175. assert.equal(a.imul(b).toString(16), c.toString(16));
  176. });
  177. });
  178. describe('.div()', function() {
  179. it('should divide numbers', function() {
  180. assert.equal(new BN('10').div(new BN(256)).toString(16),
  181. '0');
  182. assert.equal(new BN('69527932928').div(new BN('16974594')).toString(16),
  183. 'fff');
  184. assert.equal(new BN('-69527932928').div(new BN('16974594')).toString(16),
  185. '-fff');
  186. var b = new BN(
  187. '39e58a8055b6fb264b75ec8c646509784204ac15a8c24e05babc9729ab9' +
  188. 'b055c3a9458e4ce3289560a38e08ba8175a9446ce14e608245ab3a9' +
  189. '978a8bd8acaa40',
  190. 16);
  191. var n = new BN(
  192. '79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798',
  193. 16
  194. );
  195. assert.equal(b.div(n).toString(16), n.toString(16));
  196. assert.equal(new BN('1').div(new BN('-5')).toString(10), '0');
  197. });
  198. it('should not fail on regression after moving to _wordDiv', function() {
  199. // Regression after moving to word div
  200. var p = new BN(
  201. 'fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f',
  202. 16);
  203. var a = new BN(
  204. '79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798',
  205. 16);
  206. var as = a.sqr();
  207. assert.equal(
  208. as.div(p).toString(16),
  209. '39e58a8055b6fb264b75ec8c646509784204ac15a8c24e05babc9729e58090b9');
  210. var p = new BN(
  211. 'ffffffff00000001000000000000000000000000ffffffffffffffffffffffff',
  212. 16);
  213. var a = new BN(
  214. 'fffffffe00000003fffffffd0000000200000001fffffffe00000002ffffffff' +
  215. 'ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff',
  216. 16);
  217. assert.equal(
  218. a.div(p).toString(16),
  219. 'ffffffff00000002000000000000000000000001000000000000000000000001');
  220. });
  221. });
  222. describe('.idivn()', function() {
  223. it('should divide numbers in-place', function() {
  224. assert.equal(new BN('10', 16).idivn(3).toString(16), '5');
  225. assert.equal(new BN('12', 16).idivn(3).toString(16), '6');
  226. assert.equal(new BN('10000000000000000').idivn(3).toString(10),
  227. '3333333333333333');
  228. assert.equal(
  229. new BN('100000000000000000000000000000').idivn(3).toString(10),
  230. '33333333333333333333333333333');
  231. var t = new BN(3);
  232. assert.equal(
  233. new BN('12345678901234567890123456', 16).idivn(3).toString(16),
  234. new BN('12345678901234567890123456', 16).div(t).toString(16));
  235. });
  236. });
  237. describe('.divRound()', function() {
  238. it('should divide numbers with rounding', function() {
  239. assert.equal(new BN(9).divRound(new BN(20)).toString(10),
  240. '0');
  241. assert.equal(new BN(10).divRound(new BN(20)).toString(10),
  242. '1');
  243. assert.equal(new BN(150).divRound(new BN(20)).toString(10),
  244. '8');
  245. assert.equal(new BN(149).divRound(new BN(20)).toString(10),
  246. '7');
  247. assert.equal(new BN(149).divRound(new BN(17)).toString(10),
  248. '9');
  249. assert.equal(new BN(144).divRound(new BN(17)).toString(10),
  250. '8');
  251. assert.equal(new BN(-144).divRound(new BN(17)).toString(10),
  252. '-8');
  253. });
  254. it('should return 1 on exact division', function() {
  255. assert.equal(new BN(144).divRound(new BN(144)).toString(10), '1');
  256. });
  257. });
  258. describe('.mod()', function() {
  259. it('should mod numbers', function() {
  260. assert.equal(new BN('10').mod(new BN(256)).toString(16),
  261. 'a');
  262. assert.equal(new BN('69527932928').mod(new BN('16974594')).toString(16),
  263. '102f302');
  264. assert.equal(new BN('-69527932928').mod(new BN('16974594')).toString(16),
  265. '1000');
  266. var p = new BN(
  267. 'ffffffff00000001000000000000000000000000ffffffffffffffffffffffff',
  268. 16);
  269. var a = new BN(
  270. 'fffffffe00000003fffffffd0000000200000001fffffffe00000002ffffffff' +
  271. 'ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff',
  272. 16);
  273. assert.equal(
  274. a.mod(p).toString(16),
  275. '0');
  276. });
  277. });
  278. describe('.modn()', function() {
  279. it('should act like .mod() on small numbers', function() {
  280. assert.equal(new BN('10', 16).modn(256).toString(16), '10');
  281. assert.equal(new BN('100', 16).modn(256).toString(16), '0');
  282. assert.equal(new BN('1001', 16).modn(256).toString(16), '1');
  283. assert.equal(new BN('100000000001', 16).modn(256).toString(16), '1');
  284. assert.equal(new BN('100000000001', 16).modn(257).toString(16),
  285. new BN('100000000001', 16).mod(new BN(257)).toString(16));
  286. assert.equal(new BN('123456789012', 16).modn(3).toString(16),
  287. new BN('123456789012', 16).mod(new BN(3)).toString(16));
  288. });
  289. });
  290. describe('.abs()', function() {
  291. it('should return absolute value', function() {
  292. assert.equal(new BN(0x1001).abs().toString(), '4097');
  293. assert.equal(new BN(-0x1001).abs().toString(), '4097');
  294. assert.equal(new BN('ffffffff', 16).abs().toString(), '4294967295');
  295. })
  296. });
  297. describe('.invm()', function() {
  298. it('should invert relatively-prime numbers', function() {
  299. var p = new BN(257);
  300. var a = new BN(3);
  301. var b = a.invm(p);
  302. assert.equal(a.mul(b).mod(p).toString(16), '1');
  303. var p192 = new BN(
  304. 'fffffffffffffffffffffffffffffffeffffffffffffffff',
  305. 16);
  306. var a = new BN('deadbeef', 16);
  307. var b = a.invm(p192);
  308. assert.equal(a.mul(b).mod(p192).toString(16), '1');
  309. // Even base
  310. var phi = new BN('872d9b030ba368706b68932cf07a0e0c', 16);
  311. var e = new BN(65537);
  312. var d = e.invm(phi);
  313. assert.equal(e.mul(d).mod(phi).toString(16), '1');
  314. // Even base (take #2)
  315. var a = new BN('5');
  316. var b = new BN('6');
  317. var r = a.invm(b);
  318. assert.equal(r.mul(a).mod(b).toString(16), '1');
  319. });
  320. });
  321. describe('.gcd()', function() {
  322. it('should return GCD', function() {
  323. assert.equal(new BN(3).gcd(new BN(2)).toString(16), '1');
  324. assert.equal(new BN(18).gcd(new BN(12)).toString(16), '6');
  325. assert.equal(new BN(-18).gcd(new BN(12)).toString(16), '6');
  326. });
  327. });
  328. });