Subject | : SAD Update. V1.0.10.4.4a43 |
Date | : 2010/04/21(Wed) 11:56:34 |
Contributor | : Akio Morita |
Dear Users, 1. StringFill[] specification about negative 3rd argument case is changed. CAUTION: This change is backword incompatible with V1.0.10.4.4a31 - V1.0.10.4.4a41. * Formal specification of ``OLD'' StringFill[](Revision 1.97: V1.0.10.4.4a31) StringFill[s1_String, s2_String, len_Real] := Which[ len > 0, StringJoin[s1, s2, s2, ..., s2][ 1, Abs[len]], len == 0, "", len < 0, With[{l1 = Min[StringLength[s1], Abs[len]]}, StringJoin[StringFill[s2, s2, Abs[len] - l1], s1[1, l1]]]]; * Formal specification of ``NEW'' StringFill[](This update: V1.0.10.4.4a43) StringFill[s1_String, s2_String, len_Real] := Which[ len > 0, StringJoin[s1, s2, s2, ..., s2][ 1, Abs[len]], len == 0, "", len < 0, StringJoin[s2, s2, ..., s2, s1][-Abs[len], -1]]; Examples: StringFill["abcd", "123", -10] returns "123123abcd" StringFill["abcd", "123", -9] returns "23123abcd" StringFill["abcd", "123", -8] returns "3123abcd" StringFill["abcd", "123", -7] returns "123abcd" StringFill["abcd", "123", -6] returns "23abcd" StringFill["abcd", "123", -5] returns "3abcd" StringFill["abcd", "123", -4] returns "abcd" StringFill["abcd", "123", -3] returns "bcd" StringFill["abcd", "123", -2] returns "cd" StringFill["abcd", "123", -1] returns "d" StringFill["abcd", "123", 0] returns "" StringFill["abcd", "123", 1] returns "a" StringFill["abcd", "123", 2] returns "ab" StringFill["abcd", "123", 3] returns "abc" StringFill["abcd", "123", 4] returns "abcd" StringFill["abcd", "123", 5] returns "abcd1" StringFill["abcd", "123", 6] returns "abcd12" StringFill["abcd", "123", 7] returns "abcd123" StringFill["abcd", "123", 8] returns "abcd1231" StringFill["abcd", "123", 9] returns "abcd12312" StringFill["abcd", "123", 10] returns "abcd123123"