The official , Indianized name of this town is Tiruchchirappalli , Cityof the Sacred Rock , but the place is still identified by its colonial name , Trichy , a short form of the equally European name Trichinopoly .
The city formerly known as Trichy is now strictly referred to by its Indianized name , Tiruchchirappalli .