If you are speaking of Kirakala Chola, he was king around 180 AD. One wouldhave to assume he used the tools of his time or invented more innovative tools to aid him in his work. However there is no information to support that.
Virarajendra Chola was born in 1063.
rajendra chola
rajaraja
Arinjaya Chola died in 957.
Virarajendra Chola died in 1070.
Rajadhiraja Chola was born in 1018.
Alex Chola was born in 1956.
Alex Chola died in 1993.
Chola dynasty ended in 1279.
Kulothunga Chola I died in 1120.
Rajaditya Chola died in 949.
Defeated Mahi Pala on the banks of River Ganga. Hence the name Gangaikona Chola.