Files FEM/*_new.v are using new pbinomials build from mathcomp.
Showing
- FEM/Algebra/binomial_compl.v 5 additions, 1 deletionFEM/Algebra/binomial_compl.v
- FEM/FE_LagP_new.v 717 additions, 0 deletionsFEM/FE_LagP_new.v
- FEM/FE_new.v 265 additions, 0 deletionsFEM/FE_new.v
- FEM/FE_simplex_new.v 435 additions, 0 deletionsFEM/FE_simplex_new.v
- FEM/P_approx_k_new.v 2049 additions, 0 deletionsFEM/P_approx_k_new.v
- FEM/multi_index_new.v 957 additions, 0 deletionsFEM/multi_index_new.v
- FEM/poly_Lagrange_new.v 2165 additions, 0 deletionsFEM/poly_Lagrange_new.v
- _CoqProject 7 additions, 0 deletions_CoqProject
Loading
Please register or sign in to comment