Orthic
The orthic triangle is equilateral...!?
• Orthic
H’’:=Elim([x[1],x[2],x[3],x[4],z,u[2],u[3]],Saturation(HH+H’,T)); H’’;
Ideal(1)
HH+H'