Skip to content
Snippets Groups Projects
Commit 0dae1d1f authored by François Clément's avatar François Clément
Browse files

Generalize and move comb_lin_scal_sum from poly_Lagrange to ModuleSpace_compl. 

Generalize and move poly_Lagrange.comb_lin_comb_lin to ModuleSpace_compl.comb_lin2.

ModuleSpace_compl:
Remove useless comb_lin2_l.
Rename comb_lin2_r -> comb_lin2_alt (+ simplify proof).

matrix, AffineSpace, Finite_dim:
Propagate new API (from ModuleSpace_compl).
parent e63566fa
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment