(D1)    /dept3/rychlik/LISP/CGB2/EXAMPLES/parallelogram.macsyma-batch
(C2) BATCH(PARALLELOGRAM);


(C3) if get('geometry,'version)=false then load(geometry);
Batching the file /dept3/rychlik/lisp/cgb2/examples/geometry.macsyma
Batchload done.
(D3) 	      /dept3/rychlik/lisp/cgb2/examples/geometry.macsyma


(C4) ginit();
(D4) 				      1



(C5) gpoints(A,B,C,D,M1,M2,P,Q,R);
(D5) [[X1, Y1], [X1, Y1, X2, Y2], [X1, Y1, X2, Y2, X3, Y3], 

[X1, Y1, X2, Y2, X3, Y3, X4, Y4], [X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5], 

[X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5, X6, Y6], 

[X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5, X6, Y6, X7, Y7], 

[X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5, X6, Y6, X7, Y7, X8, Y8], 

[X1, Y1, X2, Y2, X3, Y3, X4, Y4, X5, Y5, X6, Y6, X7, Y7, X8, Y8, X9, Y9]]
 
(C6) /* Declare points */
garbitrary(A,B,C);
(D6) 	    [[X1, Y1], [X1, Y1, X2, Y2], [X1, Y1, X2, Y2, X3, Y3]]
 
(C7) /* Declare arbitrary points */

/* Geometrical hypotheses */
parallel(A,B,C,D);
/usr/export/home/macsyma/share/determ.o being loaded.
(D7) 				      []


(C8) parallel(A,C,B,D);
(D8) 				      []


(C9) midpoint(M1,A,C);
(D9) 		       [2 X5 - X3 - X1, 2 Y5 - Y3 - Y1]


(C10) midpoint(M2,B,D);
(D10)  [2 X5 - X3 - X1, 2 Y5 - Y3 - Y1, 2 X6 - X4 - X2, 2 Y6 - Y4 - Y2]


(C11) ghypot();
(D11) 				      []



(C12) /* Geometrical conclusions */
identical(M1,M2);
(D12) 			      [X5 - X6, Y5 - Y6]


(C13) gconcl();
(D13) 				      []



(C14) /* Generate ideal */
gideal();
(D14) [2 X5 - X3 - X1, 2 Y5 - Y3 - Y1, 2 X6 - X4 - X2, 2 Y6 - Y4 - Y2, 

					   1 - U1 (X5 - X6), 1 - U2 (Y5 - Y6)]

(D15) 				     DONE
(C16) CLOSEFILE();