The name derives from `` Huayang '' , an alternate name for Sichuan province .
The name derives from `` Huayang '' , an alternate name for Sichuan ( the province where it was discovered ) , and `` saurus '' , meaning `` lizard '' .