Is your feature request related to a problem? Please describe.
The current versions of Euler computations (update_lc_lc and update_lc_basis) are based on numerical calculations. However, it would be preferable if we could compute them algebraically.
Describe the feature you'd like
Implement an algebraic computation backend for both methods. It's possible in principle, but I have not devised an efficient implementation.