Allows for existing names (e.g. a_0) as input, and maintaing the original names as much as possible in the newname prefix.

What I would like is

<new-name> "a" => "a_0"
<new-name> "a_0" => "a_1"

what I currently get is

<new-name> "a" => "a_0"
<new-name> "a_0" => "a_0_0"

Submitted on 30 July 2004 at 11:36

STR-159, adam:
* spec/string.str : newname - now trims any trailing digits up to
the rightmost ‘_’.
“a” // produces “a_0”
; “b” // produces “b_0”
; newname // produces “b_1”
; “b_2” // produces “b_3”
; “b_1729” // produces “b_4”
; “b_a” // produces “b_a_0”
; “a_” // produces “a_2”
; “a_1” // produces “a_3”
Note that the previous term argument countergroup' has been discarded, as has been the strategynewname-shared’