public String toString() {
// Michael Borcherds 2008-03-30
// simplified to allow better Chinese translation
return app.getPlain("CircleThroughABC", A.getLabel(), B.getLabel(), C.getLabel());
}
public final String toString() {
return app.getPlain("LineThroughAPerpendicularToB", point.getLabel(), inputOrtho.getLabel());
}