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