[u/mdw/catacomb] / tests / mptext

# Test vectors for MP textual I/O
#
# $Id: mptext,v 1.12 2002/10/19 11:59:04 mdw Exp $

mptext-ascii {
  # --- Perfectly valid things ---

  10 0					10 0 "";
  0 0					10 0 "";
  10 52					10 52 "";
  10 654365464655464577673765769678	10 654365464655464577673765769678 "";
  10 654365464655464577673765769678	16 8425e6d06f272b9a2d73ed1ce "";
  10 596569802840985608098409867	8 366570443501403714657464766613 "";
  16 8425E6D06F272B9A2D73ED1CE		10 654365464655464577673765769678 "";
  0 654365464655464577673765769678	16 8425e6d06f272b9a2d73ed1ce "";
  0 16_8425E6D06F272B9A2D73ED1CE	10 654365464655464577673765769678 "";
  0 -0x8425E6D06F272B9A2D73ED1CE	10 -654365464655464577673765769678 "";
  0 -8_366570443501403714657464766613	10 -596569802840985608098409867 "";
  8 -366570443501403714657464766613	10 -596569802840985608098409867 "";
  0 0366570443501403714657464766613	10 596569802840985608098409867 "";

  # --- Bogus things ---

  10 "" 0 0 "";			# Empty string fails
  10 foo 0 0 "foo";		# Non-numeric character
  10 134f 10 134 "f";		# Stop parsing when reaching `f'
  4 12345 10 27 "45";		# Stop parsing when reaching `4'
  0 63_ 10 63 "_";		# 37 is an invalid base, so stop at `_'
  0 36_ 0 0 "";			# 36 is a valid base, so restart and fail

  # --- Big bases ---

  62 0 10 0 "";
  10 0 62 0 "";
  36 A 10 10 "";
  36 Z 10 35 "";
  37 A 10 36 "";
  10 36 37 A "";
  62 Z 10 61 "";

  0 36_a 10 10 "";
  0 36_A 10 10 "";
  0 37_A 10 36 "";

  0 0x10 10 16 "";
  0 0o10 10 8 "";
  0 0b10 10 2 "";
  0 010 10 8 "";

  # --- Word-boundary tests for binary-radix translation ---

  0 0					16 0 "";
  8 1234567012				8 1234567012 "";
  8 12345670123				8 12345670123 "";
  8 123456701234			8 123456701234 "";

  16 1234567				16 1234567 "";
  16 12345678				16 12345678 "";
  16 123456789				16 123456789 "";

  10 -4009356060			16 -eef9eb1c "";

  # --- Cussidness ---

  0 -0					10 0 "";

  # --- Bugs ---

  16 84d192cd06ae59691897fa409da6198d5269325d
  16 84d192cd06ae59691897fa409da6198d5269325d "";

  16 -9802d5c5d5a73f9d4e694a8920f95231b4017f3ec6a4654ace3fa3d85879e5964dade0e051d57f13c275dab1df3da5331f39271efb2792d1dad4460fd5eb5c21fbf355456f523e5631e623074ff9b3e85cf5e0a9336c8d8b8621b24c4e625800ee0152d12c8e22658a66ade38cb4453ab6e4958114717355186649a6cc20d9f5ae2207f99814965035072a9f2121c8f9dd22ab134181378906291aae97287b62a2f592bbceb4198c9cd78e1968bf1e16865c3c6ce9c777232f186b5da240a24523a07faca9de44eba510c91917e099372e67a6a66e93fe7aaefcb9c5485e1a889eae721ab6407586880a95575a968b43bdf50323627aa0fcddfa4e198b0008
  10 -74959454570640520505374182178324326240748657042677990093617716411759477136824854815262670168473667077524864904515489090301434501507378472350618141578200289566815110468728966378289347050752371322168328511598641143081017162500179880923097593329564317427467179672704707842937085621549781627579801356509572397210965270406925309382945647493757499822518272539171346319468210919037390479279679328187057939609889863122790083219768061816093131875491575840052493376341193028052061557296969558099473333023971577236615940525630787016398581105441977909848659239970133974969366933817929047771871736452423855320657946133173829640 "";

  10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
  10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 "";
}

mptext-bin-in {
  -10 010203040506070809 10 123456789 "";
  -100 01172d4359 10 123456789 "";
  -90 09124709 10 6713199 "";
}

mptext-bin-out {
  10 123456789 -10 010203040506070809 "";
  10 123456789 -100 01172d4359 "";
  10 6713199 -90 09124709 "";
  10 0 -10 00 "";
}
Commit	Line	Data
d3409d5e	1	# Test vectors for MP textual I/O
d3409d5e	2	#
50bea2af	3	# $Id: mptext,v 1.12 2002/10/19 11:59:04 mdw Exp $
d3409d5e	4
61f9c153	5	mptext-ascii {
e75d775e	6	# --- Perfectly valid things ---
e75d775e	7
50bea2af	8	10 0 10 0 "";
	9	0 0 10 0 "";
	10	10 52 10 52 "";
	11	10 654365464655464577673765769678 10 654365464655464577673765769678 "";
	12	10 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce "";
	13	10 596569802840985608098409867 8 366570443501403714657464766613 "";
	14	16 8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678 "";
	15	0 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce "";
	16	0 16_8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678 "";
	17	0 -0x8425E6D06F272B9A2D73ED1CE 10 -654365464655464577673765769678 "";
	18	0 -8_366570443501403714657464766613 10 -596569802840985608098409867 "";
	19	8 -366570443501403714657464766613 10 -596569802840985608098409867 "";
	20	0 0366570443501403714657464766613 10 596569802840985608098409867 "";
e75d775e	21
	22	# --- Bogus things ---
	23
50bea2af	24	10 "" 0 0 ""; # Empty string fails
	25	10 foo 0 0 "foo"; # Non-numeric character
	26	10 134f 10 134 "f"; # Stop parsing when reaching `f'
	27	4 12345 10 27 "45"; # Stop parsing when reaching `4'
	28	0 63_ 10 63 "_"; # 37 is an invalid base, so stop at `_'
	29	0 36_ 0 0 ""; # 36 is a valid base, so restart and fail
e75d775e	30
631673a1	31	# --- Big bases ---
631673a1	32
50bea2af	33	62 0 10 0 "";
	34	10 0 62 0 "";
	35	36 A 10 10 "";
	36	36 Z 10 35 "";
	37	37 A 10 36 "";
	38	10 36 37 A "";
	39	62 Z 10 61 "";
631673a1	40
50bea2af	41	0 36_a 10 10 "";
	42	0 36_A 10 10 "";
	43	0 37_A 10 36 "";
e0198125	44
50bea2af	45	0 0x10 10 16 "";
	46	0 0o10 10 8 "";
	47	0 0b10 10 2 "";
	48	0 010 10 8 "";
e0198125	49
a951033d	50	# --- Word-boundary tests for binary-radix translation ---
a951033d	51
50bea2af	52	0 0 16 0 "";
	53	8 1234567012 8 1234567012 "";
	54	8 12345670123 8 12345670123 "";
	55	8 123456701234 8 123456701234 "";
a951033d	56
50bea2af	57	16 1234567 16 1234567 "";
	58	16 12345678 16 12345678 "";
	59	16 123456789 16 123456789 "";
a951033d	60
50bea2af	61	10 -4009356060 16 -eef9eb1c "";
afd054c1	62
9bca44cb	63	# --- Cussidness ---
9bca44cb	64
50bea2af	65	0 -0 10 0 "";
9bca44cb	66
e75d775e	67	# --- Bugs ---
e75d775e	68
00eff9c5	69	16 84d192cd06ae59691897fa409da6198d5269325d
50bea2af	70	16 84d192cd06ae59691897fa409da6198d5269325d "";
00eff9c5	71
e75d775e	72	16 -9802d5c5d5a73f9d4e694a8920f95231b4017f3ec6a4654ace3fa3d85879e5964dade0e051d57f13c275dab1df3da5331f39271efb2792d1dad4460fd5eb5c21fbf355456f523e5631e623074ff9b3e85cf5e0a9336c8d8b8621b24c4e625800ee0152d12c8e22658a66ade38cb4453ab6e4958114717355186649a6cc20d9f5ae2207f99814965035072a9f2121c8f9dd22ab134181378906291aae97287b62a2f592bbceb4198c9cd78e1968bf1e16865c3c6ce9c777232f186b5da240a24523a07faca9de44eba510c91917e099372e67a6a66e93fe7aaefcb9c5485e1a889eae721ab6407586880a95575a968b43bdf50323627aa0fcddfa4e198b0008
50bea2af	73	10 -74959454570640520505374182178324326240748657042677990093617716411759477136824854815262670168473667077524864904515489090301434501507378472350618141578200289566815110468728966378289347050752371322168328511598641143081017162500179880923097593329564317427467179672704707842937085621549781627579801356509572397210965270406925309382945647493757499822518272539171346319468210919037390479279679328187057939609889863122790083219768061816093131875491575840052493376341193028052061557296969558099473333023971577236615940525630787016398581105441977909848659239970133974969366933817929047771871736452423855320657946133173829640 "";
d3409d5e	74
01b1f530	75	10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
50bea2af	76	10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 "";
61f9c153	77	}
	78
	79	mptext-bin-in {
50bea2af	80	-10 010203040506070809 10 123456789 "";
50bea2af	81	-100 01172d4359 10 123456789 "";
572b324a	82	-90 09124709 10 6713199 "";
61f9c153	83	}
	84
	85	mptext-bin-out {
50bea2af	86	10 123456789 -10 010203040506070809 "";
50bea2af	87	10 123456789 -100 01172d4359 "";
572b324a MW	88	10 6713199 -90 09124709 "";
572b324a MW	89	10 0 -10 00 "";
d3409d5e	90	}