[math-fun] Maple LLL?