Seidel's and Tiskin's algorithms

[szarnyasg]

Try Seidel's algorithm for Q4:
https://gist.github.com/szarnyasg/2111d93933b605633ed7ddcd60470630

[szarnyasg]

See also Tiskin's algorithm in https://arxiv.org/abs/1512.00066