BigIntegerTest.cs 77 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678
  1. // Based in huge part on:
  2. //
  3. // https://github.com/mono/mono/blob/master/mcs/class/System.Numerics/Test/System.Numerics/BigIntegerTest.cs
  4. //
  5. // Authors:
  6. // Rodrigo Kumpera <rkumpera@novell.com>
  7. //
  8. // Copyright (C) 2010 Novell, Inc (http://www.novell.com)
  9. //
  10. //#define FEATURE_NUMERICS_BIGINTEGER
  11. using System;
  12. using System.Globalization;
  13. using System.Threading;
  14. using Microsoft.VisualStudio.TestTools.UnitTesting;
  15. using Renci.SshNet.Common;
  16. #if FEATURE_NUMERICS_BIGINTEGER
  17. using BigInteger = System.Numerics.BigInteger;
  18. #else
  19. using BigInteger = Renci.SshNet.Common.BigInteger;
  20. #endif
  21. namespace Renci.SshNet.Tests.Classes.Common
  22. {
  23. [TestClass]
  24. public class BigIntegerTest
  25. {
  26. private static readonly byte[] Huge_a =
  27. {
  28. 0x1D, 0x33, 0xFB, 0xFE, 0xB1, 0x2, 0x85, 0x44, 0xCA, 0xDC, 0xFB, 0x70, 0xD, 0x39,
  29. 0xB1, 0x47, 0xB6, 0xE6, 0xA2, 0xD1, 0x19, 0x1E, 0x9F, 0xE4, 0x3C, 0x1E, 0x16, 0x56, 0x13, 0x9C, 0x4D, 0xD3,
  30. 0x5C, 0x74, 0xC9, 0xBD, 0xFA, 0x56, 0x40, 0x58, 0xAC, 0x20, 0x6B, 0x55, 0xA2, 0xD5, 0x41, 0x38, 0xA4, 0x6D,
  31. 0xF6, 0x8C
  32. };
  33. private static readonly byte[] Huge_b =
  34. {
  35. 0x96, 0x5, 0xDA, 0xFE, 0x93, 0x17, 0xC1, 0x93, 0xEC, 0x2F, 0x30, 0x2D, 0x8F,
  36. 0x28, 0x13, 0x99, 0x70, 0xF4, 0x4C, 0x60, 0xA6, 0x49, 0x24, 0xF9, 0xB3, 0x4A, 0x41, 0x67, 0xDC, 0xDD, 0xB1,
  37. 0xA5, 0xA6, 0xC0, 0x3D, 0x57, 0x9A, 0xCB, 0x29, 0xE2, 0x94, 0xAC, 0x6C, 0x7D, 0xEF, 0x3E, 0xC6, 0x7A, 0xC1,
  38. 0xA8, 0xC8, 0xB0, 0x20, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7
  39. };
  40. private static readonly byte[] Huge_add =
  41. {
  42. 0xB3, 0x38, 0xD5, 0xFD, 0x45, 0x1A, 0x46, 0xD8, 0xB6, 0xC, 0x2C, 0x9E, 0x9C,
  43. 0x61, 0xC4, 0xE0, 0x26, 0xDB, 0xEF, 0x31, 0xC0, 0x67, 0xC3, 0xDD, 0xF0, 0x68, 0x57, 0xBD, 0xEF, 0x79, 0xFF,
  44. 0x78, 0x3, 0x35, 0x7, 0x15, 0x95, 0x22, 0x6A, 0x3A, 0x41, 0xCD, 0xD7, 0xD2, 0x91, 0x14, 0x8, 0xB3, 0x65,
  45. 0x16, 0xBF, 0x3D, 0x20, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7
  46. };
  47. private static readonly byte[] A_m_b =
  48. {
  49. 0x87, 0x2D, 0x21, 0x0, 0x1E, 0xEB, 0xC3, 0xB0, 0xDD, 0xAC, 0xCB, 0x43, 0x7E, 0x10,
  50. 0x9E, 0xAE, 0x45, 0xF2, 0x55, 0x71, 0x73, 0xD4, 0x7A, 0xEB, 0x88, 0xD3, 0xD4, 0xEE, 0x36, 0xBE, 0x9B, 0x2D,
  51. 0xB6, 0xB3, 0x8B, 0x66, 0x60, 0x8B, 0x16, 0x76, 0x17, 0x74, 0xFE, 0xD7, 0xB2, 0x96, 0x7B, 0xBD, 0xE2, 0xC4,
  52. 0x2D, 0xDC, 0xDE, 0x6A, 0x19, 0xB3, 0x1E, 0x1F, 0xB4, 0xB6, 0x2A, 0xA5, 0x48
  53. };
  54. private static readonly byte[] B_m_a =
  55. {
  56. 0x79, 0xD2, 0xDE, 0xFF, 0xE1, 0x14, 0x3C, 0x4F, 0x22, 0x53, 0x34, 0xBC, 0x81,
  57. 0xEF, 0x61, 0x51, 0xBA, 0xD, 0xAA, 0x8E, 0x8C, 0x2B, 0x85, 0x14, 0x77, 0x2C, 0x2B, 0x11, 0xC9, 0x41, 0x64,
  58. 0xD2, 0x49, 0x4C, 0x74, 0x99, 0x9F, 0x74, 0xE9, 0x89, 0xE8, 0x8B, 0x1, 0x28, 0x4D, 0x69, 0x84, 0x42, 0x1D,
  59. 0x3B, 0xD2, 0x23, 0x21, 0x95, 0xE6, 0x4C, 0xE1, 0xE0, 0x4B, 0x49, 0xD5, 0x5A, 0xB7
  60. };
  61. private static readonly byte[] Huge_mul =
  62. {
  63. 0xFE, 0x83, 0xE1, 0x9B, 0x8D, 0x61, 0x40, 0xD1, 0x60, 0x19, 0xBD, 0x38, 0xF0,
  64. 0xFF, 0x90, 0xAE, 0xDD, 0xAE, 0x73, 0x2C, 0x20, 0x23, 0xCF, 0x6, 0x7A, 0xB4, 0x1C, 0xE7, 0xD9, 0x64, 0x96,
  65. 0x2C, 0x87, 0x7E, 0x1D, 0xB3, 0x8F, 0xD4, 0x33, 0xBA, 0xF4, 0x22, 0xB4, 0xDB, 0xC0, 0x5B, 0xA5, 0x64, 0xA0,
  66. 0xBC, 0xCA, 0x3E, 0x94, 0x95, 0xDA, 0x49, 0xE2, 0xA8, 0x33, 0xA2, 0x6A, 0x33, 0xB1, 0xF2, 0xEA, 0x99, 0x32,
  67. 0xD0, 0xB2, 0xAE, 0x55, 0x75, 0xBD, 0x19, 0xFC, 0x9A, 0xEC, 0x54, 0x87, 0x2A, 0x6, 0xCC, 0x78, 0xDA, 0x88,
  68. 0xBB, 0xAB, 0xA5, 0x47, 0xEF, 0xC7, 0x2B, 0xC7, 0x5B, 0x32, 0x31, 0xCD, 0xD9, 0x53, 0x96, 0x1A, 0x9D, 0x9A,
  69. 0x57, 0x40, 0x51, 0xB6, 0x5D, 0xC, 0x17, 0xD1, 0x86, 0xE9, 0xA4, 0x20
  70. };
  71. private static readonly byte[] Huge_div = { 0x0 };
  72. private static readonly byte[] Huge_rem =
  73. {
  74. 0x1D, 0x33, 0xFB, 0xFE, 0xB1, 0x2, 0x85, 0x44, 0xCA, 0xDC, 0xFB, 0x70, 0xD,
  75. 0x39, 0xB1, 0x47, 0xB6, 0xE6, 0xA2, 0xD1, 0x19, 0x1E, 0x9F, 0xE4, 0x3C, 0x1E, 0x16, 0x56, 0x13, 0x9C, 0x4D,
  76. 0xD3, 0x5C, 0x74, 0xC9, 0xBD, 0xFA, 0x56, 0x40, 0x58, 0xAC, 0x20, 0x6B, 0x55, 0xA2, 0xD5, 0x41, 0x38, 0xA4,
  77. 0x6D, 0xF6, 0x8C
  78. };
  79. private static readonly byte[][] Add_a = { new byte[] { 1 }, new byte[] { 0xFF }, Huge_a };
  80. private static readonly byte[][] Add_b = { new byte[] { 1 }, new byte[] { 1 }, Huge_b };
  81. private static readonly byte[][] Add_c = { new byte[] { 2 }, new byte[] { 0 }, Huge_add };
  82. private readonly NumberFormatInfo _nfi = NumberFormatInfo.InvariantInfo;
  83. private NumberFormatInfo _nfiUser;
  84. [TestInitialize]
  85. public void SetUpFixture()
  86. {
  87. _nfiUser = new NumberFormatInfo
  88. {
  89. CurrencyDecimalDigits = 3,
  90. CurrencyDecimalSeparator = ":",
  91. CurrencyGroupSeparator = "/",
  92. CurrencyGroupSizes = new[] { 2, 1, 0 },
  93. CurrencyNegativePattern = 10, // n $-
  94. CurrencyPositivePattern = 3, // n $
  95. CurrencySymbol = "XYZ",
  96. PercentDecimalDigits = 1,
  97. PercentDecimalSeparator = ";",
  98. PercentGroupSeparator = "~",
  99. PercentGroupSizes = new[] { 1 },
  100. PercentNegativePattern = 2,
  101. PercentPositivePattern = 2,
  102. PercentSymbol = "%%%",
  103. NumberDecimalSeparator = "."
  104. };
  105. }
  106. [TestMethod]
  107. public void Mul()
  108. {
  109. long[] values = { -1000000000L, -1000, -1, 0, 1, 1000, 100000000L };
  110. for (var i = 0; i < values.Length; ++i)
  111. {
  112. for (var j = 0; j < values.Length; ++j)
  113. {
  114. var a = new BigInteger(values[i]);
  115. var b = new BigInteger(values[j]);
  116. var c = a * b;
  117. Assert.AreEqual(values[i] * values[j], (long)c, "#_" + i + "_" + j);
  118. }
  119. }
  120. }
  121. [TestMethod]
  122. public void TestHugeMul()
  123. {
  124. var a = new BigInteger(Huge_a);
  125. var b = new BigInteger(Huge_b);
  126. Assert.IsTrue(Huge_mul.IsEqualTo((a * b).ToByteArray()));
  127. }
  128. [TestMethod]
  129. public void DivRem()
  130. {
  131. long[] values = { -10000000330L, -5000, -1, 0, 1, 1000, 333, 10234544400L };
  132. for (var i = 0; i < values.Length; ++i)
  133. {
  134. for (var j = 0; j < values.Length; ++j)
  135. {
  136. if (values[j] == 0)
  137. {
  138. continue;
  139. }
  140. var a = new BigInteger(values[i]);
  141. var b = new BigInteger(values[j]);
  142. var c = BigInteger.DivRem(a, b, out var d);
  143. Assert.AreEqual(values[i] / values[j], (long)c, "#a_" + i + "_" + j);
  144. Assert.AreEqual(values[i] % values[j], (long)d, "#b_" + i + "_" + j);
  145. }
  146. }
  147. }
  148. [TestMethod]
  149. public void TestHugeDivRem()
  150. {
  151. var a = new BigInteger(Huge_a);
  152. var b = new BigInteger(Huge_b);
  153. var c = BigInteger.DivRem(a, b, out var d);
  154. AssertEqual(Huge_div, c.ToByteArray());
  155. AssertEqual(Huge_rem, d.ToByteArray());
  156. }
  157. [TestMethod]
  158. public void Pow()
  159. {
  160. try
  161. {
  162. _ = BigInteger.Pow(1, -1);
  163. Assert.Fail("#1");
  164. }
  165. catch (ArgumentOutOfRangeException) { }
  166. Assert.AreEqual(1, (int)BigInteger.Pow(99999, 0), "#2");
  167. Assert.AreEqual(99999, (int)BigInteger.Pow(99999, 1), "#5");
  168. Assert.AreEqual(59049, (int)BigInteger.Pow(3, 10), "#4");
  169. Assert.AreEqual(177147, (int)BigInteger.Pow(3, 11), "#5");
  170. Assert.AreEqual(-177147, (int)BigInteger.Pow(-3, 11), "#6");
  171. }
  172. [TestMethod]
  173. public void ModPow()
  174. {
  175. try
  176. {
  177. _ = BigInteger.ModPow(1, -1, 5);
  178. Assert.Fail("#1");
  179. }
  180. catch (ArgumentOutOfRangeException) { }
  181. try
  182. {
  183. _ = BigInteger.ModPow(1, 5, 0);
  184. Assert.Fail("#2");
  185. }
  186. catch (DivideByZeroException) { }
  187. Assert.AreEqual(4L, (long)BigInteger.ModPow(3, 2, 5), "#2");
  188. Assert.AreEqual(20L, (long)BigInteger.ModPow(555, 10, 71), "#3");
  189. Assert.AreEqual(20L, (long)BigInteger.ModPow(-555, 10, 71), "#3");
  190. Assert.AreEqual(-24L, (long)BigInteger.ModPow(-555, 11, 71), "#3");
  191. }
  192. [TestMethod]
  193. public void GreatestCommonDivisor()
  194. {
  195. Assert.AreEqual(999999, (int)BigInteger.GreatestCommonDivisor(999999, 0), "#1");
  196. Assert.AreEqual(999999, (int)BigInteger.GreatestCommonDivisor(0, 999999), "#2");
  197. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(999999, 1), "#3");
  198. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(1, 999999), "#4");
  199. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(1, 0), "#5");
  200. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(0, 1), "#6");
  201. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(999999, -1), "#7");
  202. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(-1, 999999), "#8");
  203. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(-1, 0), "#9");
  204. Assert.AreEqual(1, (int)BigInteger.GreatestCommonDivisor(0, -1), "#10");
  205. Assert.AreEqual(2, (int)BigInteger.GreatestCommonDivisor(12345678, 8765432), "#11");
  206. Assert.AreEqual(2, (int)BigInteger.GreatestCommonDivisor(-12345678, 8765432), "#12");
  207. Assert.AreEqual(2, (int)BigInteger.GreatestCommonDivisor(12345678, -8765432), "#13");
  208. Assert.AreEqual(2, (int)BigInteger.GreatestCommonDivisor(-12345678, -8765432), "#14");
  209. Assert.AreEqual(40, (int)BigInteger.GreatestCommonDivisor(5581 * 40, 6671 * 40), "#15");
  210. Assert.AreEqual(5, (int)BigInteger.GreatestCommonDivisor(-5, 0), "#16");
  211. Assert.AreEqual(5, (int)BigInteger.GreatestCommonDivisor(0, -5), "#17");
  212. }
  213. [TestMethod]
  214. public void Log()
  215. {
  216. const double delta = 0.000000000000001d;
  217. Assert.AreEqual(double.NegativeInfinity, BigInteger.Log(0));
  218. Assert.AreEqual(0d, BigInteger.Log(1));
  219. Assert.AreEqual(double.NaN, BigInteger.Log(-1));
  220. Assert.AreEqual(2.3025850929940459d, BigInteger.Log(10), delta);
  221. Assert.AreEqual(6.9077552789821368d, BigInteger.Log(1000), delta);
  222. Assert.AreEqual(double.NaN, BigInteger.Log(-234));
  223. }
  224. [TestMethod]
  225. public void LogN()
  226. {
  227. const double delta = 0.000000000000001d;
  228. Assert.AreEqual(double.NaN, BigInteger.Log(10, 1), "#1");
  229. Assert.AreEqual(double.NaN, BigInteger.Log(10, 0), "#2");
  230. Assert.AreEqual(double.NaN, BigInteger.Log(10, -1), "#3");
  231. Assert.AreEqual(double.NaN, BigInteger.Log(10, double.NaN), "#4");
  232. Assert.AreEqual(double.NaN, BigInteger.Log(10, double.NegativeInfinity), "#5");
  233. Assert.AreEqual(double.NaN, BigInteger.Log(10, double.PositiveInfinity), "#6");
  234. Assert.AreEqual(0d, BigInteger.Log(1, 0), "#7");
  235. Assert.AreEqual(double.NaN, BigInteger.Log(1, double.NegativeInfinity), "#8");
  236. Assert.AreEqual(0, BigInteger.Log(1, double.PositiveInfinity), "#9");
  237. Assert.AreEqual(double.NaN, BigInteger.Log(1, double.NaN), "#10");
  238. Assert.AreEqual(-2.5129415947320606d, BigInteger.Log(10, 0.4), delta, "#11");
  239. }
  240. [TestMethod]
  241. public void DivRemByZero()
  242. {
  243. try
  244. {
  245. _ = BigInteger.DivRem(100, 0, out var d);
  246. Assert.Fail("#1");
  247. }
  248. catch (DivideByZeroException)
  249. {
  250. }
  251. }
  252. [TestMethod]
  253. public void TestAdd()
  254. {
  255. for (var i = 0; i < Add_a.Length; ++i)
  256. {
  257. var a = new BigInteger(Add_a[i]);
  258. var b = new BigInteger(Add_b[i]);
  259. var c = new BigInteger(Add_c[i]);
  260. Assert.AreEqual(c, a + b, "#" + i + "a");
  261. Assert.AreEqual(c, b + a, "#" + i + "b");
  262. Assert.AreEqual(c, BigInteger.Add(a, b), "#" + i + "c");
  263. AssertEqual(Add_c[i], (a + b).ToByteArray());
  264. }
  265. }
  266. [TestMethod]
  267. public void TestAdd2()
  268. {
  269. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  270. for (var i = 0; i < values.Length; ++i)
  271. {
  272. for (var j = 0; j < values.Length; ++j)
  273. {
  274. var a = new BigInteger(values[i]);
  275. var b = new BigInteger(values[j]);
  276. var c = a + b;
  277. Assert.AreEqual(values[i] + values[j], (long)c, "#_" + i + "_" + j);
  278. }
  279. }
  280. }
  281. [TestMethod]
  282. public void TestHugeSub()
  283. {
  284. var a = new BigInteger(Huge_a);
  285. var b = new BigInteger(Huge_b);
  286. AssertEqual(A_m_b, (a - b).ToByteArray());
  287. AssertEqual(B_m_a, (b - a).ToByteArray());
  288. }
  289. [TestMethod]
  290. public void TestSub()
  291. {
  292. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  293. for (var i = 0; i < values.Length; ++i)
  294. {
  295. for (var j = 0; j < values.Length; ++j)
  296. {
  297. var a = new BigInteger(values[i]);
  298. var b = new BigInteger(values[j]);
  299. var c = a - b;
  300. var d = BigInteger.Subtract(a, b);
  301. Assert.AreEqual(values[i] - values[j], (long)c, "#_" + i + "_" + j);
  302. Assert.AreEqual(values[i] - values[j], (long)d, "#_" + i + "_" + j);
  303. }
  304. }
  305. }
  306. [TestMethod]
  307. public void TestMin()
  308. {
  309. long[] values = { -100000000000L, -1000L, -1L, 0L, 1L, 1000L, 100000000000L };
  310. for (var i = 0; i < values.Length; ++i)
  311. {
  312. for (var j = 0; j < values.Length; ++j)
  313. {
  314. var a = new BigInteger(values[i]);
  315. var b = new BigInteger(values[j]);
  316. var c = BigInteger.Min(a, b);
  317. Assert.AreEqual(Math.Min(values[i], values[j]), (long)c, "#_" + i + "_" + j);
  318. }
  319. }
  320. }
  321. [TestMethod]
  322. public void TestMax()
  323. {
  324. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  325. for (var i = 0; i < values.Length; ++i)
  326. {
  327. for (var j = 0; j < values.Length; ++j)
  328. {
  329. var a = new BigInteger(values[i]);
  330. var b = new BigInteger(values[j]);
  331. var c = BigInteger.Max(a, b);
  332. Assert.AreEqual(Math.Max(values[i], values[j]), (long)c, "#_" + i + "_" + j);
  333. }
  334. }
  335. }
  336. [TestMethod]
  337. public void TestAbs()
  338. {
  339. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  340. for (var i = 0; i < values.Length; ++i)
  341. {
  342. var a = new BigInteger(values[i]);
  343. var c = BigInteger.Abs(a);
  344. Assert.AreEqual(Math.Abs(values[i]), (long)c, "#_" + i);
  345. }
  346. }
  347. [TestMethod]
  348. public void TestNegate()
  349. {
  350. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  351. for (var i = 0; i < values.Length; ++i)
  352. {
  353. var a = new BigInteger(values[i]);
  354. var c = -a;
  355. var d = BigInteger.Negate(a);
  356. Assert.AreEqual(-values[i], (long)c, "#_" + i);
  357. Assert.AreEqual(-values[i], (long)d, "#_" + i);
  358. }
  359. }
  360. [TestMethod]
  361. public void TestInc()
  362. {
  363. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  364. for (var i = 0; i < values.Length; ++i)
  365. {
  366. var a = new BigInteger(values[i]);
  367. var b = ++a;
  368. Assert.AreEqual(++values[i], (long)b, "#_" + i);
  369. }
  370. }
  371. [TestMethod]
  372. public void TestDec()
  373. {
  374. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  375. for (var i = 0; i < values.Length; ++i)
  376. {
  377. var a = new BigInteger(values[i]);
  378. var b = --a;
  379. Assert.AreEqual(--values[i], (long)b, "#_" + i);
  380. }
  381. }
  382. [TestMethod]
  383. public void TestBitwiseOps()
  384. {
  385. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L, 0xFFFF00000000L };
  386. for (var i = 0; i < values.Length; ++i)
  387. {
  388. for (var j = 0; j < values.Length; ++j)
  389. {
  390. var a = new BigInteger(values[i]);
  391. var b = new BigInteger(values[j]);
  392. Assert.AreEqual(values[i] | values[j], (long)(a | b), "#b_" + i + "_" + j);
  393. Assert.AreEqual(values[i] & values[j], (long)(a & b), "#a_" + i + "_" + j);
  394. Assert.AreEqual(values[i] ^ values[j], (long)(a ^ b), "#c_" + i + "_" + j);
  395. Assert.AreEqual(~values[i], (long)~a, "#d_" + i + "_" + j);
  396. }
  397. }
  398. }
  399. [TestMethod]
  400. public void TestLeftShift()
  401. {
  402. AssertEqual(new byte[] { 0x00, 0x28 }, (new BigInteger(0x0A) << 10).ToByteArray());
  403. AssertEqual(new byte[] { 0x00, 0xD8 }, (new BigInteger(-10) << 10).ToByteArray());
  404. AssertEqual(new byte[] { 0x00, 0x00, 0xFF }, (new BigInteger(-1) << 16).ToByteArray());
  405. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0A }, (new BigInteger(0x0A) << 80).ToByteArray());
  406. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xF6 }, (new BigInteger(-10) << 80).ToByteArray());
  407. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF }, (new BigInteger(-1) << 80).ToByteArray());
  408. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x70, 0xD9 }, (new BigInteger(-1234) << 75).ToByteArray());
  409. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xA0, 0x91, 0x00 }, (new BigInteger(0x1234) << 75).ToByteArray());
  410. AssertEqual(new byte[] { 0xFF, 0x00 }, (new BigInteger(0xFF00) << -8).ToByteArray());
  411. }
  412. [TestMethod]
  413. public void TestRightShift()
  414. {
  415. AssertEqual(new byte[] { 0x16, 0xB0, 0x4C, 0x02 }, (new BigInteger(1234567899L) >> 5).ToByteArray());
  416. AssertEqual(new byte[] { 0x2C, 0x93, 0x00 }, (new BigInteger(1234567899L) >> 15).ToByteArray());
  417. AssertEqual(new byte[] { 0xFF, 0xFF, 0x7F }, (new BigInteger(long.MaxValue - 100) >> 40).ToByteArray());
  418. AssertEqual(new byte[] { 0xE9, 0x4F, 0xB3, 0xFD }, (new BigInteger(-1234567899L) >> 5).ToByteArray());
  419. AssertEqual(new byte[] { 0xD3, 0x6C, 0xFF }, (new BigInteger(-1234567899L) >> 15).ToByteArray());
  420. AssertEqual(new byte[] { 0x00, 0x00, 0x80 }, (new BigInteger(long.MinValue + 100) >> 40).ToByteArray());
  421. AssertEqual(new byte[] { 0xFF }, (new BigInteger(-1234567899L) >> 90).ToByteArray());
  422. AssertEqual(new byte[] { 0x00 }, (new BigInteger(999999) >> 90).ToByteArray());
  423. AssertEqual(new byte[] { 0x00, 0x00, 0xFF, 0x00 }, (new BigInteger(0xFF00) >> -8).ToByteArray());
  424. }
  425. [TestMethod]
  426. public void CompareOps()
  427. {
  428. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L };
  429. for (var i = 0; i < values.Length; ++i)
  430. {
  431. for (var j = 0; j < values.Length; ++j)
  432. {
  433. var a = new BigInteger(values[i]);
  434. var b = new BigInteger(values[j]);
  435. Assert.AreEqual(values[i].CompareTo(values[j]), a.CompareTo(b), "#a_" + i + "_" + j);
  436. Assert.AreEqual(values[i].CompareTo(values[j]), BigInteger.Compare(a, b), "#b_" + i + "_" + j);
  437. Assert.AreEqual(values[i] < values[j], a < b, "#c_" + i + "_" + j);
  438. Assert.AreEqual(values[i] <= values[j], a <= b, "#d_" + i + "_" + j);
  439. Assert.AreEqual(values[i] == values[j], a == b, "#e_" + i + "_" + j);
  440. Assert.AreEqual(values[i] != values[j], a != b, "#f_" + i + "_" + j);
  441. Assert.AreEqual(values[i] >= values[j], a >= b, "#g_" + i + "_" + j);
  442. Assert.AreEqual(values[i] > values[j], a > b, "#h_" + i + "_" + j);
  443. }
  444. }
  445. }
  446. [TestMethod]
  447. public void CompareOps2()
  448. {
  449. var a = new BigInteger(100000000000L);
  450. var b = new BigInteger(28282828282UL);
  451. Assert.IsTrue(a >= b, "#1");
  452. Assert.IsTrue(a >= b, "#2");
  453. Assert.IsFalse(a < b, "#3");
  454. Assert.IsFalse(a <= b, "#4");
  455. Assert.AreEqual(1, a.CompareTo(b), "#5");
  456. }
  457. [TestMethod]
  458. public void CompareULong()
  459. {
  460. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 100000000000L, 0xAA00000000L };
  461. ulong[] uvalues = { 0, 1, 1000, 100000000000L, 999999, 28282828282, 0xAA00000000, ulong.MaxValue };
  462. for (var i = 0; i < values.Length; ++i)
  463. {
  464. for (var j = 0; j < uvalues.Length; ++j)
  465. {
  466. var a = new BigInteger(values[i]);
  467. var b = uvalues[j];
  468. var c = new BigInteger(b);
  469. Assert.AreEqual(a.CompareTo(c), a.CompareTo(b), "#a_" + i + "_" + j);
  470. Assert.AreEqual(a > c, a > b, "#b_" + i + "_" + j);
  471. Assert.AreEqual(a < c, a < b, "#c_" + i + "_" + j);
  472. Assert.AreEqual(a <= c, a <= b, "#d_" + i + "_" + j);
  473. Assert.AreEqual(a == c, a == b, "#e_" + i + "_" + j);
  474. Assert.AreEqual(a != c, a != b, "#f_" + i + "_" + j);
  475. Assert.AreEqual(a >= c, a >= b, "#g_" + i + "_" + j);
  476. Assert.AreEqual(c > a, b > a, "#ib_" + i + "_" + j);
  477. Assert.AreEqual(c < a, b < a, "#ic_" + i + "_" + j);
  478. Assert.AreEqual(c <= a, b <= a, "#id_" + i + "_" + j);
  479. Assert.AreEqual(c == a, b == a, "#ie_" + i + "_" + j);
  480. Assert.AreEqual(c != a, b != a, "#if_" + i + "_" + j);
  481. Assert.AreEqual(c >= a, b >= a, "#ig_" + i + "_" + j);
  482. }
  483. }
  484. }
  485. [TestMethod]
  486. public void CompareLong()
  487. {
  488. long[] values = { -100000000000L, -1000, -1, 0, 1, 1000, 9999999, 100000000000L, 0xAA00000000, long.MaxValue, long.MinValue };
  489. for (var i = 0; i < values.Length; ++i)
  490. {
  491. for (var j = 0; j < values.Length; ++j)
  492. {
  493. var a = new BigInteger(values[i]);
  494. var b = values[j];
  495. var c = new BigInteger(b);
  496. Assert.AreEqual(a.CompareTo(c), a.CompareTo(b), "#a_" + i + "_" + j);
  497. Assert.AreEqual(a > c, a > b, "#b_" + i + "_" + j);
  498. Assert.AreEqual(a < c, a < b, "#c_" + i + "_" + j);
  499. Assert.AreEqual(a <= c, a <= b, "#d_" + i + "_" + j);
  500. Assert.AreEqual(a == c, a == b, "#e_" + i + "_" + j);
  501. Assert.AreEqual(a != c, a != b, "#f_" + i + "_" + j);
  502. Assert.AreEqual(a >= c, a >= b, "#g_" + i + "_" + j);
  503. Assert.AreEqual(c > a, b > a, "#ib_" + i + "_" + j);
  504. Assert.AreEqual(c < a, b < a, "#ic_" + i + "_" + j);
  505. Assert.AreEqual(c <= a, b <= a, "#id_" + i + "_" + j);
  506. Assert.AreEqual(c == a, b == a, "#ie_" + i + "_" + j);
  507. Assert.AreEqual(c != a, b != a, "#if_" + i + "_" + j);
  508. Assert.AreEqual(c >= a, b >= a, "#ig_" + i + "_" + j);
  509. }
  510. }
  511. }
  512. [TestMethod]
  513. public void TestEquals()
  514. {
  515. var a = new BigInteger(10);
  516. var b = new BigInteger(10);
  517. var c = new BigInteger(-10);
  518. Assert.AreEqual(a, b, "#1");
  519. Assert.AreNotEqual(a, c, "#2");
  520. Assert.AreEqual(a, 10, "#3");
  521. }
  522. [TestMethod]
  523. public void Ctor_ByteArray_ShouldThrowArgumentNullExceptionWhenValueIsNull()
  524. {
  525. const byte[] value = null;
  526. try
  527. {
  528. var actual = new BigInteger(value);
  529. Assert.Fail("#1:" + actual);
  530. }
  531. catch (ArgumentNullException ex)
  532. {
  533. Assert.IsNull(ex.InnerException);
  534. Assert.AreEqual("value", ex.ParamName);
  535. }
  536. }
  537. [TestMethod]
  538. public void ByteArrayCtor()
  539. {
  540. Assert.AreEqual(0, (int)new BigInteger(new byte[0]));
  541. Assert.AreEqual(0, (int)new BigInteger(new byte[1]));
  542. Assert.AreEqual(0, (int)new BigInteger(new byte[2]));
  543. }
  544. [TestMethod]
  545. public void IntCtorRoundTrip()
  546. {
  547. int[] values =
  548. {
  549. int.MinValue, -0x2F33BB, -0x1F33, -0x33, 0, 0x33,
  550. 0x80, 0x8190, 0xFF0011, 0x1234, 0x11BB99, 0x44BB22CC,
  551. int.MaxValue
  552. };
  553. foreach (var val in values)
  554. {
  555. var a = new BigInteger(val);
  556. var b = new BigInteger(a.ToByteArray());
  557. Assert.AreEqual(val, (int)a, "#a_" + val);
  558. Assert.AreEqual(val, (int)b, "#b_" + val);
  559. }
  560. }
  561. [TestMethod]
  562. public void LongCtorRoundTrip()
  563. {
  564. long[] values =
  565. {
  566. 0L, long.MinValue, long.MaxValue, -1, 1L + int.MaxValue, -1L + int.MinValue, 0x1234, 0xFFFFFFFFL,
  567. 0x1FFFFFFFFL, -0xFFFFFFFFL, -0x1FFFFFFFFL, 0x100000000L, -0x100000000L, 0x100000001L, -0x100000001L,
  568. 4294967295L, -4294967295L, 4294967296L, -4294967296L
  569. };
  570. foreach (var val in values)
  571. {
  572. try
  573. {
  574. var a = new BigInteger(val);
  575. var b = new BigInteger(a.ToByteArray());
  576. Assert.AreEqual(val, (long)a, "#a_" + val);
  577. Assert.AreEqual(val, (long)b, "#b_" + val);
  578. Assert.AreEqual(a, b, "#a == #b (" + val + ")");
  579. }
  580. catch (Exception e)
  581. {
  582. Assert.Fail("Failed to roundtrip {0}: {1}", val, e);
  583. }
  584. }
  585. }
  586. [TestMethod]
  587. public void ByteArrayCtorRoundTrip()
  588. {
  589. var arr = new byte[] { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  590. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  591. arr = new byte[] { 1, 2, 3, 4, 5, 6, 7, 8, 0xFF, 0x0 };
  592. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  593. arr = new byte[] { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0xF0 };
  594. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  595. arr = new byte[] { 1 };
  596. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  597. arr = new byte[] { 1, 2 };
  598. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  599. arr = new byte[] { 1, 2, 3 };
  600. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  601. arr = new byte[] { 1, 2, 3, 4 };
  602. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  603. arr = new byte[] { 1, 2, 3, 4, 5 };
  604. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  605. arr = new byte[] { 1, 2, 3, 4, 5, 6 };
  606. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  607. arr = new byte[] { 1, 2, 3, 4, 5, 6, 7 };
  608. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  609. arr = new byte[] { 1, 2, 3, 4, 5 };
  610. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  611. arr = new byte[] { 0 };
  612. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  613. arr = new byte[] { 0xFF, 00 };
  614. AssertEqual(arr, new BigInteger(arr).ToByteArray());
  615. arr = new byte[] { 1, 0, 0, 0, 0, 0 };
  616. AssertEqual(new byte[] { 1 }, new BigInteger(arr).ToByteArray());
  617. }
  618. [TestMethod]
  619. public void TestIntCtorProperties()
  620. {
  621. var a = new BigInteger(10);
  622. Assert.IsTrue(a.IsEven, "#1");
  623. Assert.IsFalse(a.IsOne, "#2");
  624. Assert.IsFalse(a.IsPowerOfTwo, "#3");
  625. Assert.IsFalse(a.IsZero, "#4");
  626. Assert.AreEqual(1, a.Sign, "#5");
  627. Assert.IsFalse(new BigInteger(11).IsEven, "#6");
  628. Assert.IsTrue(new BigInteger(1).IsOne, "#7");
  629. Assert.IsTrue(new BigInteger(32).IsPowerOfTwo, "#8");
  630. Assert.IsTrue(new BigInteger(0).IsZero, "#9");
  631. Assert.IsTrue(new BigInteger().IsZero, "#9b");
  632. Assert.AreEqual(0, new BigInteger(0).Sign, "#10");
  633. Assert.AreEqual(-1, new BigInteger(-99999).Sign, "#11");
  634. Assert.IsFalse(new BigInteger(0).IsPowerOfTwo, "#12");
  635. Assert.IsFalse(new BigInteger().IsPowerOfTwo, "#12b");
  636. Assert.IsFalse(new BigInteger(-16).IsPowerOfTwo, "#13");
  637. Assert.IsTrue(new BigInteger(1).IsPowerOfTwo, "#14");
  638. }
  639. [TestMethod]
  640. public void TestIntCtorToString()
  641. {
  642. Assert.AreEqual("5555", new BigInteger(5555).ToString(), "#1");
  643. Assert.AreEqual("-99999", new BigInteger(-99999).ToString(), "#2");
  644. }
  645. [TestMethod]
  646. public void TestToStringFmt()
  647. {
  648. Assert.AreEqual("123456789123456", new BigInteger(123456789123456).ToString("D2"), "#1");
  649. Assert.AreEqual("0000000005", new BigInteger(5).ToString("d10"), "#2");
  650. Assert.AreEqual("0A8", new BigInteger(168).ToString("X"), "#3");
  651. Assert.AreEqual("0", new BigInteger(0).ToString("X"), "#4");
  652. Assert.AreEqual("0", new BigInteger().ToString("X"), "#4b");
  653. Assert.AreEqual("1", new BigInteger(1).ToString("X"), "#5");
  654. Assert.AreEqual("0A", new BigInteger(10).ToString("X"), "#6");
  655. Assert.AreEqual("F6", new BigInteger(-10).ToString("X"), "#7");
  656. Assert.AreEqual("10000000000000000000000000000000000000000000000000000000", BigInteger.Pow(10, 55).ToString("G"), "#8");
  657. Assert.AreEqual("10000000000000000000000000000000000000000000000000000000", BigInteger.Pow(10, 55).ToString("R"), "#9");
  658. Assert.AreEqual("000000000A", new BigInteger(10).ToString("X10"), "#10");
  659. Assert.AreEqual("0000000010", new BigInteger(10).ToString("G10"), "#11");
  660. }
  661. [TestMethod]
  662. public void TestToStringFmtProvider()
  663. {
  664. var info = new NumberFormatInfo
  665. {
  666. NegativeSign = ">",
  667. PositiveSign = "%"
  668. };
  669. Assert.AreEqual("10", new BigInteger(10).ToString(info), "#1");
  670. Assert.AreEqual(">10", new BigInteger(-10).ToString(info), "#2");
  671. Assert.AreEqual("0A", new BigInteger(10).ToString("X", info), "#3");
  672. Assert.AreEqual("F6", new BigInteger(-10).ToString("X", info), "#4");
  673. Assert.AreEqual("10", new BigInteger(10).ToString("G", info), "#5");
  674. Assert.AreEqual(">10", new BigInteger(-10).ToString("G", info), "#6");
  675. Assert.AreEqual("10", new BigInteger(10).ToString("D", info), "#7");
  676. Assert.AreEqual(">10", new BigInteger(-10).ToString("D", info), "#8");
  677. Assert.AreEqual("10", new BigInteger(10).ToString("R", info), "#9");
  678. Assert.AreEqual(">10", new BigInteger(-10).ToString("R", info), "#10");
  679. info = new NumberFormatInfo
  680. {
  681. NegativeSign = "#$%"
  682. };
  683. Assert.AreEqual("#$%10", new BigInteger(-10).ToString(info), "#2");
  684. Assert.AreEqual("#$%10", new BigInteger(-10).ToString(null, info), "#2");
  685. info = new NumberFormatInfo();
  686. Assert.AreEqual("-10", new BigInteger(-10).ToString(info), "#2");
  687. }
  688. [TestMethod]
  689. public void TestToIntOperator()
  690. {
  691. try
  692. {
  693. _ = (int)new BigInteger(Huge_a);
  694. Assert.Fail("#1");
  695. }
  696. catch (OverflowException) { }
  697. try
  698. {
  699. _ = (int)new BigInteger(1L + int.MaxValue);
  700. Assert.Fail("#2");
  701. }
  702. catch (OverflowException) { }
  703. try
  704. {
  705. _ = (int)new BigInteger(-1L + int.MinValue);
  706. Assert.Fail("#3");
  707. }
  708. catch (OverflowException) { }
  709. Assert.AreEqual(int.MaxValue, (int)new BigInteger(int.MaxValue), "#4");
  710. Assert.AreEqual(int.MinValue, (int)new BigInteger(int.MinValue), "#5");
  711. }
  712. [TestMethod]
  713. public void TestToLongOperator()
  714. {
  715. try
  716. {
  717. _ = (long)new BigInteger(Huge_a);
  718. Assert.Fail("#1");
  719. }
  720. catch (OverflowException) { }
  721. //long.MaxValue + 1
  722. try
  723. {
  724. _ = (long)new BigInteger(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x00 });
  725. Assert.Fail("#2");
  726. }
  727. catch (OverflowException) { }
  728. //TODO long.MinValue - 1
  729. try
  730. {
  731. _ = (long)new BigInteger(new byte[] { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0x7F, 0xFF });
  732. Assert.Fail("#3");
  733. }
  734. catch (OverflowException) { }
  735. Assert.AreEqual(long.MaxValue, (long)new BigInteger(long.MaxValue), "#4");
  736. Assert.AreEqual(long.MinValue, (long)new BigInteger(long.MinValue), "#5");
  737. }
  738. [TestMethod]
  739. public void TestIntCtorToByteArray()
  740. {
  741. AssertEqual(new byte[] { 0xFF }, new BigInteger(-1).ToByteArray());
  742. AssertEqual(new byte[] { 0xD4, 0xFE }, new BigInteger(-300).ToByteArray());
  743. AssertEqual(new byte[] { 0x80, 0x00 }, new BigInteger(128).ToByteArray());
  744. AssertEqual(new byte[] { 0x00, 0x60 }, new BigInteger(0x6000).ToByteArray());
  745. AssertEqual(new byte[] { 0x00, 0x80, 0x00 }, new BigInteger(0x8000).ToByteArray());
  746. AssertEqual(new byte[] { 0xDD, 0xBC, 0x00, 0x7A }, new BigInteger(0x7A00BCDD).ToByteArray());
  747. AssertEqual(new byte[] { 0xFF, 0xFF, 0xFF, 0x7F }, new BigInteger(int.MaxValue).ToByteArray());
  748. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x80 }, new BigInteger(int.MinValue).ToByteArray());
  749. AssertEqual(new byte[] { 0x01, 0x00, 0x00, 0x80 }, new BigInteger(int.MinValue + 1).ToByteArray());
  750. AssertEqual(new byte[] { 0x7F }, new BigInteger(0x7F).ToByteArray());
  751. AssertEqual(new byte[] { 0x45, 0xCC, 0xD0 }, new BigInteger(-0x2F33BB).ToByteArray());
  752. AssertEqual(new byte[] { 0 }, new BigInteger(0).ToByteArray());
  753. AssertEqual(new byte[] { 0 }, new BigInteger().ToByteArray());
  754. }
  755. [TestMethod]
  756. public void TestLongCtorToByteArray()
  757. {
  758. AssertEqual(new byte[] { 0x01 }, new BigInteger(0x01L).ToByteArray());
  759. AssertEqual(new byte[] { 0x02, 0x01 }, new BigInteger(0x0102L).ToByteArray());
  760. AssertEqual(new byte[] { 0x03, 0x02, 0x01 }, new BigInteger(0x010203L).ToByteArray());
  761. AssertEqual(new byte[] { 0x04, 0x03, 0x2, 0x01 }, new BigInteger(0x01020304L).ToByteArray());
  762. AssertEqual(new byte[] { 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger(0x0102030405L).ToByteArray());
  763. AssertEqual(new byte[] { 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger(0x010203040506L).ToByteArray());
  764. AssertEqual(new byte[] { 0x07, 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger(0x01020304050607L).ToByteArray());
  765. AssertEqual(new byte[] { 0x08, 0x07, 0x06, 0x05, 0x04, 0x03, 0x2, 0x01 }, new BigInteger(0x0102030405060708L).ToByteArray());
  766. AssertEqual(new byte[] { 0xFF }, new BigInteger(-0x01L).ToByteArray());
  767. AssertEqual(new byte[] { 0xFE, 0xFE }, new BigInteger(-0x0102L).ToByteArray());
  768. AssertEqual(new byte[] { 0xFD, 0xFD, 0xFE }, new BigInteger(-0x010203L).ToByteArray());
  769. AssertEqual(new byte[] { 0xFC, 0xFC, 0xFD, 0xFE }, new BigInteger(-0x01020304L).ToByteArray());
  770. AssertEqual(new byte[] { 0xFB, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger(-0x0102030405L).ToByteArray());
  771. AssertEqual(new byte[] { 0xFA, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger(-0x010203040506L).ToByteArray());
  772. AssertEqual(new byte[] { 0xF9, 0xF9, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger(-0x01020304050607L).ToByteArray());
  773. AssertEqual(new byte[] { 0xF8, 0xF8, 0xF9, 0xFA, 0xFB, 0xFC, 0xFD, 0xFE }, new BigInteger(-0x0102030405060708L).ToByteArray());
  774. AssertEqual(new byte[] { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0x7F }, new BigInteger(long.MaxValue).ToByteArray());
  775. AssertEqual(new byte[] { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80 }, new BigInteger(long.MinValue).ToByteArray());
  776. AssertEqual(new byte[] { 0xFF, 0xFF, 0xFF, 0x7F, 0xFF }, new BigInteger(-2147483649L).ToByteArray());
  777. }
  778. [TestMethod]
  779. public void CompareTo()
  780. {
  781. var a = new BigInteger(99);
  782. Assert.AreEqual(-1, a.CompareTo(100), "#1");
  783. Assert.AreEqual(1, a.CompareTo(null), "#2");
  784. }
  785. [TestMethod]
  786. public void ShortOperators()
  787. {
  788. Assert.AreEqual(22, (int)new BigInteger(22), "#1");
  789. Assert.AreEqual(-22, (int)new BigInteger(-22), "#2");
  790. try
  791. {
  792. _ = (short)new BigInteger(10000000);
  793. Assert.Fail("#3");
  794. }
  795. catch (OverflowException) { }
  796. try
  797. {
  798. _ = (short)new BigInteger(-10000000);
  799. Assert.Fail("#4");
  800. }
  801. catch (OverflowException) { }
  802. }
  803. [TestMethod]
  804. public void Ctor_Double_NaN()
  805. {
  806. try
  807. {
  808. _ = new BigInteger(double.NaN);
  809. Assert.Fail();
  810. }
  811. catch (OverflowException)
  812. {
  813. }
  814. }
  815. [TestMethod]
  816. public void Ctor_Double_NegativeInfinity()
  817. {
  818. try
  819. {
  820. _ = new BigInteger(double.NegativeInfinity);
  821. Assert.Fail();
  822. }
  823. catch (OverflowException)
  824. {
  825. }
  826. }
  827. [TestMethod]
  828. public void Ctor_Double_PositiveInfinity()
  829. {
  830. try
  831. {
  832. _ = new BigInteger(double.PositiveInfinity);
  833. Assert.Fail();
  834. }
  835. catch (OverflowException)
  836. {
  837. }
  838. }
  839. [TestMethod]
  840. public void Ctor_Double()
  841. {
  842. Assert.AreEqual(10000, (int)new BigInteger(10000.2));
  843. Assert.AreEqual(10000, (int)new BigInteger(10000.9));
  844. Assert.AreEqual(10000, (int)new BigInteger(10000.2));
  845. Assert.AreEqual(0, (int)new BigInteger(0.9));
  846. Assert.AreEqual(12345678999L, (long)new BigInteger(12345678999.33));
  847. }
  848. [TestMethod]
  849. public void DoubleConversion()
  850. {
  851. Assert.AreEqual(999d, (double)new BigInteger(999), "#1");
  852. Assert.AreEqual(double.PositiveInfinity, (double)BigInteger.Pow(2, 1024), "#2");
  853. Assert.AreEqual(double.NegativeInfinity, (double)BigInteger.Pow(-2, 1025), "#3");
  854. Assert.AreEqual(0d, (double)BigInteger.Zero, "#4");
  855. Assert.AreEqual(1d, (double)BigInteger.One, "#5");
  856. Assert.AreEqual(-1d, (double)BigInteger.MinusOne, "#6");
  857. var result1 = BitConverter.Int64BitsToDouble(-4337852273739220173);
  858. Assert.AreEqual(result1, (double)new BigInteger(new byte[] { 53, 152, 137, 177, 240, 81, 75, 198 }), "#7");
  859. var result2 = BitConverter.Int64BitsToDouble(4893382453283402035);
  860. Assert.AreEqual(result2, (double)new BigInteger(new byte[] { 53, 152, 137, 177, 240, 81, 75, 198, 0 }), "#8");
  861. var result3 = BitConverter.Int64BitsToDouble(5010775143622804480);
  862. var result4 = BitConverter.Int64BitsToDouble(5010775143622804481);
  863. var result5 = BitConverter.Int64BitsToDouble(5010775143622804482);
  864. Assert.AreEqual(result3, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 16, 128, 208, 159, 60, 46, 59, 3 }), "#9");
  865. Assert.AreEqual(result3, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 17, 128, 208, 159, 60, 46, 59, 3 }), "#10");
  866. Assert.AreEqual(result3, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 24, 128, 208, 159, 60, 46, 59, 3 }), "#11");
  867. Assert.AreEqual(result4, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 32, 128, 208, 159, 60, 46, 59, 3 }), "#12");
  868. Assert.AreEqual(result4, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 48, 128, 208, 159, 60, 46, 59, 3 }), "#13");
  869. Assert.AreEqual(result5, (double)new BigInteger(new byte[] { 0, 0, 0, 0, 64, 128, 208, 159, 60, 46, 59, 3 }), "#14");
  870. Assert.AreEqual(BitConverter.Int64BitsToDouble(-2748107935317889142), (double)new BigInteger(Huge_a), "#15");
  871. Assert.AreEqual(BitConverter.Int64BitsToDouble(-2354774254443231289), (double)new BigInteger(Huge_b), "#16");
  872. Assert.AreEqual(BitConverter.Int64BitsToDouble(8737073938546854790), (double)new BigInteger(Huge_mul), "#17");
  873. Assert.AreEqual(BitConverter.Int64BitsToDouble(6912920136897069886), (double)(2278888483353476799 * BigInteger.Pow(2, 451)), "#18");
  874. Assert.AreEqual(double.PositiveInfinity, (double)(843942696292817306 * BigInteger.Pow(2, 965)), "#19");
  875. }
  876. [TestMethod]
  877. public void DecimalCtor()
  878. {
  879. Assert.AreEqual(999, (int)new BigInteger(999.99m), "#1");
  880. Assert.AreEqual(-10000, (int)new BigInteger(-10000m), "#2");
  881. Assert.AreEqual(0, (int)new BigInteger(0m), "#3");
  882. }
  883. [TestMethod]
  884. public void DecimalConversion()
  885. {
  886. Assert.AreEqual(999m, (decimal)new BigInteger(999), "#1");
  887. try
  888. {
  889. var x = (decimal)BigInteger.Pow(2, 1024);
  890. Assert.Fail("#2: " + x);
  891. }
  892. catch (OverflowException)
  893. {
  894. }
  895. try
  896. {
  897. var x = (decimal)BigInteger.Pow(-2, 1025);
  898. Assert.Fail("#3: " + x);
  899. }
  900. catch (OverflowException)
  901. {
  902. }
  903. Assert.AreEqual(0m, (decimal)new BigInteger(0), "#4");
  904. Assert.AreEqual(1m, (decimal)new BigInteger(1), "#5");
  905. Assert.AreEqual(-1m, (decimal)new BigInteger(-1), "#6");
  906. Assert.AreEqual(9999999999999999999999999999m, (decimal)new BigInteger(9999999999999999999999999999m), "#7");
  907. Assert.AreEqual(0m, (decimal)new BigInteger(), "#8");
  908. }
  909. [TestMethod]
  910. public void Parse()
  911. {
  912. try
  913. {
  914. _ = BigInteger.Parse(null);
  915. Assert.Fail("#1");
  916. }
  917. catch (ArgumentNullException) { }
  918. try
  919. {
  920. _ = BigInteger.Parse("");
  921. Assert.Fail("#2");
  922. }
  923. catch (FormatException) { }
  924. try
  925. {
  926. _ = BigInteger.Parse(" ");
  927. Assert.Fail("#3");
  928. }
  929. catch (FormatException) { }
  930. try
  931. {
  932. _ = BigInteger.Parse("hh");
  933. Assert.Fail("#4");
  934. }
  935. catch (FormatException) { }
  936. try
  937. {
  938. _ = BigInteger.Parse("-");
  939. Assert.Fail("#5");
  940. }
  941. catch (FormatException) { }
  942. try
  943. {
  944. _ = BigInteger.Parse("-+");
  945. Assert.Fail("#6");
  946. }
  947. catch (FormatException) { }
  948. Assert.AreEqual(10, (int)BigInteger.Parse("+10"), "#7");
  949. Assert.AreEqual(10, (int)BigInteger.Parse("10 "), "#8");
  950. Assert.AreEqual(-10, (int)BigInteger.Parse("-10 "), "#9");
  951. Assert.AreEqual(10, (int)BigInteger.Parse(" 10 "), "#10");
  952. Assert.AreEqual(-10, (int)BigInteger.Parse(" -10 "), "#11");
  953. Assert.AreEqual(-1, (int)BigInteger.Parse("F", NumberStyles.AllowHexSpecifier), "#12");
  954. Assert.AreEqual(-8, (int)BigInteger.Parse("8", NumberStyles.AllowHexSpecifier), "#13");
  955. Assert.AreEqual(8, (int)BigInteger.Parse("08", NumberStyles.AllowHexSpecifier), "#14");
  956. Assert.AreEqual(15, (int)BigInteger.Parse("0F", NumberStyles.AllowHexSpecifier), "#15");
  957. Assert.AreEqual(-1, (int)BigInteger.Parse("FF", NumberStyles.AllowHexSpecifier), "#16");
  958. Assert.AreEqual(255, (int)BigInteger.Parse("0FF", NumberStyles.AllowHexSpecifier), "#17");
  959. Assert.AreEqual(-17, (int)BigInteger.Parse(" (17) ", NumberStyles.AllowParentheses | NumberStyles.AllowLeadingWhite | NumberStyles.AllowTrailingWhite), "#18");
  960. Assert.AreEqual(-23, (int)BigInteger.Parse(" -23 ", NumberStyles.AllowLeadingSign | NumberStyles.AllowLeadingWhite | NumberStyles.AllowTrailingWhite), "#19");
  961. Assert.AreEqual(300000, (int)BigInteger.Parse("3E5", NumberStyles.AllowExponent), "#20");
  962. var dsep = NumberFormatInfo.CurrentInfo.NumberDecimalSeparator;
  963. Assert.AreEqual(250, (int)BigInteger.Parse("2" + dsep + "5E2", NumberStyles.AllowExponent | NumberStyles.AllowDecimalPoint), "#21");//2.5E2 = 250
  964. Assert.AreEqual(25, (int)BigInteger.Parse("2500E-2", NumberStyles.AllowExponent), "#22");
  965. Assert.AreEqual("136236974127783066520110477975349088954559032721408", BigInteger.Parse("136236974127783066520110477975349088954559032721408", NumberStyles.None).ToString(), "#23");
  966. Assert.AreEqual("136236974127783066520110477975349088954559032721408", BigInteger.Parse("136236974127783066520110477975349088954559032721408").ToString(), "#24");
  967. try
  968. {
  969. _ = BigInteger.Parse("2E3.0", NumberStyles.AllowExponent); // decimal notation for the exponent
  970. Assert.Fail("#25");
  971. }
  972. catch (FormatException)
  973. {
  974. }
  975. try
  976. {
  977. _ = int.Parse("2" + dsep + "09E1", NumberStyles.AllowDecimalPoint | NumberStyles.AllowExponent);
  978. Assert.Fail("#26");
  979. }
  980. catch (OverflowException)
  981. {
  982. }
  983. }
  984. [TestMethod]
  985. public void TryParse_Value_ShouldReturnFalseWhenValueIsNull()
  986. {
  987. var actual = BigInteger.TryParse(null, out var x);
  988. Assert.IsFalse(actual);
  989. Assert.AreEqual(BigInteger.Zero, x);
  990. }
  991. [TestMethod]
  992. public void TryParse_Value()
  993. {
  994. Assert.IsFalse(BigInteger.TryParse("", out var x));
  995. Assert.AreEqual(BigInteger.Zero, x);
  996. Assert.IsFalse(BigInteger.TryParse(" ", out x));
  997. Assert.AreEqual(BigInteger.Zero, x);
  998. Assert.IsFalse(BigInteger.TryParse(" -", out x));
  999. Assert.AreEqual(BigInteger.Zero, x);
  1000. Assert.IsFalse(BigInteger.TryParse(" +", out x));
  1001. Assert.AreEqual(BigInteger.Zero, x);
  1002. Assert.IsFalse(BigInteger.TryParse(" FF", out x));
  1003. Assert.AreEqual(BigInteger.Zero, x);
  1004. Assert.IsTrue(BigInteger.TryParse(" 99", out x));
  1005. Assert.AreEqual(99, (int)x);
  1006. Assert.IsTrue(BigInteger.TryParse("+133", out x));
  1007. Assert.AreEqual(133, (int)x);
  1008. Assert.IsTrue(BigInteger.TryParse("-010", out x));
  1009. Assert.AreEqual(-10, (int)x);
  1010. }
  1011. [TestMethod]
  1012. public void TryParse_ValueAndStyleAndProvider()
  1013. {
  1014. Assert.IsFalse(BigInteger.TryParse("null", NumberStyles.None, null, out var x));
  1015. Assert.AreEqual(BigInteger.Zero, x);
  1016. Assert.IsFalse(BigInteger.TryParse("-10", NumberStyles.None, null, out x));
  1017. Assert.AreEqual(BigInteger.Zero, x);
  1018. Assert.IsFalse(BigInteger.TryParse("(10)", NumberStyles.None, null, out x));
  1019. Assert.AreEqual(BigInteger.Zero, x);
  1020. Assert.IsFalse(BigInteger.TryParse(" 10", NumberStyles.None, null, out x));
  1021. Assert.AreEqual(BigInteger.Zero, x);
  1022. Assert.IsFalse(BigInteger.TryParse("10 ", NumberStyles.None, null, out x));
  1023. Assert.AreEqual(BigInteger.Zero, x);
  1024. Assert.IsTrue(BigInteger.TryParse("-10", NumberStyles.AllowLeadingSign, null, out x));
  1025. Assert.AreEqual(-10, (int)x);
  1026. Assert.IsTrue(BigInteger.TryParse("(10)", NumberStyles.AllowParentheses, null, out x));
  1027. Assert.AreEqual(-10, (int)x);
  1028. Assert.IsTrue(BigInteger.TryParse(" 10", NumberStyles.AllowLeadingWhite, null, out x));
  1029. Assert.AreEqual(10, (int)x);
  1030. Assert.IsTrue(BigInteger.TryParse("10 ", NumberStyles.AllowTrailingWhite, null, out x));
  1031. Assert.AreEqual(10, (int)x);
  1032. Assert.IsFalse(BigInteger.TryParse("$10", NumberStyles.None, null, out x));
  1033. Assert.AreEqual(BigInteger.Zero, x);
  1034. Assert.IsFalse(BigInteger.TryParse("$10", NumberStyles.None, _nfi, out x));
  1035. Assert.AreEqual(BigInteger.Zero, x);
  1036. Assert.IsFalse(BigInteger.TryParse("%10", NumberStyles.None, _nfi, out x));
  1037. Assert.AreEqual(BigInteger.Zero, x);
  1038. Assert.IsFalse(BigInteger.TryParse("10 ", NumberStyles.None, null, out x));
  1039. Assert.AreEqual(BigInteger.Zero, x);
  1040. Assert.IsTrue(BigInteger.TryParse("10", NumberStyles.None, null, out x));
  1041. Assert.AreEqual(10, (int)x);
  1042. Assert.IsTrue(BigInteger.TryParse(_nfi.CurrencySymbol + "10", NumberStyles.AllowCurrencySymbol, _nfi, out x));
  1043. Assert.AreEqual(10, (int)x);
  1044. Assert.IsFalse(BigInteger.TryParse("%10", NumberStyles.AllowCurrencySymbol, _nfi, out x));
  1045. Assert.AreEqual(BigInteger.Zero, x);
  1046. }
  1047. [TestMethod]
  1048. public void TryParse_ValueAndStyleAndProvider_ShouldReturnFalseWhenValueIsNull()
  1049. {
  1050. var actual = BigInteger.TryParse(null, NumberStyles.Any, CultureInfo.InvariantCulture, out var x);
  1051. Assert.IsFalse(actual);
  1052. Assert.AreEqual(BigInteger.Zero, x);
  1053. }
  1054. [TestMethod]
  1055. public void TestUserCurrency()
  1056. {
  1057. const int val1 = -1234567;
  1058. const int val2 = 1234567;
  1059. var s = val1.ToString("c", _nfiUser);
  1060. Assert.AreEqual("1234/5/67:000 XYZ-", s, "Currency value type 1 is not what we want to try to parse");
  1061. var v = BigInteger.Parse("1234/5/67:000 XYZ-", NumberStyles.Currency, _nfiUser);
  1062. Assert.AreEqual(val1, (int)v);
  1063. s = val2.ToString("c", _nfiUser);
  1064. Assert.AreEqual("1234/5/67:000 XYZ", s, "Currency value type 2 is not what we want to try to parse");
  1065. v = BigInteger.Parse(s, NumberStyles.Currency, _nfiUser);
  1066. Assert.AreEqual(val2, (int)v);
  1067. }
  1068. [TestMethod]
  1069. public void TryParseWeirdCulture()
  1070. {
  1071. var old = Thread.CurrentThread.CurrentCulture;
  1072. var cur = (CultureInfo)old.Clone();
  1073. cur.NumberFormat = new NumberFormatInfo
  1074. {
  1075. NegativeSign = ">",
  1076. PositiveSign = "%"
  1077. };
  1078. Thread.CurrentThread.CurrentCulture = cur;
  1079. try
  1080. {
  1081. Assert.IsTrue(BigInteger.TryParse("%11", out var x));
  1082. Assert.AreEqual(11, (int)x);
  1083. Assert.IsTrue(BigInteger.TryParse(">11", out x));
  1084. Assert.AreEqual(-11, (int)x);
  1085. }
  1086. finally
  1087. {
  1088. Thread.CurrentThread.CurrentCulture = old;
  1089. }
  1090. }
  1091. [TestMethod]
  1092. public void CompareToLongToWithBigNumber()
  1093. {
  1094. var a = BigInteger.Parse("123456789123456789");
  1095. Assert.AreEqual(1, a.CompareTo(2000));
  1096. Assert.AreEqual(1, a.CompareTo(-2000));
  1097. var b = BigInteger.Parse("-123456789123456789");
  1098. Assert.AreEqual(-1, b.CompareTo(2000));
  1099. Assert.AreEqual(-1, b.CompareTo(-2000));
  1100. }
  1101. [TestMethod]
  1102. public void LeftShiftByInt()
  1103. {
  1104. var v = BigInteger.Parse("230794411440927908251127453634");
  1105. Assert.AreEqual("230794411440927908251127453634", (v << 0).ToString(), "#0");
  1106. Assert.AreEqual("461588822881855816502254907268", (v << 1).ToString(), "#1");
  1107. Assert.AreEqual("923177645763711633004509814536", (v << 2).ToString(), "#2");
  1108. Assert.AreEqual("1846355291527423266009019629072", (v << 3).ToString(), "#3");
  1109. Assert.AreEqual("3692710583054846532018039258144", (v << 4).ToString(), "#4");
  1110. Assert.AreEqual("7385421166109693064036078516288", (v << 5).ToString(), "#5");
  1111. Assert.AreEqual("14770842332219386128072157032576", (v << 6).ToString(), "#6");
  1112. Assert.AreEqual("29541684664438772256144314065152", (v << 7).ToString(), "#7");
  1113. Assert.AreEqual("59083369328877544512288628130304", (v << 8).ToString(), "#8");
  1114. Assert.AreEqual("118166738657755089024577256260608", (v << 9).ToString(), "#9");
  1115. Assert.AreEqual("236333477315510178049154512521216", (v << 10).ToString(), "#10");
  1116. Assert.AreEqual("472666954631020356098309025042432", (v << 11).ToString(), "#11");
  1117. Assert.AreEqual("945333909262040712196618050084864", (v << 12).ToString(), "#12");
  1118. Assert.AreEqual("1890667818524081424393236100169728", (v << 13).ToString(), "#13");
  1119. Assert.AreEqual("3781335637048162848786472200339456", (v << 14).ToString(), "#14");
  1120. Assert.AreEqual("7562671274096325697572944400678912", (v << 15).ToString(), "#15");
  1121. Assert.AreEqual("15125342548192651395145888801357824", (v << 16).ToString(), "#16");
  1122. Assert.AreEqual("30250685096385302790291777602715648", (v << 17).ToString(), "#17");
  1123. Assert.AreEqual("60501370192770605580583555205431296", (v << 18).ToString(), "#18");
  1124. Assert.AreEqual("121002740385541211161167110410862592", (v << 19).ToString(), "#19");
  1125. Assert.AreEqual("242005480771082422322334220821725184", (v << 20).ToString(), "#20");
  1126. Assert.AreEqual("484010961542164844644668441643450368", (v << 21).ToString(), "#21");
  1127. Assert.AreEqual("968021923084329689289336883286900736", (v << 22).ToString(), "#22");
  1128. Assert.AreEqual("1936043846168659378578673766573801472", (v << 23).ToString(), "#23");
  1129. Assert.AreEqual("3872087692337318757157347533147602944", (v << 24).ToString(), "#24");
  1130. Assert.AreEqual("7744175384674637514314695066295205888", (v << 25).ToString(), "#25");
  1131. Assert.AreEqual("15488350769349275028629390132590411776", (v << 26).ToString(), "#26");
  1132. Assert.AreEqual("30976701538698550057258780265180823552", (v << 27).ToString(), "#27");
  1133. Assert.AreEqual("61953403077397100114517560530361647104", (v << 28).ToString(), "#28");
  1134. Assert.AreEqual("123906806154794200229035121060723294208", (v << 29).ToString(), "#29");
  1135. Assert.AreEqual("247813612309588400458070242121446588416", (v << 30).ToString(), "#30");
  1136. Assert.AreEqual("495627224619176800916140484242893176832", (v << 31).ToString(), "#31");
  1137. Assert.AreEqual("991254449238353601832280968485786353664", (v << 32).ToString(), "#32");
  1138. Assert.AreEqual("1982508898476707203664561936971572707328", (v << 33).ToString(), "#33");
  1139. Assert.AreEqual("3965017796953414407329123873943145414656", (v << 34).ToString(), "#34");
  1140. Assert.AreEqual("7930035593906828814658247747886290829312", (v << 35).ToString(), "#35");
  1141. Assert.AreEqual("15860071187813657629316495495772581658624", (v << 36).ToString(), "#36");
  1142. Assert.AreEqual("31720142375627315258632990991545163317248", (v << 37).ToString(), "#37");
  1143. Assert.AreEqual("63440284751254630517265981983090326634496", (v << 38).ToString(), "#38");
  1144. Assert.AreEqual("126880569502509261034531963966180653268992", (v << 39).ToString(), "#39");
  1145. Assert.AreEqual("253761139005018522069063927932361306537984", (v << 40).ToString(), "#40");
  1146. Assert.AreEqual("507522278010037044138127855864722613075968", (v << 41).ToString(), "#41");
  1147. Assert.AreEqual("1015044556020074088276255711729445226151936", (v << 42).ToString(), "#42");
  1148. Assert.AreEqual("2030089112040148176552511423458890452303872", (v << 43).ToString(), "#43");
  1149. Assert.AreEqual("4060178224080296353105022846917780904607744", (v << 44).ToString(), "#44");
  1150. Assert.AreEqual("8120356448160592706210045693835561809215488", (v << 45).ToString(), "#45");
  1151. Assert.AreEqual("16240712896321185412420091387671123618430976", (v << 46).ToString(), "#46");
  1152. Assert.AreEqual("32481425792642370824840182775342247236861952", (v << 47).ToString(), "#47");
  1153. Assert.AreEqual("64962851585284741649680365550684494473723904", (v << 48).ToString(), "#48");
  1154. Assert.AreEqual("129925703170569483299360731101368988947447808", (v << 49).ToString(), "#49");
  1155. Assert.AreEqual("259851406341138966598721462202737977894895616", (v << 50).ToString(), "#50");
  1156. Assert.AreEqual("519702812682277933197442924405475955789791232", (v << 51).ToString(), "#51");
  1157. Assert.AreEqual("1039405625364555866394885848810951911579582464", (v << 52).ToString(), "#52");
  1158. Assert.AreEqual("2078811250729111732789771697621903823159164928", (v << 53).ToString(), "#53");
  1159. Assert.AreEqual("4157622501458223465579543395243807646318329856", (v << 54).ToString(), "#54");
  1160. Assert.AreEqual("8315245002916446931159086790487615292636659712", (v << 55).ToString(), "#55");
  1161. Assert.AreEqual("16630490005832893862318173580975230585273319424", (v << 56).ToString(), "#56");
  1162. Assert.AreEqual("33260980011665787724636347161950461170546638848", (v << 57).ToString(), "#57");
  1163. Assert.AreEqual("66521960023331575449272694323900922341093277696", (v << 58).ToString(), "#58");
  1164. Assert.AreEqual("133043920046663150898545388647801844682186555392", (v << 59).ToString(), "#59");
  1165. Assert.AreEqual("266087840093326301797090777295603689364373110784", (v << 60).ToString(), "#60");
  1166. Assert.AreEqual("532175680186652603594181554591207378728746221568", (v << 61).ToString(), "#61");
  1167. Assert.AreEqual("1064351360373305207188363109182414757457492443136", (v << 62).ToString(), "#62");
  1168. Assert.AreEqual("2128702720746610414376726218364829514914984886272", (v << 63).ToString(), "#63");
  1169. Assert.AreEqual("4257405441493220828753452436729659029829969772544", (v << 64).ToString(), "#64");
  1170. Assert.AreEqual("8514810882986441657506904873459318059659939545088", (v << 65).ToString(), "#65");
  1171. Assert.AreEqual("17029621765972883315013809746918636119319879090176", (v << 66).ToString(), "#66");
  1172. Assert.AreEqual("34059243531945766630027619493837272238639758180352", (v << 67).ToString(), "#67");
  1173. Assert.AreEqual("68118487063891533260055238987674544477279516360704", (v << 68).ToString(), "#68");
  1174. Assert.AreEqual("136236974127783066520110477975349088954559032721408", (v << 69).ToString(), "#69");
  1175. }
  1176. [TestMethod]
  1177. public void RightShiftByInt()
  1178. {
  1179. var v = BigInteger.Parse("230794411440927908251127453634");
  1180. v *= BigInteger.Pow(2, 70);
  1181. Assert.AreEqual("272473948255566133040220955950698177909118065442816", (v >> 0).ToString(), "#0");
  1182. Assert.AreEqual("136236974127783066520110477975349088954559032721408", (v >> 1).ToString(), "#1");
  1183. Assert.AreEqual("68118487063891533260055238987674544477279516360704", (v >> 2).ToString(), "#2");
  1184. Assert.AreEqual("34059243531945766630027619493837272238639758180352", (v >> 3).ToString(), "#3");
  1185. Assert.AreEqual("17029621765972883315013809746918636119319879090176", (v >> 4).ToString(), "#4");
  1186. Assert.AreEqual("8514810882986441657506904873459318059659939545088", (v >> 5).ToString(), "#5");
  1187. Assert.AreEqual("4257405441493220828753452436729659029829969772544", (v >> 6).ToString(), "#6");
  1188. Assert.AreEqual("2128702720746610414376726218364829514914984886272", (v >> 7).ToString(), "#7");
  1189. Assert.AreEqual("1064351360373305207188363109182414757457492443136", (v >> 8).ToString(), "#8");
  1190. Assert.AreEqual("532175680186652603594181554591207378728746221568", (v >> 9).ToString(), "#9");
  1191. Assert.AreEqual("266087840093326301797090777295603689364373110784", (v >> 10).ToString(), "#10");
  1192. Assert.AreEqual("133043920046663150898545388647801844682186555392", (v >> 11).ToString(), "#11");
  1193. Assert.AreEqual("66521960023331575449272694323900922341093277696", (v >> 12).ToString(), "#12");
  1194. Assert.AreEqual("33260980011665787724636347161950461170546638848", (v >> 13).ToString(), "#13");
  1195. Assert.AreEqual("16630490005832893862318173580975230585273319424", (v >> 14).ToString(), "#14");
  1196. Assert.AreEqual("8315245002916446931159086790487615292636659712", (v >> 15).ToString(), "#15");
  1197. Assert.AreEqual("4157622501458223465579543395243807646318329856", (v >> 16).ToString(), "#16");
  1198. Assert.AreEqual("2078811250729111732789771697621903823159164928", (v >> 17).ToString(), "#17");
  1199. Assert.AreEqual("1039405625364555866394885848810951911579582464", (v >> 18).ToString(), "#18");
  1200. Assert.AreEqual("519702812682277933197442924405475955789791232", (v >> 19).ToString(), "#19");
  1201. Assert.AreEqual("259851406341138966598721462202737977894895616", (v >> 20).ToString(), "#20");
  1202. Assert.AreEqual("129925703170569483299360731101368988947447808", (v >> 21).ToString(), "#21");
  1203. Assert.AreEqual("64962851585284741649680365550684494473723904", (v >> 22).ToString(), "#22");
  1204. Assert.AreEqual("32481425792642370824840182775342247236861952", (v >> 23).ToString(), "#23");
  1205. Assert.AreEqual("16240712896321185412420091387671123618430976", (v >> 24).ToString(), "#24");
  1206. Assert.AreEqual("8120356448160592706210045693835561809215488", (v >> 25).ToString(), "#25");
  1207. Assert.AreEqual("4060178224080296353105022846917780904607744", (v >> 26).ToString(), "#26");
  1208. Assert.AreEqual("2030089112040148176552511423458890452303872", (v >> 27).ToString(), "#27");
  1209. Assert.AreEqual("1015044556020074088276255711729445226151936", (v >> 28).ToString(), "#28");
  1210. Assert.AreEqual("507522278010037044138127855864722613075968", (v >> 29).ToString(), "#29");
  1211. Assert.AreEqual("253761139005018522069063927932361306537984", (v >> 30).ToString(), "#30");
  1212. Assert.AreEqual("126880569502509261034531963966180653268992", (v >> 31).ToString(), "#31");
  1213. Assert.AreEqual("63440284751254630517265981983090326634496", (v >> 32).ToString(), "#32");
  1214. Assert.AreEqual("31720142375627315258632990991545163317248", (v >> 33).ToString(), "#33");
  1215. Assert.AreEqual("15860071187813657629316495495772581658624", (v >> 34).ToString(), "#34");
  1216. Assert.AreEqual("7930035593906828814658247747886290829312", (v >> 35).ToString(), "#35");
  1217. Assert.AreEqual("3965017796953414407329123873943145414656", (v >> 36).ToString(), "#36");
  1218. Assert.AreEqual("1982508898476707203664561936971572707328", (v >> 37).ToString(), "#37");
  1219. Assert.AreEqual("991254449238353601832280968485786353664", (v >> 38).ToString(), "#38");
  1220. Assert.AreEqual("495627224619176800916140484242893176832", (v >> 39).ToString(), "#39");
  1221. Assert.AreEqual("247813612309588400458070242121446588416", (v >> 40).ToString(), "#40");
  1222. Assert.AreEqual("123906806154794200229035121060723294208", (v >> 41).ToString(), "#41");
  1223. Assert.AreEqual("61953403077397100114517560530361647104", (v >> 42).ToString(), "#42");
  1224. Assert.AreEqual("30976701538698550057258780265180823552", (v >> 43).ToString(), "#43");
  1225. Assert.AreEqual("15488350769349275028629390132590411776", (v >> 44).ToString(), "#44");
  1226. Assert.AreEqual("7744175384674637514314695066295205888", (v >> 45).ToString(), "#45");
  1227. Assert.AreEqual("3872087692337318757157347533147602944", (v >> 46).ToString(), "#46");
  1228. Assert.AreEqual("1936043846168659378578673766573801472", (v >> 47).ToString(), "#47");
  1229. Assert.AreEqual("968021923084329689289336883286900736", (v >> 48).ToString(), "#48");
  1230. Assert.AreEqual("484010961542164844644668441643450368", (v >> 49).ToString(), "#49");
  1231. Assert.AreEqual("242005480771082422322334220821725184", (v >> 50).ToString(), "#50");
  1232. Assert.AreEqual("121002740385541211161167110410862592", (v >> 51).ToString(), "#51");
  1233. Assert.AreEqual("60501370192770605580583555205431296", (v >> 52).ToString(), "#52");
  1234. Assert.AreEqual("30250685096385302790291777602715648", (v >> 53).ToString(), "#53");
  1235. Assert.AreEqual("15125342548192651395145888801357824", (v >> 54).ToString(), "#54");
  1236. Assert.AreEqual("7562671274096325697572944400678912", (v >> 55).ToString(), "#55");
  1237. Assert.AreEqual("3781335637048162848786472200339456", (v >> 56).ToString(), "#56");
  1238. Assert.AreEqual("1890667818524081424393236100169728", (v >> 57).ToString(), "#57");
  1239. Assert.AreEqual("945333909262040712196618050084864", (v >> 58).ToString(), "#58");
  1240. Assert.AreEqual("472666954631020356098309025042432", (v >> 59).ToString(), "#59");
  1241. Assert.AreEqual("236333477315510178049154512521216", (v >> 60).ToString(), "#60");
  1242. Assert.AreEqual("118166738657755089024577256260608", (v >> 61).ToString(), "#61");
  1243. Assert.AreEqual("59083369328877544512288628130304", (v >> 62).ToString(), "#62");
  1244. Assert.AreEqual("29541684664438772256144314065152", (v >> 63).ToString(), "#63");
  1245. Assert.AreEqual("14770842332219386128072157032576", (v >> 64).ToString(), "#64");
  1246. Assert.AreEqual("7385421166109693064036078516288", (v >> 65).ToString(), "#65");
  1247. Assert.AreEqual("3692710583054846532018039258144", (v >> 66).ToString(), "#66");
  1248. Assert.AreEqual("1846355291527423266009019629072", (v >> 67).ToString(), "#67");
  1249. Assert.AreEqual("923177645763711633004509814536", (v >> 68).ToString(), "#68");
  1250. Assert.AreEqual("461588822881855816502254907268", (v >> 69).ToString(), "#69");
  1251. }
  1252. [TestMethod]
  1253. public void Bug10887()
  1254. {
  1255. BigInteger b = 0;
  1256. for (var i = 1; i <= 16; i++)
  1257. {
  1258. b = (b * 256) + i;
  1259. }
  1260. var p = BigInteger.Pow(2, 32);
  1261. Assert.AreEqual("1339673755198158349044581307228491536", b.ToString());
  1262. Assert.AreEqual("1339673755198158349044581307228491536", ((b << 32) / p).ToString());
  1263. Assert.AreEqual("1339673755198158349044581307228491536", ((b * p) >> 32).ToString());
  1264. }
  1265. [TestMethod]
  1266. public void DefaultCtorWorks()
  1267. {
  1268. var a = new BigInteger();
  1269. Assert.AreEqual(BigInteger.One, ++a, "#1");
  1270. a = new BigInteger();
  1271. Assert.AreEqual(BigInteger.MinusOne, --a, "#2");
  1272. a = new BigInteger();
  1273. Assert.AreEqual(BigInteger.MinusOne, ~a, "#3");
  1274. a = new BigInteger();
  1275. Assert.AreEqual("0", a.ToString(), "#4");
  1276. a = new BigInteger();
  1277. #pragma warning disable CS1718 // Comparison made to same variable
  1278. Assert.AreEqual(true, a == a, "#5");
  1279. a = new BigInteger();
  1280. Assert.AreEqual(false, a < a, "#6");
  1281. #pragma warning restore CS1718 // Comparison made to same variable
  1282. a = new BigInteger();
  1283. Assert.AreEqual(true, a < 10L, "#7");
  1284. a = new BigInteger();
  1285. Assert.AreEqual(true, a.IsEven, "#8");
  1286. a = new BigInteger();
  1287. Assert.AreEqual(0, (int)a, "#9");
  1288. a = new BigInteger();
  1289. Assert.AreEqual((uint)0, (uint)a, "#10");
  1290. a = new BigInteger();
  1291. Assert.AreEqual((ulong)0, (ulong)a, "#11");
  1292. a = new BigInteger();
  1293. Assert.AreEqual(true, a.Equals(a), "#12");
  1294. a = new BigInteger();
  1295. Assert.AreEqual(a, BigInteger.Min(a, a), "#13");
  1296. a = new BigInteger();
  1297. Assert.AreEqual(a, BigInteger.GreatestCommonDivisor(a, a), "#14");
  1298. a = new BigInteger();
  1299. Assert.AreEqual(BigInteger.Zero.GetHashCode(), a.GetHashCode(), "#15");
  1300. a = new BigInteger();
  1301. Assert.AreEqual(BigInteger.Zero, a, "#16");
  1302. }
  1303. [TestMethod]
  1304. public void Bug16526()
  1305. {
  1306. var x = BigInteger.Pow(2, 63);
  1307. x *= -1;
  1308. x -= 1;
  1309. Assert.AreEqual("-9223372036854775809", x.ToString(), "#1");
  1310. try
  1311. {
  1312. x = (long)x;
  1313. Assert.Fail("#2 Must OVF: " + x);
  1314. }
  1315. catch (OverflowException)
  1316. {
  1317. }
  1318. }
  1319. [TestMethod]
  1320. public void MinusOne()
  1321. {
  1322. var minusOne = BigInteger.MinusOne;
  1323. Assert.IsFalse(minusOne.IsEven);
  1324. Assert.IsFalse(minusOne.IsOne);
  1325. Assert.IsFalse(minusOne.IsPowerOfTwo);
  1326. Assert.IsFalse(minusOne.IsZero);
  1327. Assert.AreEqual(-1, minusOne.Sign);
  1328. }
  1329. [TestMethod]
  1330. public void One()
  1331. {
  1332. var one = BigInteger.One;
  1333. Assert.IsFalse(one.IsEven);
  1334. Assert.IsTrue(one.IsOne);
  1335. Assert.IsTrue(one.IsPowerOfTwo);
  1336. Assert.IsFalse(one.IsZero);
  1337. Assert.AreEqual(1, one.Sign);
  1338. }
  1339. [TestMethod]
  1340. public void Zero()
  1341. {
  1342. var zero = BigInteger.Zero;
  1343. Assert.IsTrue(zero.IsEven);
  1344. Assert.IsFalse(zero.IsOne);
  1345. Assert.IsFalse(zero.IsPowerOfTwo);
  1346. Assert.IsTrue(zero.IsZero);
  1347. Assert.AreEqual(0, zero.Sign);
  1348. }
  1349. [TestMethod]
  1350. public void Random()
  1351. {
  1352. var max = "26432534714839143538998938508341375449389492936207135611931371046236385860280414659368073862189301615603000443463893527273703804361856647266218472759410964268979057798543462774631912259980510080575520846081682603934587649566608158932346151315049355432937004801361578344502537300865702429436253728164365180058583916866804254965536833106467354901266304654706123552932560896874808786957654734387252964281680963136344135750381838556467139236094522411774117748615141352874979928570068255439327082539676660277104989857941859821396157749462154431239343148671646397611770487668571604363151098131876313773395912355145689712506";
  1353. Assert.IsTrue(BigInteger.TryParse(max, NumberStyles.Number, NumberFormatInfo.CurrentInfo, out var maxBigInt));
  1354. var random = BigInteger.One;
  1355. while (random <= BigInteger.One || random >= maxBigInt)
  1356. {
  1357. random = BigInteger.Random(2048);
  1358. }
  1359. }
  1360. [TestMethod]
  1361. public void TestClientExhcangeGenerationItem130()
  1362. {
  1363. var test = "1090748135619415929450294929359784500348155124953172211774101106966150168922785639028532473848836817769712164169076432969224698752674677662739994265785437233596157045970922338040698100507861033047312331823982435279475700199860971612732540528796554502867919746776983759391475987142521315878719577519148811830879919426939958487087540965716419167467499326156226529675209172277001377591248147563782880558861083327174154014975134893125116015776318890295960698011614157721282527539468816519319333337503114777192360412281721018955834377615480468479252748867320362385355596601795122806756217713579819870634321561907813255153703950795271232652404894983869492174481652303803498881366210508647263668376514131031102336837488999775744046733651827239395353540348414872854639719294694323450186884189822544540647226987292160693184734654941906936646576130260972193280317171696418971553954161446191759093719524951116705577362073481319296041201283516154269044389257727700289684119460283480452306204130024913879981135908026983868205969318167819680850998649694416907952712904962404937775789698917207356355227455066183815847669135530549755439819480321732925869069136146085326382334628745456398071603058051634209386708703306545903199608523824513729625136659128221100967735450519952404248198262813831097374261650380017277916975324134846574681307337017380830353680623216336949471306191686438249305686413380231046096450953594089375540285037292470929395114028305547452584962074309438151825437902976012891749355198678420603722034900311364893046495761404333938686140037848030916292543273684533640032637639100774502371542479302473698388692892420946478947733800387782741417786484770190108867879778991633218628640533982619322466154883011452291890252336487236086654396093853898628805813177559162076363154436494477507871294119841637867701722166609831201845484078070518041336869808398454625586921201308185638888082699408686536045192649569198110353659943111802300636106509865023943661829436426563007917282050894429388841748885398290707743052973605359277515749619730823773215894755121761467887865327707115573804264519206349215850195195364813387526811742474131549802130246506341207020335797706780705406945275438806265978516209706795702579244075380490231741030862614968783306207869687868108423639971983209077624758080499988275591392787267627182442892809646874228263172435642368588260139161962836121481966092745325488641054238839295138992979335446110090325230955276870524611359124918392740353154294858383359";
  1364. _ = BigInteger.TryParse(test, NumberStyles.Number, NumberFormatInfo.CurrentInfo, out var prime);
  1365. BigInteger group = 2;
  1366. var bitLength = prime.BitLength;
  1367. BigInteger clientExchangeValue;
  1368. do
  1369. {
  1370. var randomValue = BigInteger.Random(bitLength);
  1371. //clientExchangeValue = BigInteger.ModPow(group, randomValue, prime);
  1372. clientExchangeValue = (group ^ randomValue) % prime;
  1373. }
  1374. while (clientExchangeValue < 1 || clientExchangeValue > (prime - 1));
  1375. }
  1376. [TestMethod]
  1377. public void TestClientExhcangeGenerationGroup1()
  1378. {
  1379. var test = "00FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E088A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7EDEE386BFB5A899FA5AE9F24117C4B1FE649286651ECE65381FFFFFFFFFFFFFFFF";
  1380. _ = BigInteger.TryParse(test, NumberStyles.AllowHexSpecifier, NumberFormatInfo.CurrentInfo, out var prime);
  1381. BigInteger group = 2;
  1382. var bitLength = prime.BitLength;
  1383. BigInteger clientExchangeValue;
  1384. do
  1385. {
  1386. var randomValue = BigInteger.Random(bitLength);
  1387. //clientExchangeValue = BigInteger.ModPow(group, randomValue, prime);
  1388. clientExchangeValue = (group ^ randomValue) % prime;
  1389. }
  1390. while (clientExchangeValue < 1 || clientExchangeValue > (prime - 1));
  1391. }
  1392. [TestMethod]
  1393. public void TestClientExhcangeGenerationGroup14()
  1394. {
  1395. var test = "00FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD129024E088A67CC74020BBEA63B139B22514A08798E3404DDEF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7EDEE386BFB5A899FA5AE9F24117C4B1FE649286651ECE45B3DC2007CB8A163BF0598DA48361C55D39A69163FA8FD24CF5F83655D23DCA3AD961C62F356208552BB9ED529077096966D670C354E4ABC9804F1746C08CA18217C32905E462E36CE3BE39E772C180E86039B2783A2EC07A28FB5C55DF06F4C52C9DE2BCBF6955817183995497CEA956AE515D2261898FA051015728E5A8AACAA68FFFFFFFFFFFFFFFF";
  1396. _ = BigInteger.TryParse(test, NumberStyles.AllowHexSpecifier, NumberFormatInfo.CurrentInfo, out var prime);
  1397. BigInteger group = 2;
  1398. var bitLength = prime.BitLength;
  1399. BigInteger clientExchangeValue;
  1400. do
  1401. {
  1402. var randomValue = BigInteger.Random(bitLength);
  1403. //clientExchangeValue = BigInteger.ModPow(group, randomValue, prime);
  1404. clientExchangeValue = (group ^ randomValue) % prime;
  1405. }
  1406. while (clientExchangeValue < 1 || clientExchangeValue > (prime - 1));
  1407. }
  1408. private static void AssertEqual(byte[] a, byte[] b)
  1409. {
  1410. Assert.IsTrue(a.IsEqualTo(b));
  1411. }
  1412. }
  1413. }