source: CGBLisp/examples/trisector2.lisp@ 1

(string-grobner
"[-XC^2+XB^2-2*BC*CXBC*XB+BC^2,XC^2-2*BC*CXCB*XC-XB^2+BC^2,-YC^2+YA^2-2*AC*CYAC*YA+AC^2,YC^2-2*AC*CYCA*YC-YA^2+AC^2,-ZB^2+ZA^2-2*AB*CZAB*ZA+AB^2,ZB^2-2*AB*CZBA*ZB-ZA^2+AB^2,SXBC^2+CXBC^2-1,SXCB^2+CXCB^2-1,SYAC^2+CYAC^2-1,SZAB^2+CZAB^2-1,SZBA^2+CZBA^2-1,-2*AB*AC*COSA-BC^2+AC^2+AB^2,-2*AB*BC*COSB+BC^2-AC^2+AB^2,-2*AC*BC*COSC+BC^2+AC^2-AB^2,SINA^2+COSA^2-1,SINB^2+COSB^2-1,SINC^2+COSC^2-1,XB^2-X2^2-X1^2+2*X1-1,XC^2-X2^2+2*U2*X2-X1^2+2*U1*X1-U2^2-U1^2,YA^2-X4^2-X3^2,YC^2-X4^2+2*U2*X4-X3^2+2*U1*X3-U2^2-U1^2,ZA^2-X6^2-X5^2,ZB^2-X6^2-X5^2+2*X5-1,AB^2-1,-U2^2-U1^2+AC^2,-U2^2-U1^2+2*U1+BC^2-1,XY^2-X4^2+2*X2*X4-X3^2+2*X1*X3-X2^2-X1^2,XZ^2-X6^2+2*X2*X6-X5^2+2*X1*X5-X2^2-X1^2,YZ^2-X6^2+2*X4*X6-X5^2+2*X3*X5-X4^2-X3^2,4*CXBC^3-3*CXBC-COSB,4*CXCB^3-3*CXCB-COSC,4*CYAC^3-3*CYAC-COSA,4*CYCA^3-3*CYCA-COSC,4*CZAB^3-3*CZAB-COSA,4*CZBA^3-3*CZBA-COSB,4*CXBC^2*SXBC-3*SXBC-SINB,4*CXCB^2*SXCB-3*SXCB-SINC,-3*SYAC+4*CYAC^2*SXCB-SINA,4*CYCA^2*SYCA-3*SYCA-SINC,4*CZAB^2*SZAB-3*SZAB-SINA,4*CZBA^2*SZBA-3*SZBA-SINB,V*XZ-V*XY+1]"
'(U1 U2 X1 X2 X3 X4 X5 X6 XB XC YA YC ZA ZB AB AC BC XY XZ YZ COSA COSB COSC SINA SINB SINC CXBC CXCB CYAC CYCA CZAB CZBA SXBC SXCB SYAC SYCA SZAB SZBA V)
:order #'grevlex>
)