People often use 'short for' when they mean 'informal' even if the nickname is longer eg Eve/Evie.
OP if you're thinking of using Polly I think people will just assume that's her official name. It's been many a decade since people called Mary but known as Polly were born. Most people wouldn't even know Polly was derived from Mary.