Тричино'поли , город в Индии; см. Тируччираппалли .