CET Definition

# Circumcenter of the equilateral triangle two of
# whose vertices are Points A and B

CET:=proc(A,B):

Circumcenter (  A  ,  B ,
  [  (B[1]+A[1])/2-(A[2]-B[2])*3^(1/2)/2   ,   B[2]/2+(A[1]-B[1])*3^(1/2)/2+A[2]/2  ]   ):

end:

Definitions     Theorems