public class Circumcircle extends CircleElement {

  PointElement C, D;		// Along with B, the three given points

  Circumcircle (PointElement Bval, PointElement Cval, PointElement Dval) {
    dimension = 2;
    Center = new PointElement();
    A = Center;  B = Bval;
    C = Cval;    D = Dval;
  }

  protected void update() {Center.toCircumcenter(B,C,D);}

  protected void translate (double dx, double dy) {Center.translate(dx,dy);}

  protected void rotate (PointElement pivot, double ac, double as) {
    Center.rotate(pivot,ac,as);
} }