answered 11 years ago
Not exactly the same as genvarname, but there you go:
genvarname
var(['a%d%d' % tuple(p) for p in Zmod(3)^2])
Of course, there's tons of other ways of obtaining a similar result.