An LLL algorithm with symmetries | Synapse