%%HP: T(3)A(R)F(.); \<< 0. 0. 0. 0. 0. \-> A B X1 X2 Y1 Y2 G \<< A RE 'X1' STO A IM 'Y1' STO B RE 'X2' STO B IM 'Y2' STO 'G(X)' X Y1 i * + F = DEF DROP '\.S(X1,X2,RE(G(X)),X)' \->NUM '\.S(X1,X2,IM(G(X)),X)' \->NUM (0.,1.) * + 'G(X)' X2 X i * + F = DEF DROP '\.S(Y1,Y2,RE(G(X)),X)' \->NUM (0.,1.) * '\.S(Y1,Y2,IM(G(X)),X)' \->NUM + 'G(X)' X Y2 i * + F = DEF DROP '\.S(X2,X1,RE(G(X)),X)' \->NUM '\.S(X2,X1,IM(G(X)),X)' \->NUM (0.,1.) * + 'G(X)' X1 X i * + F = DEF DROP '\.S(Y2,Y1,RE(G(X)),X)' \->NUM (0.,1.) * '\.S(Y2,Y1,IM(G(X)),X)' \->NUM + + + + 2. \pi i * * \->NUM / \>> \>>