| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1708 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (23 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (263 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (7 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1307 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
Global Index
A
A [definition, in CFEM.matrix_util]acc_2dT1deriv [definition, in CFEM.shape_accuracy]
acc_2dT1 [definition, in CFEM.shape_accuracy]
acc_2dP1 [definition, in CFEM.shape_accuracy]
acc_1dP2deriv [definition, in CFEM.shape_accuracy]
acc_1dP2 [definition, in CFEM.shape_accuracy]
acc_1dP1d [definition, in CFEM.shape_accuracy]
acc_1dP1 [definition, in CFEM.shape_accuracy]
approx_func_ptr'' [lemma, in CFEM.C.nonexpansive]
approx_exp' [lemma, in CFEM.C.nonexpansive]
approx_sepcon' [lemma, in CFEM.C.nonexpansive]
approx_andp' [lemma, in CFEM.C.nonexpansive]
approx_andp_prop [lemma, in CFEM.C.nonexpansive]
approx_approx_S [lemma, in CFEM.C.nonexpansive]
B
body_init_matrix_dense [lemma, in CFEM.C.verif_matrix]body_casted_densemat_print [lemma, in CFEM.C.verif_matrix]
body_matrix_print [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_norm2 [lemma, in CFEM.C.verif_matrix]
body_matrix_norm [lemma, in CFEM.C.verif_matrix]
body_matrix_norm2 [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_clear [lemma, in CFEM.C.verif_matrix]
body_matrix_clear [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_add [lemma, in CFEM.C.verif_matrix]
body_matrix_add [lemma, in CFEM.C.verif_matrix]
body_shapes1dP3 [lemma, in CFEM.C.verif_shapes1d]
body_shapes1dP2 [lemma, in CFEM.C.verif_shapes1d]
body_shapes1dP1 [lemma, in CFEM.C.verif_shapes1d]
body_hughes_weight [lemma, in CFEM.C.verif_quadrules]
body_hughes_point [lemma, in CFEM.C.verif_quadrules]
body_gauss2d_weight [lemma, in CFEM.C.verif_quadrules]
body_gauss2d_point [lemma, in CFEM.C.verif_quadrules]
body_gauss2d_npoint1d [lemma, in CFEM.C.verif_quadrules]
body_gauss_weight [lemma, in CFEM.C.verif_quadrules]
body_gauss_point [lemma, in CFEM.C.verif_quadrules]
body_shapes2dT1 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dS2 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dP1 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dP2 [lemma, in CFEM.C.verif_shapes2dP2]
Bounds [module, in CFEM.shapefloat]
bounds_enclose [definition, in CFEM.shape_accuracy]
Bounds.boundsmap [definition, in CFEM.shapefloat]
Bounds.cuboid_boundsmap_2d [definition, in CFEM.shapefloat]
Bounds.cuboid_boundsmap_1d [definition, in CFEM.shapefloat]
Bounds.cuboid_bounds [definition, in CFEM.shapefloat]
Bounds.firstn_canon_idents [definition, in CFEM.shapefloat]
Bounds.simplex_boundsmap_2d [definition, in CFEM.shapefloat]
Bounds.simplex_bounds [definition, in CFEM.shapefloat]
C
casted_bandmat_print_spec [definition, in CFEM.C.spec_matrix]casted_bandmat_norm2_spec [definition, in CFEM.C.spec_matrix]
casted_bandmat_clear_spec [definition, in CFEM.C.spec_matrix]
casted_bandmat_add_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_print_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_norm2_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_clear_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_add_spec [definition, in CFEM.C.spec_matrix]
colmx_of_list [definition, in CFEM.matrix_util]
col_rowmx_of_listn [lemma, in CFEM.shape]
col__0 [lemma, in CFEM.shape]
col_E_specific [lemma, in CFEM.matrix_util]
col_row_E [lemma, in CFEM.matrix_util]
col_row [lemma, in CFEM.matrix_util]
col_0_1 [lemma, in CFEM.matrix_util]
col_mxEd' [lemma, in CFEM.matrix_util]
col_mxEu' [lemma, in CFEM.matrix_util]
col_mxE [lemma, in CFEM.matrix_util]
col_mx_of_list [lemma, in CFEM.matrix_util]
composites [definition, in CFEM.C.mesh]
composites [definition, in CFEM.C.fem]
composites [definition, in CFEM.C.quadrules]
composites [definition, in CFEM.C.element]
composites [definition, in CFEM.C.shapes]
composites [definition, in CFEM.C.matrix]
CompSpecs [instance, in CFEM.C.spec_shapes]
CompSpecs [instance, in CFEM.C.spec_quadrules]
CompSpecs [instance, in CFEM.C.spec_matrix]
ComputableIntegral [module, in CFEM.quadrature]
ComputableIntegral.add_poly'_nil [lemma, in CFEM.quadrature]
ComputableIntegral.add_poly' [definition, in CFEM.quadrature]
ComputableIntegral.integ [definition, in CFEM.quadrature]
ComputableIntegral.integ_eq [lemma, in CFEM.quadrature]
ComputableIntegral.integ_last_nonnil [lemma, in CFEM.quadrature]
ComputableIntegral.integ_rec [definition, in CFEM.quadrature]
ComputableIntegral.lastr_neq0 [lemma, in CFEM.quadrature]
ComputableIntegral.mul_poly_eq [lemma, in CFEM.quadrature]
ComputableIntegral.mul_poly_eq_aux [lemma, in CFEM.quadrature]
ComputableIntegral.mul_poly_eq_aux' [lemma, in CFEM.quadrature]
ComputableIntegral.mul_poly' [definition, in CFEM.quadrature]
ComputableIntegral.mul_poly'aux [definition, in CFEM.quadrature]
ComputableIntegral.polylast [definition, in CFEM.quadrature]
ComputableIntegral.R [section, in CFEM.quadrature]
ComputableIntegral.R.R [variable, in CFEM.quadrature]
compute_mx_of_list [abbreviation, in CFEM.matrix_util]
const_mxE [lemma, in CFEM.matrix_util]
continously_differentiable_coord [lemma, in CFEM.shape]
continuously_differentiable_variable_power [lemma, in CFEM.shape]
continuously_differentiable_mul [lemma, in CFEM.shape]
continuously_differentiable_add [lemma, in CFEM.shape]
continuously_differentiable_vacuous [lemma, in CFEM.shape]
continuously_differentiable_cst [lemma, in CFEM.shape]
continuously_differentiable [definition, in CFEM.shape]
convex_combination_e [lemma, in CFEM.shape]
convex_combination' [definition, in CFEM.shape]
convex_hull [definition, in CFEM.shape]
convex_combination [definition, in CFEM.shape]
D
dense_matrix_rep [definition, in CFEM.C.spec_matrix]derivable_mxP [lemma, in CFEM.shape]
derive_mx [lemma, in CFEM.shape]
derive_comp_mx_neq [lemma, in CFEM.shape]
derive_comp_mx [lemma, in CFEM.shape]
divs_repr [lemma, in CFEM.C.verif_quadrules]
d1_lagrange [definition, in CFEM.shape]
d1_lagrange_nodes [definition, in CFEM.shape]
E
element [library]eq_locked_continuously_differentiable [lemma, in CFEM.shape]
eq_continuously_differentiable [lemma, in CFEM.shape]
eq_differentiable [lemma, in CFEM.shape]
exist_orthogonal_polynomials [lemma, in CFEM.quadrature]
extend_roots_injective [lemma, in CFEM.quadrature]
extend_roots [definition, in CFEM.quadrature]
F
F [module, in CFEM.C.verif_matrix]F [module, in CFEM.C.spec_shapes]
F [module, in CFEM.C.spec_quadrules]
F [module, in CFEM.C.spec_matrix]
F [module, in CFEM.C.verif_shapes_base]
fem [library]
float_near [definition, in CFEM.C.spec_quadrules]
Float_of_bits_repr [lemma, in CFEM.C.verif_shapes_base]
Float_of_int_repr [lemma, in CFEM.C.verif_shapes_base]
Float_sub_congr [lemma, in CFEM.C.verif_shapes_base]
Float_add_congr [lemma, in CFEM.C.verif_shapes_base]
Float_mul_congr [lemma, in CFEM.C.verif_shapes_base]
FPStdLib_ftype__canonical__Algebra_BaseAddUMagma [definition, in CFEM.shapefloat]
FPStdLib_ftype__canonical__Algebra_BaseAddMagma [definition, in CFEM.shapefloat]
frobenius_norm2 [abbreviation, in CFEM.C.spec_matrix]
from_'I0_any [definition, in CFEM.matrix_util]
FShape [module, in CFEM.shapefloat]
FShape.bounds [projection, in CFEM.shapefloat]
FShape.dθ [projection, in CFEM.shapefloat]
FShape.shape [record, in CFEM.shapefloat]
FShape.θ [projection, in CFEM.shapefloat]
f_mesh_print [definition, in CFEM.C.mesh]
f_mesh_print_elt [definition, in CFEM.C.mesh]
f_mesh_print_nodes [definition, in CFEM.C.mesh]
f_mesh_shapes [definition, in CFEM.C.mesh]
f_mesh_to_spatial [definition, in CFEM.C.mesh]
f_mesh_block2d_T1 [definition, in CFEM.C.mesh]
f_mesh_block2d_S2 [definition, in CFEM.C.mesh]
f_mesh_block2d_P2 [definition, in CFEM.C.mesh]
f_mesh_block2d_P1 [definition, in CFEM.C.mesh]
f_mesh_create1d [definition, in CFEM.C.mesh]
f_mesh_free [definition, in CFEM.C.mesh]
f_mesh_malloc [definition, in CFEM.C.mesh]
f_fem_print [definition, in CFEM.C.fem]
f_fem_assemble_dense [definition, in CFEM.C.fem]
f_fem_assemble_band [definition, in CFEM.C.fem]
f_fem_assemble [definition, in CFEM.C.fem]
f_assemble_vector [definition, in CFEM.C.fem]
f_assemble_matrix [definition, in CFEM.C.fem]
f_fem_set_load [definition, in CFEM.C.fem]
f_fem_update_U [definition, in CFEM.C.fem]
f_fem_assign_ids [definition, in CFEM.C.fem]
f_fem_free [definition, in CFEM.C.fem]
f_fem_malloc [definition, in CFEM.C.fem]
f_hughes_weight [definition, in CFEM.C.quadrules]
f_hughes_point [definition, in CFEM.C.quadrules]
f_gauss2d_weight [definition, in CFEM.C.quadrules]
f_gauss2d_point [definition, in CFEM.C.quadrules]
f_gauss2d_npoint1d [definition, in CFEM.C.quadrules]
f_gauss_weight [definition, in CFEM.C.quadrules]
f_gauss_point [definition, in CFEM.C.quadrules]
f_2dT1deriv_2_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_2_0 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_1_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_1_0 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_0_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_0_0 [definition, in CFEM.shape_accuracy]
f_2dT1_2 [definition, in CFEM.shape_accuracy]
f_2dT1_1 [definition, in CFEM.shape_accuracy]
f_2dT1_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_3_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_3_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_2_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_2_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_1_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_1_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_0_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_0_0 [definition, in CFEM.shape_accuracy]
f_2dP1_3 [definition, in CFEM.shape_accuracy]
f_2dP1_2 [definition, in CFEM.shape_accuracy]
f_2dP1_1 [definition, in CFEM.shape_accuracy]
f_2dP1_0 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_2 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_1 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_0 [definition, in CFEM.shape_accuracy]
f_1dP2_2 [definition, in CFEM.shape_accuracy]
f_1dP2_1 [definition, in CFEM.shape_accuracy]
f_1dP2_0 [definition, in CFEM.shape_accuracy]
f_1dP1deriv_1 [definition, in CFEM.shape_accuracy]
f_1dP1deriv_0 [definition, in CFEM.shape_accuracy]
f_1dP1_1 [definition, in CFEM.shape_accuracy]
f_1dP1_0 [definition, in CFEM.shape_accuracy]
f_poisson2d_elt_dR [definition, in CFEM.C.element]
f_get_quad2d [definition, in CFEM.C.element]
f_poisson1d_elt_dR [definition, in CFEM.C.element]
f_simple_elt_free [definition, in CFEM.C.element]
f_malloc_poisson2d_element [definition, in CFEM.C.element]
f_malloc_poisson1d_element [definition, in CFEM.C.element]
f_element_free [definition, in CFEM.C.element]
f_element_dR [definition, in CFEM.C.element]
f_shapes2dT1 [definition, in CFEM.C.shapes]
f_shapes2dS2 [definition, in CFEM.C.shapes]
f_shapes2dP2 [definition, in CFEM.C.shapes]
f_shapes2dP1 [definition, in CFEM.C.shapes]
f_shapes1dP3 [definition, in CFEM.C.shapes]
f_shapes1dP2 [definition, in CFEM.C.shapes]
f_shapes1dP1 [definition, in CFEM.C.shapes]
f_init_matrix_band [definition, in CFEM.C.matrix]
f_casted_bandmat_print [definition, in CFEM.C.matrix]
f_casted_bandmat_norm2 [definition, in CFEM.C.matrix]
f_casted_bandmat_clear [definition, in CFEM.C.matrix]
f_casted_bandmat_add [definition, in CFEM.C.matrix]
f_init_matrix_dense [definition, in CFEM.C.matrix]
f_casted_densemat_print [definition, in CFEM.C.matrix]
f_casted_densemat_norm2 [definition, in CFEM.C.matrix]
f_casted_densemat_clear [definition, in CFEM.C.matrix]
f_casted_densemat_add [definition, in CFEM.C.matrix]
f_matrix_print [definition, in CFEM.C.matrix]
f_matrix_norm [definition, in CFEM.C.matrix]
f_matrix_norm2 [definition, in CFEM.C.matrix]
f_matrix_clear [definition, in CFEM.C.matrix]
f_matrix_add [definition, in CFEM.C.matrix]
G
G [definition, in CFEM.quadrature]gauss_weight_spec [definition, in CFEM.C.spec_quadrules]
gauss_point_spec [definition, in CFEM.C.spec_quadrules]
gauss_weight_spec_lowlevel [definition, in CFEM.C.spec_quadrules]
gauss_point_spec_lowlevel [definition, in CFEM.C.spec_quadrules]
gauss_wts_pred [definition, in CFEM.C.spec_quadrules]
gauss_wts_list [definition, in CFEM.C.spec_quadrules]
gauss_pts_pred [definition, in CFEM.C.spec_quadrules]
gauss_pts_list [definition, in CFEM.C.spec_quadrules]
gauss_weight_leq_1 [lemma, in CFEM.quadrature]
gauss_weight_positive [lemma, in CFEM.quadrature]
gauss_weight [definition, in CFEM.quadrature]
gauss2d_weight_spec [definition, in CFEM.C.spec_quadrules]
gauss2d_point_spec [definition, in CFEM.C.spec_quadrules]
gauss2d_npoint1d_spec [definition, in CFEM.C.spec_quadrules]
global_definitions [definition, in CFEM.C.mesh]
global_definitions [definition, in CFEM.C.fem]
global_definitions [definition, in CFEM.C.quadrules]
global_definitions [definition, in CFEM.C.element]
global_definitions [definition, in CFEM.C.shapes]
global_definitions [definition, in CFEM.C.matrix]
Gprog [definition, in CFEM.C.verif_matrix]
Gprog [definition, in CFEM.C.verif_quadrules]
Gprog [definition, in CFEM.C.verif_shapes_base]
H
half_an_ulp [definition, in CFEM.C.spec_quadrules]hughes_weight_spec [definition, in CFEM.C.spec_quadrules]
hughes_weight [definition, in CFEM.C.spec_quadrules]
hughes_point_spec [definition, in CFEM.C.spec_quadrules]
hughes_points [definition, in CFEM.C.spec_quadrules]
I
ifptr [definition, in CFEM.C.spec_shapes]ifptr_valid_pointer [lemma, in CFEM.C.spec_shapes]
ifptr_false [lemma, in CFEM.C.verif_shapes_base]
ifptr_true [lemma, in CFEM.C.verif_shapes_base]
import_densemat [section, in CFEM.C.verif_matrix]
import_densemat [section, in CFEM.C.verif_shapes_base]
IMP_mono [constructor, in CFEM.shape]
IMP_mono1 [constructor, in CFEM.shape]
IMP_prod [constructor, in CFEM.shape]
IMP_opp [constructor, in CFEM.shape]
IMP_sum [constructor, in CFEM.shape]
IMP_const [constructor, in CFEM.shape]
index_enum_ord_enum [lemma, in CFEM.quadrature]
index_enum_ord_enum [lemma, in CFEM.matrix_util]
Info [module, in CFEM.C.mesh]
Info [module, in CFEM.C.fem]
Info [module, in CFEM.C.quadrules]
Info [module, in CFEM.C.element]
Info [module, in CFEM.C.shapes]
Info [module, in CFEM.C.matrix]
Info.abi [definition, in CFEM.C.mesh]
Info.abi [definition, in CFEM.C.fem]
Info.abi [definition, in CFEM.C.quadrules]
Info.abi [definition, in CFEM.C.element]
Info.abi [definition, in CFEM.C.shapes]
Info.abi [definition, in CFEM.C.matrix]
Info.arch [definition, in CFEM.C.mesh]
Info.arch [definition, in CFEM.C.fem]
Info.arch [definition, in CFEM.C.quadrules]
Info.arch [definition, in CFEM.C.element]
Info.arch [definition, in CFEM.C.shapes]
Info.arch [definition, in CFEM.C.matrix]
Info.big_endian [definition, in CFEM.C.mesh]
Info.big_endian [definition, in CFEM.C.fem]
Info.big_endian [definition, in CFEM.C.quadrules]
Info.big_endian [definition, in CFEM.C.element]
Info.big_endian [definition, in CFEM.C.shapes]
Info.big_endian [definition, in CFEM.C.matrix]
Info.bitsize [definition, in CFEM.C.mesh]
Info.bitsize [definition, in CFEM.C.fem]
Info.bitsize [definition, in CFEM.C.quadrules]
Info.bitsize [definition, in CFEM.C.element]
Info.bitsize [definition, in CFEM.C.shapes]
Info.bitsize [definition, in CFEM.C.matrix]
Info.build_branch [definition, in CFEM.C.mesh]
Info.build_tag [definition, in CFEM.C.mesh]
Info.build_number [definition, in CFEM.C.mesh]
Info.build_branch [definition, in CFEM.C.fem]
Info.build_tag [definition, in CFEM.C.fem]
Info.build_number [definition, in CFEM.C.fem]
Info.build_branch [definition, in CFEM.C.quadrules]
Info.build_tag [definition, in CFEM.C.quadrules]
Info.build_number [definition, in CFEM.C.quadrules]
Info.build_branch [definition, in CFEM.C.element]
Info.build_tag [definition, in CFEM.C.element]
Info.build_number [definition, in CFEM.C.element]
Info.build_branch [definition, in CFEM.C.shapes]
Info.build_tag [definition, in CFEM.C.shapes]
Info.build_number [definition, in CFEM.C.shapes]
Info.build_branch [definition, in CFEM.C.matrix]
Info.build_tag [definition, in CFEM.C.matrix]
Info.build_number [definition, in CFEM.C.matrix]
Info.model [definition, in CFEM.C.mesh]
Info.model [definition, in CFEM.C.fem]
Info.model [definition, in CFEM.C.quadrules]
Info.model [definition, in CFEM.C.element]
Info.model [definition, in CFEM.C.shapes]
Info.model [definition, in CFEM.C.matrix]
Info.normalized [definition, in CFEM.C.mesh]
Info.normalized [definition, in CFEM.C.fem]
Info.normalized [definition, in CFEM.C.quadrules]
Info.normalized [definition, in CFEM.C.element]
Info.normalized [definition, in CFEM.C.shapes]
Info.normalized [definition, in CFEM.C.matrix]
Info.source_file [definition, in CFEM.C.mesh]
Info.source_file [definition, in CFEM.C.fem]
Info.source_file [definition, in CFEM.C.quadrules]
Info.source_file [definition, in CFEM.C.element]
Info.source_file [definition, in CFEM.C.shapes]
Info.source_file [definition, in CFEM.C.matrix]
Info.version [definition, in CFEM.C.mesh]
Info.version [definition, in CFEM.C.fem]
Info.version [definition, in CFEM.C.quadrules]
Info.version [definition, in CFEM.C.element]
Info.version [definition, in CFEM.C.shapes]
Info.version [definition, in CFEM.C.matrix]
InhR [instance, in CFEM.C.spec_quadrules]
init_matrix_band_spec [definition, in CFEM.C.spec_matrix]
init_matrix_dense_spec [definition, in CFEM.C.spec_matrix]
intgal [definition, in CFEM.quadrature]
intgal_linear2 [lemma, in CFEM.quadrature]
intgal_linear1 [lemma, in CFEM.quadrature]
isF [lemma, in CFEM.matrix_util]
is_derive_coord_simple [lemma, in CFEM.shape]
is_derive_row [lemma, in CFEM.shape]
is_derive_mx [instance, in CFEM.shape]
is_multivariate_polynomial_sind [definition, in CFEM.shape]
is_multivariate_polynomial_ind [definition, in CFEM.shape]
is_multivariate_polynomial [inductive, in CFEM.shape]
is_shape_deriv [definition, in CFEM.shape]
ith_gauss_weight [definition, in CFEM.C.spec_quadrules]
ith_gauss_point [definition, in CFEM.C.spec_quadrules]
L
L [definition, in CFEM.quadrature]lagrange1dP1 [lemma, in CFEM.shape]
lagrange1dP2 [lemma, in CFEM.shape]
lagrange1dP3 [lemma, in CFEM.shape]
Legendre [module, in CFEM.quadrature]
Legendre.add_mul3 [lemma, in CFEM.quadrature]
Legendre.add_mul2 [lemma, in CFEM.quadrature]
Legendre.compute_G_eq [lemma, in CFEM.quadrature]
Legendre.compute_G [definition, in CFEM.quadrature]
Legendre.eq_opI [lemma, in CFEM.quadrature]
Legendre.gauss_weights_4 [definition, in CFEM.quadrature]
Legendre.gauss_weight_4_3 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_4_2 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_4_1 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_4_0 [lemma, in CFEM.quadrature]
Legendre.gauss_weights_3 [definition, in CFEM.quadrature]
Legendre.gauss_weight_3_2 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_3_1 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_3_0 [lemma, in CFEM.quadrature]
Legendre.gauss_weights_2 [definition, in CFEM.quadrature]
Legendre.gauss_weight_2_1 [lemma, in CFEM.quadrature]
Legendre.gauss_weight_2_0 [lemma, in CFEM.quadrature]
Legendre.gauss_weights_1 [definition, in CFEM.quadrature]
Legendre.gauss_weight_1_0 [lemma, in CFEM.quadrature]
Legendre.gauss_weights_0 [definition, in CFEM.quadrature]
Legendre.gauss_weights [record, in CFEM.quadrature]
Legendre.GW_good [projection, in CFEM.quadrature]
Legendre.GW_vals [projection, in CFEM.quadrature]
Legendre.GW_legendre [projection, in CFEM.quadrature]
Legendre.hi [definition, in CFEM.quadrature]
Legendre.hornerD'' [lemma, in CFEM.quadrature]
Legendre.intgal [definition, in CFEM.quadrature]
Legendre.intgal_X7 [lemma, in CFEM.quadrature]
Legendre.intgal_X6 [lemma, in CFEM.quadrature]
Legendre.intgal_X5 [lemma, in CFEM.quadrature]
Legendre.intgal_X4 [lemma, in CFEM.quadrature]
Legendre.intgal_X3 [lemma, in CFEM.quadrature]
Legendre.intgal_X2 [lemma, in CFEM.quadrature]
Legendre.intgal_C [lemma, in CFEM.quadrature]
Legendre.intgal_1 [lemma, in CFEM.quadrature]
Legendre.intgal_0 [lemma, in CFEM.quadrature]
Legendre.intgal_X [lemma, in CFEM.quadrature]
Legendre.intgal_linear [definition, in CFEM.quadrature]
Legendre.intgal_linear2' [lemma, in CFEM.quadrature]
Legendre.intgal_linear2 [lemma, in CFEM.quadrature]
Legendre.intgal_linearN' [lemma, in CFEM.quadrature]
Legendre.intgal_linearN [lemma, in CFEM.quadrature]
Legendre.intgal_linear1'' [lemma, in CFEM.quadrature]
Legendre.intgal_linear1' [lemma, in CFEM.quadrature]
Legendre.intgal_linear1 [lemma, in CFEM.quadrature]
Legendre.intgal_eq [lemma, in CFEM.quadrature]
Legendre.iseq [inductive, in CFEM.quadrature]
Legendre.iseq_sind [definition, in CFEM.quadrature]
Legendre.iseq_rec [definition, in CFEM.quadrature]
Legendre.iseq_ind [definition, in CFEM.quadrature]
Legendre.iseq_rect [definition, in CFEM.quadrature]
Legendre.i_cons [constructor, in CFEM.quadrature]
Legendre.i_nil [constructor, in CFEM.quadrature]
Legendre.legendre [definition, in CFEM.quadrature]
Legendre.legendre_quadrature_error' [lemma, in CFEM.quadrature]
Legendre.legendre_roots_unique [lemma, in CFEM.quadrature]
Legendre.legendre_roots_4 [definition, in CFEM.quadrature]
Legendre.legendre_roots_4c [lemma, in CFEM.quadrature]
Legendre.legendre_roots_4b [lemma, in CFEM.quadrature]
Legendre.legendre_roots_4a [lemma, in CFEM.quadrature]
Legendre.legendre_roots_val [definition, in CFEM.quadrature]
Legendre.Legendre_poly_4 [lemma, in CFEM.quadrature]
Legendre.legendre_roots_3 [definition, in CFEM.quadrature]
Legendre.Legendre_poly_3 [lemma, in CFEM.quadrature]
Legendre.legendre_roots_2 [definition, in CFEM.quadrature]
Legendre.Legendre_poly_2 [lemma, in CFEM.quadrature]
Legendre.legendre_roots_1 [definition, in CFEM.quadrature]
Legendre.Legendre_poly_1 [lemma, in CFEM.quadrature]
Legendre.legendre_roots_0 [definition, in CFEM.quadrature]
Legendre.Legendre_poly_0 [lemma, in CFEM.quadrature]
Legendre.legendre_quadrature_error [lemma, in CFEM.quadrature]
Legendre.legendre_roots [record, in CFEM.quadrature]
Legendre.lo [definition, in CFEM.quadrature]
Legendre.lo_lt_hi [lemma, in CFEM.quadrature]
Legendre.LR_roots [projection, in CFEM.quadrature]
Legendre.LR_poly_eq [projection, in CFEM.quadrature]
Legendre.LR_poly [projection, in CFEM.quadrature]
Legendre.mulrA'X [lemma, in CFEM.quadrature]
Legendre.mulrD [definition, in CFEM.quadrature]
Legendre.norm_poly [definition, in CFEM.quadrature]
Legendre.nth_iseq [definition, in CFEM.quadrature]
Legendre.opp_sub [lemma, in CFEM.quadrature]
Legendre.pull_left2' [lemma, in CFEM.quadrature]
Legendre.pull_left1' [lemma, in CFEM.quadrature]
Legendre.pull_left [definition, in CFEM.quadrature]
Legendre.pull_left2 [lemma, in CFEM.quadrature]
Legendre.pull_left1 [lemma, in CFEM.quadrature]
Legendre.R [section, in CFEM.quadrature]
Legendre.r_intgal [definition, in CFEM.quadrature]
Legendre.r_integral [definition, in CFEM.quadrature]
Legendre.R.R [variable, in CFEM.quadrature]
_ :: _ (iseq_scope) [notation, in CFEM.quadrature]
∫ [notation, in CFEM.quadrature]
Legendre.scale_polyC' [lemma, in CFEM.quadrature]
Legendre.some_gauss_weights [definition, in CFEM.quadrature]
Legendre.some_legendre_roots [definition, in CFEM.quadrature]
Legendre.sqrt [abbreviation, in CFEM.quadrature]
Legendre.sqrt_exists [lemma, in CFEM.quadrature]
Legendre.sqr_sqrt [lemma, in CFEM.quadrature]
Legendre.sub_mul2 [lemma, in CFEM.quadrature]
Legendre.w [definition, in CFEM.quadrature]
Legendre.w_positive [lemma, in CFEM.quadrature]
M
matrix [library]matrixVSU [definition, in CFEM.C.verif_matrix]
matrix_internal_specs [definition, in CFEM.C.verif_matrix]
matrix_E [definition, in CFEM.C.verif_matrix]
matrix_imported_specs [definition, in CFEM.C.verif_matrix]
matrix_add_to [definition, in CFEM.model]
matrix_ASI [definition, in CFEM.C.spec_matrix]
matrix_print_spec [definition, in CFEM.C.spec_matrix]
matrix_print_type [definition, in CFEM.C.spec_matrix]
matrix_norm_spec [definition, in CFEM.C.spec_matrix]
matrix_norm2_spec [definition, in CFEM.C.spec_matrix]
matrix_norm2_type [definition, in CFEM.C.spec_matrix]
matrix_clear_spec [definition, in CFEM.C.spec_matrix]
matrix_clear_type [definition, in CFEM.C.spec_matrix]
matrix_add_spec [definition, in CFEM.C.spec_matrix]
matrix_add_type [definition, in CFEM.C.spec_matrix]
matrix_obj_nonexpansive [lemma, in CFEM.C.spec_matrix]
matrix_rep_type [definition, in CFEM.C.spec_matrix]
matrix_and_indices_typetree [definition, in CFEM.C.spec_matrix]
matrix_package_typetree [definition, in CFEM.C.spec_matrix]
matrix_and_indices [definition, in CFEM.C.spec_matrix]
matrix_package [definition, in CFEM.C.spec_matrix]
matrix_obj_valid_pointer [lemma, in CFEM.C.spec_matrix]
matrix_obj_local_facts [lemma, in CFEM.C.spec_matrix]
matrix_obj [definition, in CFEM.C.spec_matrix]
matrix_print_spec' [definition, in CFEM.C.spec_matrix]
matrix_norm2_spec' [definition, in CFEM.C.spec_matrix]
matrix_clear_spec' [definition, in CFEM.C.spec_matrix]
matrix_add_spec' [definition, in CFEM.C.spec_matrix]
matrix_t [definition, in CFEM.C.spec_matrix]
matrix_data_t [definition, in CFEM.C.spec_matrix]
matrix_rep [definition, in CFEM.C.spec_matrix]
matrix_util [library]
mesh [library]
model [library]
multivariate_polynomial_continuously_differentiable [lemma, in CFEM.shape]
mx_of_listE [lemma, in CFEM.matrix_util]
mx_of_list [definition, in CFEM.matrix_util]
mx_of_listn [definition, in CFEM.matrix_util]
N
nonexpansive [library]nth_List_nth [lemma, in CFEM.quadrature]
nth_ord_enum' [lemma, in CFEM.quadrature]
nth_List_nth [lemma, in CFEM.matrix_util]
nth_ord_enum' [lemma, in CFEM.matrix_util]
O
Ordn [abbreviation, in CFEM.matrix_util]ord_enum2 [definition, in CFEM.model]
ord_enum_cases [lemma, in CFEM.quadrature]
ord_enum_cases [lemma, in CFEM.matrix_util]
orthogonal [definition, in CFEM.quadrature]
orthogonal_polynomials [definition, in CFEM.quadrature]
ortho_p_orthogonal [lemma, in CFEM.quadrature]
ortho_p_monic [lemma, in CFEM.quadrature]
ortho_p [definition, in CFEM.quadrature]
P
pointwise_derivable.n [variable, in CFEM.shape]pointwise_derivable.m [variable, in CFEM.shape]
pointwise_derivable.V [variable, in CFEM.shape]
pointwise_derivable.R [variable, in CFEM.shape]
pointwise_derivable [section, in CFEM.shape]
point_mx [definition, in CFEM.model]
polySn_orthogonal_n [lemma, in CFEM.quadrature]
prog [definition, in CFEM.C.mesh]
prog [definition, in CFEM.C.fem]
prog [definition, in CFEM.C.quadrules]
prog [definition, in CFEM.C.element]
prog [definition, in CFEM.C.shapes]
prog [definition, in CFEM.C.matrix]
prove_roundoff_bound_2dT1deriv_2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_3 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_0 [lemma, in CFEM.shape_accuracy]
prove_lagrangian_1d [lemma, in CFEM.shape]
public_idents [definition, in CFEM.C.mesh]
public_idents [definition, in CFEM.C.fem]
public_idents [definition, in CFEM.C.quadrules]
public_idents [definition, in CFEM.C.element]
public_idents [definition, in CFEM.C.shapes]
public_idents [definition, in CFEM.C.matrix]
Q
quadrature [library]quadrature_converges [lemma, in CFEM.quadrature]
quadrature_error [lemma, in CFEM.quadrature]
quadrature_exact_for [lemma, in CFEM.quadrature]
quadrules [library]
quadrules_ASI [definition, in CFEM.C.spec_quadrules]
quadrules_globals [definition, in CFEM.C.verif_quadrules]
quadrules_imported_specs [definition, in CFEM.C.verif_quadrules]
quadrules_internal_specs [definition, in CFEM.C.verif_quadrules]
quadrules_E [definition, in CFEM.C.verif_quadrules]
R
R [section, in CFEM.quadrature]relate_2dT1deriv_2_1 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_2_0 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_1_1 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_1_0 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_0_1 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_0_0 [definition, in CFEM.shape_accuracy]
relate_2dT1_2 [definition, in CFEM.shape_accuracy]
relate_2dT1_1 [definition, in CFEM.shape_accuracy]
relate_2dT1_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_3_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_3_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_2_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_2_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_1_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_1_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_0_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_0_0 [definition, in CFEM.shape_accuracy]
relate_2dP1_3 [definition, in CFEM.shape_accuracy]
relate_2dP1_2 [definition, in CFEM.shape_accuracy]
relate_2dP1_1 [definition, in CFEM.shape_accuracy]
relate_2dP1_0 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_2 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_1 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_0 [definition, in CFEM.shape_accuracy]
relate_1dP2_2 [definition, in CFEM.shape_accuracy]
relate_1dP2_1 [definition, in CFEM.shape_accuracy]
relate_1dP2_0 [definition, in CFEM.shape_accuracy]
relate_1dP1deriv_1 [definition, in CFEM.shape_accuracy]
relate_1dP1deriv_0 [definition, in CFEM.shape_accuracy]
relate_1dP1_1 [definition, in CFEM.shape_accuracy]
relate_1dP1_0 [definition, in CFEM.shape_accuracy]
Rewriting [module, in CFEM.quadrature]
Rewriting.add_funr0 [lemma, in CFEM.quadrature]
Rewriting.add_fun0r [lemma, in CFEM.quadrature]
Rewriting.derivable_oo_LRcontinuous_horner [lemma, in CFEM.quadrature]
Rewriting.deriv_integ [lemma, in CFEM.quadrature]
Rewriting.hornerC' [lemma, in CFEM.quadrature]
Rewriting.hornerD' [lemma, in CFEM.quadrature]
Rewriting.hornerM' [lemma, in CFEM.quadrature]
Rewriting.hornerN' [lemma, in CFEM.quadrature]
Rewriting.hornerXsubC' [lemma, in CFEM.quadrature]
Rewriting.hornerX_i [lemma, in CFEM.quadrature]
Rewriting.hornerX' [lemma, in CFEM.quadrature]
Rewriting.integ [definition, in CFEM.quadrature]
Rewriting.mul_polyC' [lemma, in CFEM.quadrature]
Rewriting.mul_fun_consts [lemma, in CFEM.quadrature]
Rewriting.mul_funC [lemma, in CFEM.quadrature]
Rewriting.mul_funA [lemma, in CFEM.quadrature]
Rewriting.mul_funDl [lemma, in CFEM.quadrature]
Rewriting.mul_funDr [lemma, in CFEM.quadrature]
Rewriting.mul_funr0 [lemma, in CFEM.quadrature]
Rewriting.mul_fun0r [lemma, in CFEM.quadrature]
Rewriting.mul_funr1 [lemma, in CFEM.quadrature]
Rewriting.mul_fun1r [lemma, in CFEM.quadrature]
Rewriting.opp_funr0 [lemma, in CFEM.quadrature]
Rewriting.opp_funC [lemma, in CFEM.quadrature]
Rewriting.polyCN [lemma, in CFEM.quadrature]
Rewriting.polyC' [lemma, in CFEM.quadrature]
Rewriting.polyC0' [lemma, in CFEM.quadrature]
Rewriting.polyC1' [lemma, in CFEM.quadrature]
Rewriting.polynil [definition, in CFEM.quadrature]
Rewriting.polynil_eq [lemma, in CFEM.quadrature]
Rewriting.polyX' [lemma, in CFEM.quadrature]
Rewriting.polyX2' [lemma, in CFEM.quadrature]
Rewriting.polyX3' [lemma, in CFEM.quadrature]
Rewriting.polyX4' [lemma, in CFEM.quadrature]
Rewriting.polyX5' [lemma, in CFEM.quadrature]
Rewriting.polyX6' [lemma, in CFEM.quadrature]
Rewriting.polyX7' [lemma, in CFEM.quadrature]
Rewriting.poly0 [lemma, in CFEM.quadrature]
Rewriting.R [section, in CFEM.quadrature]
Rewriting.Rintegral_poly [lemma, in CFEM.quadrature]
Rewriting.r_lift [definition, in CFEM.quadrature]
Rewriting.r_ring [definition, in CFEM.quadrature]
Rewriting.r_horner [definition, in CFEM.quadrature]
Rewriting.R.R [variable, in CFEM.quadrature]
Rewriting.sub_funr0 [lemma, in CFEM.quadrature]
roots_of_ortho_p_unique [lemma, in CFEM.quadrature]
roots_of_ortho_p_at_most [lemma, in CFEM.quadrature]
ROOTS_inrange [projection, in CFEM.quadrature]
ROOTS_sorted [projection, in CFEM.quadrature]
ROOTS_zero [projection, in CFEM.quadrature]
ROOTS_vals [projection, in CFEM.quadrature]
roots_of_ortho_p [record, in CFEM.quadrature]
roundoff_bound_2dT1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_2dP1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_1dP2 [lemma, in CFEM.shape_accuracy]
roundoff_bound_1dP1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_lemma [definition, in CFEM.shape_accuracy]
rowmx_of_list_1 [lemma, in CFEM.shape_accuracy]
rowmx_of_list_congr [lemma, in CFEM.shape]
rowmx_of_listn_E [lemma, in CFEM.matrix_util]
rowmx_of_list_E [lemma, in CFEM.matrix_util]
rowmx_of_listn [definition, in CFEM.matrix_util]
rowmx_of_list [definition, in CFEM.matrix_util]
row__0 [lemma, in CFEM.shape]
row_E_specific [lemma, in CFEM.matrix_util]
row_col_E [lemma, in CFEM.matrix_util]
row_0_1 [lemma, in CFEM.matrix_util]
row_mxEr' [lemma, in CFEM.matrix_util]
row_mxEl' [lemma, in CFEM.matrix_util]
row_mxE [lemma, in CFEM.matrix_util]
row_mx_of_tr_list [lemma, in CFEM.matrix_util]
row_mx_of_list [lemma, in CFEM.matrix_util]
row01 [lemma, in CFEM.matrix_util]
R.Integral [section, in CFEM.quadrature]
R.Integral.a [variable, in CFEM.quadrature]
R.Integral.b [variable, in CFEM.quadrature]
R.Integral.Hab [variable, in CFEM.quadrature]
R.Integral.P [section, in CFEM.quadrature]
R.Integral.P.p [variable, in CFEM.quadrature]
R.Integral.P.p_monic [variable, in CFEM.quadrature]
R.Integral.P.p_degree [variable, in CFEM.quadrature]
R.Integral.Quadrature [section, in CFEM.quadrature]
R.Integral.Quadrature.n [variable, in CFEM.quadrature]
R.Integral.Quadrature.roots [variable, in CFEM.quadrature]
R.Integral.w [variable, in CFEM.quadrature]
R.Integral.wpos [variable, in CFEM.quadrature]
∫ [notation, in CFEM.quadrature]
R.R [variable, in CFEM.quadrature]
S
S [section, in CFEM.shape]S [section, in CFEM.shape]
S [section, in CFEM.shape]
S [section, in CFEM.shape]
Shape [module, in CFEM.shape]
shape [library]
shapefloat [library]
shapes [library]
shapesVSU [definition, in CFEM.C.VSU_shapes]
shapes_ASI [definition, in CFEM.C.spec_shapes]
shapes_internal_specs [definition, in CFEM.C.verif_shapes_base]
shapes_E [definition, in CFEM.C.verif_shapes_base]
shapes_imported_specs [definition, in CFEM.C.verif_shapes_base]
shapes1dP1 [definition, in CFEM.shape]
shapes1dP1F [definition, in CFEM.shapefloat]
shapes1dP1_spec [definition, in CFEM.C.spec_shapes]
shapes1dP1_fderiv [definition, in CFEM.shapefloat]
shapes1dP1_float [definition, in CFEM.shapefloat]
shapes1dP1_dθ [definition, in CFEM.shape]
shapes1dP1_vertices [definition, in CFEM.shape]
shapes1dP1_θ [definition, in CFEM.shape]
shapes1dP2 [definition, in CFEM.shape]
shapes1dP2F [definition, in CFEM.shapefloat]
shapes1dP2_spec [definition, in CFEM.C.spec_shapes]
shapes1dP2_fderiv [definition, in CFEM.shapefloat]
shapes1dP2_float [definition, in CFEM.shapefloat]
shapes1dP2_dθ [definition, in CFEM.shape]
shapes1dP2_θ [definition, in CFEM.shape]
shapes1dP2_vertices [definition, in CFEM.shape]
shapes1dP3 [definition, in CFEM.shape]
shapes1dP3F [definition, in CFEM.shapefloat]
shapes1dP3_spec [definition, in CFEM.C.spec_shapes]
shapes1dP3_fderiv [definition, in CFEM.shapefloat]
shapes1dP3_float [definition, in CFEM.shapefloat]
shapes1dP3_dθ [definition, in CFEM.shape]
shapes1dP3_θ [definition, in CFEM.shape]
shapes1dP3_vertices [definition, in CFEM.shape]
shapes2dP1 [definition, in CFEM.shape]
shapes2dP1F [definition, in CFEM.shapefloat]
shapes2dP1_spec [definition, in CFEM.C.spec_shapes]
shapes2dP1_fderiv [definition, in CFEM.shapefloat]
shapes2dP1_float [definition, in CFEM.shapefloat]
shapes2dP1_dθ [definition, in CFEM.shape]
shapes2dP1_θ [definition, in CFEM.shape]
shapes2dP1_vertices [definition, in CFEM.shape]
shapes2dP2 [definition, in CFEM.shape]
shapes2dP2F [definition, in CFEM.shapefloat]
shapes2dP2_spec [definition, in CFEM.C.spec_shapes]
shapes2dP2_fderiv [definition, in CFEM.shapefloat]
shapes2dP2_float [definition, in CFEM.shapefloat]
shapes2dP2_dθ [definition, in CFEM.shape]
shapes2dP2_θ [definition, in CFEM.shape]
shapes2dP2_vertices [definition, in CFEM.shape]
shapes2dS2 [definition, in CFEM.shape]
shapes2dS2F [definition, in CFEM.shapefloat]
shapes2dS2_spec [definition, in CFEM.C.spec_shapes]
shapes2dS2_fderiv [definition, in CFEM.shapefloat]
shapes2dS2_float [definition, in CFEM.shapefloat]
shapes2dS2_dθ [definition, in CFEM.shape]
shapes2dS2_θ [definition, in CFEM.shape]
shapes2dS2_vertices [definition, in CFEM.shape]
shapes2dT1 [definition, in CFEM.shape]
shapes2dT1F [definition, in CFEM.shapefloat]
shapes2dT1_spec [definition, in CFEM.C.spec_shapes]
shapes2dT1_fderiv [definition, in CFEM.shapefloat]
shapes2dT1_float [definition, in CFEM.shapefloat]
shapes2dT1_dθ [definition, in CFEM.shape]
shapes2dT1_θ [definition, in CFEM.shape]
shapes2dT1_vertices [definition, in CFEM.shape]
shape_spec [definition, in CFEM.C.spec_shapes]
shape_accuracy [library]
Shape.d [projection, in CFEM.shape]
Shape.deriv [projection, in CFEM.shape]
Shape.diff [projection, in CFEM.shape]
Shape.dθ [projection, in CFEM.shape]
Shape.lagrangian [projection, in CFEM.shape]
Shape.nsh [projection, in CFEM.shape]
Shape.S [section, in CFEM.shape]
Shape.shape [record, in CFEM.shape]
Shape.S.R [variable, in CFEM.shape]
Shape.vtx [projection, in CFEM.shape]
Shape.θ [projection, in CFEM.shape]
size_ord_enum [lemma, in CFEM.quadrature]
size_behead [lemma, in CFEM.quadrature]
size_ord_enum [lemma, in CFEM.matrix_util]
sorted_ij [lemma, in CFEM.quadrature]
spec_quadrules [library]
spec_shapes [library]
spec_matrix [library]
split_matrix_rows [lemma, in CFEM.C.verif_shapes2d]
split_matrix_rows [lemma, in CFEM.C.verif_shapes2dP2]
split_shift_eq [lemma, in CFEM.matrix_util]
split_shift [definition, in CFEM.matrix_util]
split_shift2 [lemma, in CFEM.matrix_util]
split_shift1 [lemma, in CFEM.matrix_util]
sub_gauss_weight [lemma, in CFEM.C.spec_quadrules]
sub_gauss_point [lemma, in CFEM.C.spec_quadrules]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
T
test_typetree [definition, in CFEM.C.spec_matrix]Test1 [module, in CFEM.matrix_util]
Test1.A [definition, in CFEM.matrix_util]
Test1.Unnamed_thm [definition, in CFEM.matrix_util]
Test2 [module, in CFEM.matrix_util]
Test2.B [definition, in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddUMagma [definition, in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddMagma [definition, in CFEM.matrix_util]
Test2.HB_unnamed_factory_3 [definition, in CFEM.matrix_util]
Test2.HB_unnamed_factory_1 [definition, in CFEM.matrix_util]
Test3 [module, in CFEM.matrix_util]
Test3.A [definition, in CFEM.matrix_util]
Test3.S [section, in CFEM.matrix_util]
Test3.S.R [variable, in CFEM.matrix_util]
Test3.U [definition, in CFEM.matrix_util]
Test3.Unnamed_thm [definition, in CFEM.matrix_util]
Test3.V [definition, in CFEM.matrix_util]
Test4 [module, in CFEM.matrix_util]
Test4.add [definition, in CFEM.matrix_util]
Test4.B [definition, in CFEM.matrix_util]
Test4.float [definition, in CFEM.matrix_util]
Test4.HB_unnamed_factory_7 [definition, in CFEM.matrix_util]
Test4.HB_unnamed_factory_5 [definition, in CFEM.matrix_util]
Test4.ofZ [definition, in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddUMagma [definition, in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddMagma [definition, in CFEM.matrix_util]
the_ctype [abbreviation, in CFEM.C.spec_matrix]
the_type [abbreviation, in CFEM.C.spec_matrix]
three_term_recurrence [definition, in CFEM.quadrature]
trmxE [lemma, in CFEM.shape]
tuple_rehead [lemma, in CFEM.quadrature]
tuple_ext [lemma, in CFEM.quadrature]
tuple_behead [definition, in CFEM.quadrature]
U
Unnamed_thm [definition, in CFEM.C.spec_matrix]Unnamed_thm [definition, in CFEM.C.spec_matrix]
Unnamed_thm [definition, in CFEM.shape_accuracy]
V
val_of_float [abbreviation, in CFEM.C.spec_matrix]verif_shapes2d [library]
verif_quadrules [library]
verif_shapes2dP2 [library]
verif_matrix [library]
verif_shapes1d [library]
verif_shapes_base [library]
vmap_of_cV [definition, in CFEM.shape_accuracy]
vmap_of_cV_list_valid [lemma, in CFEM.shape_accuracy]
vmap_of_cV_list [definition, in CFEM.shape_accuracy]
Vprog [definition, in CFEM.C.spec_shapes]
Vprog [definition, in CFEM.C.spec_quadrules]
Vprog [definition, in CFEM.C.spec_matrix]
VSU_shapes [library]
v___stringlit_12 [definition, in CFEM.C.mesh]
v___stringlit_8 [definition, in CFEM.C.mesh]
v___stringlit_5 [definition, in CFEM.C.mesh]
v___stringlit_1 [definition, in CFEM.C.mesh]
v___stringlit_6 [definition, in CFEM.C.mesh]
v___stringlit_7 [definition, in CFEM.C.mesh]
v___stringlit_3 [definition, in CFEM.C.mesh]
v___stringlit_2 [definition, in CFEM.C.mesh]
v___stringlit_10 [definition, in CFEM.C.mesh]
v___stringlit_4 [definition, in CFEM.C.mesh]
v___stringlit_9 [definition, in CFEM.C.mesh]
v___stringlit_11 [definition, in CFEM.C.mesh]
v___stringlit_2 [definition, in CFEM.C.fem]
v___stringlit_1 [definition, in CFEM.C.fem]
v___stringlit_9 [definition, in CFEM.C.fem]
v___stringlit_3 [definition, in CFEM.C.fem]
v___stringlit_5 [definition, in CFEM.C.fem]
v___stringlit_6 [definition, in CFEM.C.fem]
v___stringlit_4 [definition, in CFEM.C.fem]
v___stringlit_7 [definition, in CFEM.C.fem]
v___stringlit_8 [definition, in CFEM.C.fem]
v_gauss_wts [definition, in CFEM.C.quadrules]
v_gauss_pts [definition, in CFEM.C.quadrules]
v___stderrp [definition, in CFEM.C.quadrules]
v___stringlit_2 [definition, in CFEM.C.quadrules]
v___stringlit_1 [definition, in CFEM.C.quadrules]
v___stringlit_1 [definition, in CFEM.C.element]
v___stringlit_3 [definition, in CFEM.C.element]
v___stringlit_2 [definition, in CFEM.C.element]
W
WithNaN [section, in CFEM.model]WithNaN.NAN [variable, in CFEM.model]
WithNaN.t [variable, in CFEM.model]
X
xx [definition, in CFEM.shapefloat]x_vmap [definition, in CFEM.shape_accuracy]
x_vmap_list [definition, in CFEM.shape_accuracy]
Y
yy [definition, in CFEM.shapefloat]Z
zeros_of_ortho_p [definition, in CFEM.quadrature]_
_t'9 [definition, in CFEM.C.mesh]_t'8 [definition, in CFEM.C.mesh]
_t'7 [definition, in CFEM.C.mesh]
_t'6 [definition, in CFEM.C.mesh]
_t'5 [definition, in CFEM.C.mesh]
_t'4 [definition, in CFEM.C.mesh]
_t'3 [definition, in CFEM.C.mesh]
_t'2 [definition, in CFEM.C.mesh]
_t'17 [definition, in CFEM.C.mesh]
_t'16 [definition, in CFEM.C.mesh]
_t'15 [definition, in CFEM.C.mesh]
_t'14 [definition, in CFEM.C.mesh]
_t'13 [definition, in CFEM.C.mesh]
_t'12 [definition, in CFEM.C.mesh]
_t'11 [definition, in CFEM.C.mesh]
_t'10 [definition, in CFEM.C.mesh]
_t'1 [definition, in CFEM.C.mesh]
_xref [definition, in CFEM.C.mesh]
_xout [definition, in CFEM.C.mesh]
_x [definition, in CFEM.C.mesh]
_surely_malloc [definition, in CFEM.C.mesh]
_start [definition, in CFEM.C.mesh]
_shapes2dT1 [definition, in CFEM.C.mesh]
_shapes2dS2 [definition, in CFEM.C.mesh]
_shapes2dP2 [definition, in CFEM.C.mesh]
_shapes2dP1 [definition, in CFEM.C.mesh]
_shapes1dP3 [definition, in CFEM.C.mesh]
_shapes1dP2 [definition, in CFEM.C.mesh]
_shapes1dP1 [definition, in CFEM.C.mesh]
_shape [definition, in CFEM.C.mesh]
_printf [definition, in CFEM.C.mesh]
_ny [definition, in CFEM.C.mesh]
_nx1 [definition, in CFEM.C.mesh]
_nx0 [definition, in CFEM.C.mesh]
_nx [definition, in CFEM.C.mesh]
_numnp [definition, in CFEM.C.mesh]
_numelt [definition, in CFEM.C.mesh]
_nshape [definition, in CFEM.C.mesh]
_ney [definition, in CFEM.C.mesh]
_nex [definition, in CFEM.C.mesh]
_nen [definition, in CFEM.C.mesh]
_mesh_to_spatial [definition, in CFEM.C.mesh]
_mesh_t [definition, in CFEM.C.mesh]
_mesh_shapes [definition, in CFEM.C.mesh]
_mesh_print_nodes [definition, in CFEM.C.mesh]
_mesh_print_elt [definition, in CFEM.C.mesh]
_mesh_print [definition, in CFEM.C.mesh]
_mesh_malloc [definition, in CFEM.C.mesh]
_mesh_free [definition, in CFEM.C.mesh]
_mesh_create1d [definition, in CFEM.C.mesh]
_mesh_block2d_T1 [definition, in CFEM.C.mesh]
_mesh_block2d_S2 [definition, in CFEM.C.mesh]
_mesh_block2d_P2 [definition, in CFEM.C.mesh]
_mesh_block2d_P1 [definition, in CFEM.C.mesh]
_mesh [definition, in CFEM.C.mesh]
_memcpy [definition, in CFEM.C.mesh]
_main [definition, in CFEM.C.mesh]
_k__2 [definition, in CFEM.C.mesh]
_k__1 [definition, in CFEM.C.mesh]
_k [definition, in CFEM.C.mesh]
_j__2 [definition, in CFEM.C.mesh]
_j__1 [definition, in CFEM.C.mesh]
_j [definition, in CFEM.C.mesh]
_iy__1 [definition, in CFEM.C.mesh]
_iy [definition, in CFEM.C.mesh]
_ix__3 [definition, in CFEM.C.mesh]
_ix__2 [definition, in CFEM.C.mesh]
_ix__1 [definition, in CFEM.C.mesh]
_ix [definition, in CFEM.C.mesh]
_ipiv [definition, in CFEM.C.mesh]
_int_calloc [definition, in CFEM.C.mesh]
_i_ww [definition, in CFEM.C.mesh]
_i_sw [definition, in CFEM.C.mesh]
_i_nw [definition, in CFEM.C.mesh]
_i__1 [definition, in CFEM.C.mesh]
_i [definition, in CFEM.C.mesh]
_free [definition, in CFEM.C.mesh]
_eltid [definition, in CFEM.C.mesh]
_elt [definition, in CFEM.C.mesh]
_double_clear [definition, in CFEM.C.mesh]
_double_calloc [definition, in CFEM.C.mesh]
_densematn_lusolveT [definition, in CFEM.C.mesh]
_densematn_lujac [definition, in CFEM.C.mesh]
_densematn_lufactor [definition, in CFEM.C.mesh]
_densematn_clear [definition, in CFEM.C.mesh]
_degree [definition, in CFEM.C.mesh]
_dNk [definition, in CFEM.C.mesh]
_dN [definition, in CFEM.C.mesh]
_d [definition, in CFEM.C.mesh]
_b [definition, in CFEM.C.mesh]
_abort [definition, in CFEM.C.mesh]
_a [definition, in CFEM.C.mesh]
___stringlit_9 [definition, in CFEM.C.mesh]
___stringlit_8 [definition, in CFEM.C.mesh]
___stringlit_7 [definition, in CFEM.C.mesh]
___stringlit_6 [definition, in CFEM.C.mesh]
___stringlit_5 [definition, in CFEM.C.mesh]
___stringlit_4 [definition, in CFEM.C.mesh]
___stringlit_3 [definition, in CFEM.C.mesh]
___stringlit_2 [definition, in CFEM.C.mesh]
___stringlit_12 [definition, in CFEM.C.mesh]
___stringlit_11 [definition, in CFEM.C.mesh]
___stringlit_10 [definition, in CFEM.C.mesh]
___stringlit_1 [definition, in CFEM.C.mesh]
___compcert_va_int64 [definition, in CFEM.C.mesh]
___compcert_va_int32 [definition, in CFEM.C.mesh]
___compcert_va_float64 [definition, in CFEM.C.mesh]
___compcert_va_composite [definition, in CFEM.C.mesh]
___compcert_i64_utof [definition, in CFEM.C.mesh]
___compcert_i64_utod [definition, in CFEM.C.mesh]
___compcert_i64_umulh [definition, in CFEM.C.mesh]
___compcert_i64_umod [definition, in CFEM.C.mesh]
___compcert_i64_udiv [definition, in CFEM.C.mesh]
___compcert_i64_stof [definition, in CFEM.C.mesh]
___compcert_i64_stod [definition, in CFEM.C.mesh]
___compcert_i64_smulh [definition, in CFEM.C.mesh]
___compcert_i64_smod [definition, in CFEM.C.mesh]
___compcert_i64_shr [definition, in CFEM.C.mesh]
___compcert_i64_shl [definition, in CFEM.C.mesh]
___compcert_i64_sdiv [definition, in CFEM.C.mesh]
___compcert_i64_sar [definition, in CFEM.C.mesh]
___compcert_i64_dtou [definition, in CFEM.C.mesh]
___compcert_i64_dtos [definition, in CFEM.C.mesh]
___builtin_va_start [definition, in CFEM.C.mesh]
___builtin_va_end [definition, in CFEM.C.mesh]
___builtin_va_copy [definition, in CFEM.C.mesh]
___builtin_va_arg [definition, in CFEM.C.mesh]
___builtin_unreachable [definition, in CFEM.C.mesh]
___builtin_sqrt [definition, in CFEM.C.mesh]
___builtin_sel [definition, in CFEM.C.mesh]
___builtin_memcpy_aligned [definition, in CFEM.C.mesh]
___builtin_membar [definition, in CFEM.C.mesh]
___builtin_fsqrt [definition, in CFEM.C.mesh]
___builtin_fnmsub [definition, in CFEM.C.mesh]
___builtin_fnmadd [definition, in CFEM.C.mesh]
___builtin_fmsub [definition, in CFEM.C.mesh]
___builtin_fmin [definition, in CFEM.C.mesh]
___builtin_fmax [definition, in CFEM.C.mesh]
___builtin_fmadd [definition, in CFEM.C.mesh]
___builtin_fabsf [definition, in CFEM.C.mesh]
___builtin_fabs [definition, in CFEM.C.mesh]
___builtin_expect [definition, in CFEM.C.mesh]
___builtin_debug [definition, in CFEM.C.mesh]
___builtin_ctzll [definition, in CFEM.C.mesh]
___builtin_ctzl [definition, in CFEM.C.mesh]
___builtin_ctz [definition, in CFEM.C.mesh]
___builtin_clzll [definition, in CFEM.C.mesh]
___builtin_clzl [definition, in CFEM.C.mesh]
___builtin_clz [definition, in CFEM.C.mesh]
___builtin_clsll [definition, in CFEM.C.mesh]
___builtin_clsl [definition, in CFEM.C.mesh]
___builtin_cls [definition, in CFEM.C.mesh]
___builtin_bswap64 [definition, in CFEM.C.mesh]
___builtin_bswap32 [definition, in CFEM.C.mesh]
___builtin_bswap16 [definition, in CFEM.C.mesh]
___builtin_bswap [definition, in CFEM.C.mesh]
___builtin_annot_intval [definition, in CFEM.C.mesh]
___builtin_annot [definition, in CFEM.C.mesh]
_Xi [definition, in CFEM.C.mesh]
_X [definition, in CFEM.C.mesh]
_N [definition, in CFEM.C.mesh]
_J [definition, in CFEM.C.mesh]
_t'9 [definition, in CFEM.C.fem]
_t'8 [definition, in CFEM.C.fem]
_t'7 [definition, in CFEM.C.fem]
_t'6 [definition, in CFEM.C.fem]
_t'5 [definition, in CFEM.C.fem]
_t'4 [definition, in CFEM.C.fem]
_t'3 [definition, in CFEM.C.fem]
_t'24 [definition, in CFEM.C.fem]
_t'23 [definition, in CFEM.C.fem]
_t'22 [definition, in CFEM.C.fem]
_t'21 [definition, in CFEM.C.fem]
_t'20 [definition, in CFEM.C.fem]
_t'2 [definition, in CFEM.C.fem]
_t'19 [definition, in CFEM.C.fem]
_t'18 [definition, in CFEM.C.fem]
_t'17 [definition, in CFEM.C.fem]
_t'16 [definition, in CFEM.C.fem]
_t'15 [definition, in CFEM.C.fem]
_t'14 [definition, in CFEM.C.fem]
_t'13 [definition, in CFEM.C.fem]
_t'12 [definition, in CFEM.C.fem]
_t'11 [definition, in CFEM.C.fem]
_t'10 [definition, in CFEM.C.fem]
_t'1 [definition, in CFEM.C.fem]
_ve [definition, in CFEM.C.fem]
_v [definition, in CFEM.C.fem]
_surely_malloc [definition, in CFEM.C.fem]
_shape [definition, in CFEM.C.fem]
_printf [definition, in CFEM.C.fem]
_print [definition, in CFEM.C.fem]
_p [definition, in CFEM.C.fem]
_numnp [definition, in CFEM.C.fem]
_numelt [definition, in CFEM.C.fem]
_norm2 [definition, in CFEM.C.fem]
_next_id [definition, in CFEM.C.fem]
_nen [definition, in CFEM.C.fem]
_ne [definition, in CFEM.C.fem]
_ndof [definition, in CFEM.C.fem]
_nactive [definition, in CFEM.C.fem]
_n [definition, in CFEM.C.fem]
_mesh_t [definition, in CFEM.C.fem]
_mesh_print_elt [definition, in CFEM.C.fem]
_mesh_free [definition, in CFEM.C.fem]
_mesh [definition, in CFEM.C.fem]
_matrix_t [definition, in CFEM.C.fem]
_matrix_data_t [definition, in CFEM.C.fem]
_matrix_clear [definition, in CFEM.C.fem]
_matrix_add [definition, in CFEM.C.fem]
_main [definition, in CFEM.C.fem]
_m [definition, in CFEM.C.fem]
_je [definition, in CFEM.C.fem]
_j__5 [definition, in CFEM.C.fem]
_j__4 [definition, in CFEM.C.fem]
_j__3 [definition, in CFEM.C.fem]
_j__2 [definition, in CFEM.C.fem]
_j__1 [definition, in CFEM.C.fem]
_j [definition, in CFEM.C.fem]
_int_calloc [definition, in CFEM.C.fem]
_init_matrix_dense [definition, in CFEM.C.fem]
_init_matrix_band [definition, in CFEM.C.fem]
_ie [definition, in CFEM.C.fem]
_ids [definition, in CFEM.C.fem]
_id [definition, in CFEM.C.fem]
_i [definition, in CFEM.C.fem]
_free [definition, in CFEM.C.fem]
_fem_update_U [definition, in CFEM.C.fem]
_fem_t [definition, in CFEM.C.fem]
_fem_set_load [definition, in CFEM.C.fem]
_fem_print [definition, in CFEM.C.fem]
_fem_malloc [definition, in CFEM.C.fem]
_fem_free [definition, in CFEM.C.fem]
_fem_assign_ids [definition, in CFEM.C.fem]
_fem_assemble_dense [definition, in CFEM.C.fem]
_fem_assemble_band [definition, in CFEM.C.fem]
_fem_assemble [definition, in CFEM.C.fem]
_fe [definition, in CFEM.C.fem]
_f [definition, in CFEM.C.fem]
_etype [definition, in CFEM.C.fem]
_emat [definition, in CFEM.C.fem]
_elt [definition, in CFEM.C.fem]
_element_t [definition, in CFEM.C.fem]
_element_dR [definition, in CFEM.C.fem]
_du_red [definition, in CFEM.C.fem]
_double_clear [definition, in CFEM.C.fem]
_double_calloc [definition, in CFEM.C.fem]
_densematn_get [definition, in CFEM.C.fem]
_densemat_t [definition, in CFEM.C.fem]
_data [definition, in CFEM.C.fem]
_dR [definition, in CFEM.C.fem]
_d [definition, in CFEM.C.fem]
_clear [definition, in CFEM.C.fem]
_bandmat_t [definition, in CFEM.C.fem]
_b [definition, in CFEM.C.fem]
_assemble_vector [definition, in CFEM.C.fem]
_assemble_matrix [definition, in CFEM.C.fem]
_add [definition, in CFEM.C.fem]
___stringlit_9 [definition, in CFEM.C.fem]
___stringlit_8 [definition, in CFEM.C.fem]
___stringlit_7 [definition, in CFEM.C.fem]
___stringlit_6 [definition, in CFEM.C.fem]
___stringlit_5 [definition, in CFEM.C.fem]
___stringlit_4 [definition, in CFEM.C.fem]
___stringlit_3 [definition, in CFEM.C.fem]
___stringlit_2 [definition, in CFEM.C.fem]
___stringlit_1 [definition, in CFEM.C.fem]
___compcert_va_int64 [definition, in CFEM.C.fem]
___compcert_va_int32 [definition, in CFEM.C.fem]
___compcert_va_float64 [definition, in CFEM.C.fem]
___compcert_va_composite [definition, in CFEM.C.fem]
___compcert_i64_utof [definition, in CFEM.C.fem]
___compcert_i64_utod [definition, in CFEM.C.fem]
___compcert_i64_umulh [definition, in CFEM.C.fem]
___compcert_i64_umod [definition, in CFEM.C.fem]
___compcert_i64_udiv [definition, in CFEM.C.fem]
___compcert_i64_stof [definition, in CFEM.C.fem]
___compcert_i64_stod [definition, in CFEM.C.fem]
___compcert_i64_smulh [definition, in CFEM.C.fem]
___compcert_i64_smod [definition, in CFEM.C.fem]
___compcert_i64_shr [definition, in CFEM.C.fem]
___compcert_i64_shl [definition, in CFEM.C.fem]
___compcert_i64_sdiv [definition, in CFEM.C.fem]
___compcert_i64_sar [definition, in CFEM.C.fem]
___compcert_i64_dtou [definition, in CFEM.C.fem]
___compcert_i64_dtos [definition, in CFEM.C.fem]
___builtin_va_start [definition, in CFEM.C.fem]
___builtin_va_end [definition, in CFEM.C.fem]
___builtin_va_copy [definition, in CFEM.C.fem]
___builtin_va_arg [definition, in CFEM.C.fem]
___builtin_unreachable [definition, in CFEM.C.fem]
___builtin_sqrt [definition, in CFEM.C.fem]
___builtin_sel [definition, in CFEM.C.fem]
___builtin_memcpy_aligned [definition, in CFEM.C.fem]
___builtin_membar [definition, in CFEM.C.fem]
___builtin_fsqrt [definition, in CFEM.C.fem]
___builtin_fnmsub [definition, in CFEM.C.fem]
___builtin_fnmadd [definition, in CFEM.C.fem]
___builtin_fmsub [definition, in CFEM.C.fem]
___builtin_fmin [definition, in CFEM.C.fem]
___builtin_fmax [definition, in CFEM.C.fem]
___builtin_fmadd [definition, in CFEM.C.fem]
___builtin_fabsf [definition, in CFEM.C.fem]
___builtin_fabs [definition, in CFEM.C.fem]
___builtin_expect [definition, in CFEM.C.fem]
___builtin_debug [definition, in CFEM.C.fem]
___builtin_ctzll [definition, in CFEM.C.fem]
___builtin_ctzl [definition, in CFEM.C.fem]
___builtin_ctz [definition, in CFEM.C.fem]
___builtin_clzll [definition, in CFEM.C.fem]
___builtin_clzl [definition, in CFEM.C.fem]
___builtin_clz [definition, in CFEM.C.fem]
___builtin_clsll [definition, in CFEM.C.fem]
___builtin_clsl [definition, in CFEM.C.fem]
___builtin_cls [definition, in CFEM.C.fem]
___builtin_bswap64 [definition, in CFEM.C.fem]
___builtin_bswap32 [definition, in CFEM.C.fem]
___builtin_bswap16 [definition, in CFEM.C.fem]
___builtin_bswap [definition, in CFEM.C.fem]
___builtin_annot_intval [definition, in CFEM.C.fem]
___builtin_annot [definition, in CFEM.C.fem]
_X [definition, in CFEM.C.fem]
_U [definition, in CFEM.C.fem]
_Re [definition, in CFEM.C.fem]
_R [definition, in CFEM.C.fem]
_Kmatrix [definition, in CFEM.C.fem]
_Ke [definition, in CFEM.C.fem]
_K [definition, in CFEM.C.fem]
_F [definition, in CFEM.C.fem]
_t'3 [definition, in CFEM.C.quadrules]
_t'2 [definition, in CFEM.C.quadrules]
_t'1 [definition, in CFEM.C.quadrules]
_xi [definition, in CFEM.C.quadrules]
_npts [definition, in CFEM.C.quadrules]
_main [definition, in CFEM.C.quadrules]
_iy [definition, in CFEM.C.quadrules]
_ix [definition, in CFEM.C.quadrules]
_i [definition, in CFEM.C.quadrules]
_hughes_weight [definition, in CFEM.C.quadrules]
_hughes_point [definition, in CFEM.C.quadrules]
_gauss_wts [definition, in CFEM.C.quadrules]
_gauss_weight [definition, in CFEM.C.quadrules]
_gauss_pts [definition, in CFEM.C.quadrules]
_gauss_point [definition, in CFEM.C.quadrules]
_gauss2d_weight [definition, in CFEM.C.quadrules]
_gauss2d_point [definition, in CFEM.C.quadrules]
_gauss2d_npoint1d [definition, in CFEM.C.quadrules]
_fprintf [definition, in CFEM.C.quadrules]
_exit [definition, in CFEM.C.quadrules]
_d [definition, in CFEM.C.quadrules]
__write [definition, in CFEM.C.quadrules]
__w [definition, in CFEM.C.quadrules]
__ur [definition, in CFEM.C.quadrules]
__ubuf [definition, in CFEM.C.quadrules]
__ub [definition, in CFEM.C.quadrules]
__size [definition, in CFEM.C.quadrules]
__seek [definition, in CFEM.C.quadrules]
__read [definition, in CFEM.C.quadrules]
__r [definition, in CFEM.C.quadrules]
__p [definition, in CFEM.C.quadrules]
__offset [definition, in CFEM.C.quadrules]
__nbuf [definition, in CFEM.C.quadrules]
__lbfsize [definition, in CFEM.C.quadrules]
__lb [definition, in CFEM.C.quadrules]
__flags [definition, in CFEM.C.quadrules]
__file [definition, in CFEM.C.quadrules]
__extra [definition, in CFEM.C.quadrules]
__cookie [definition, in CFEM.C.quadrules]
__close [definition, in CFEM.C.quadrules]
__blksize [definition, in CFEM.C.quadrules]
__bf [definition, in CFEM.C.quadrules]
__base [definition, in CFEM.C.quadrules]
___stringlit_2 [definition, in CFEM.C.quadrules]
___stringlit_1 [definition, in CFEM.C.quadrules]
___stderrp [definition, in CFEM.C.quadrules]
___sbuf [definition, in CFEM.C.quadrules]
___sFILEX [definition, in CFEM.C.quadrules]
___sFILE [definition, in CFEM.C.quadrules]
___compcert_va_int64 [definition, in CFEM.C.quadrules]
___compcert_va_int32 [definition, in CFEM.C.quadrules]
___compcert_va_float64 [definition, in CFEM.C.quadrules]
___compcert_va_composite [definition, in CFEM.C.quadrules]
___compcert_i64_utof [definition, in CFEM.C.quadrules]
___compcert_i64_utod [definition, in CFEM.C.quadrules]
___compcert_i64_umulh [definition, in CFEM.C.quadrules]
___compcert_i64_umod [definition, in CFEM.C.quadrules]
___compcert_i64_udiv [definition, in CFEM.C.quadrules]
___compcert_i64_stof [definition, in CFEM.C.quadrules]
___compcert_i64_stod [definition, in CFEM.C.quadrules]
___compcert_i64_smulh [definition, in CFEM.C.quadrules]
___compcert_i64_smod [definition, in CFEM.C.quadrules]
___compcert_i64_shr [definition, in CFEM.C.quadrules]
___compcert_i64_shl [definition, in CFEM.C.quadrules]
___compcert_i64_sdiv [definition, in CFEM.C.quadrules]
___compcert_i64_sar [definition, in CFEM.C.quadrules]
___compcert_i64_dtou [definition, in CFEM.C.quadrules]
___compcert_i64_dtos [definition, in CFEM.C.quadrules]
___builtin_va_start [definition, in CFEM.C.quadrules]
___builtin_va_end [definition, in CFEM.C.quadrules]
___builtin_va_copy [definition, in CFEM.C.quadrules]
___builtin_va_arg [definition, in CFEM.C.quadrules]
___builtin_unreachable [definition, in CFEM.C.quadrules]
___builtin_sqrt [definition, in CFEM.C.quadrules]
___builtin_sel [definition, in CFEM.C.quadrules]
___builtin_memcpy_aligned [definition, in CFEM.C.quadrules]
___builtin_membar [definition, in CFEM.C.quadrules]
___builtin_fsqrt [definition, in CFEM.C.quadrules]
___builtin_fnmsub [definition, in CFEM.C.quadrules]
___builtin_fnmadd [definition, in CFEM.C.quadrules]
___builtin_fmsub [definition, in CFEM.C.quadrules]
___builtin_fmin [definition, in CFEM.C.quadrules]
___builtin_fmax [definition, in CFEM.C.quadrules]
___builtin_fmadd [definition, in CFEM.C.quadrules]
___builtin_fabsf [definition, in CFEM.C.quadrules]
___builtin_fabs [definition, in CFEM.C.quadrules]
___builtin_expect [definition, in CFEM.C.quadrules]
___builtin_debug [definition, in CFEM.C.quadrules]
___builtin_ctzll [definition, in CFEM.C.quadrules]
___builtin_ctzl [definition, in CFEM.C.quadrules]
___builtin_ctz [definition, in CFEM.C.quadrules]
___builtin_clzll [definition, in CFEM.C.quadrules]
___builtin_clzl [definition, in CFEM.C.quadrules]
___builtin_clz [definition, in CFEM.C.quadrules]
___builtin_clsll [definition, in CFEM.C.quadrules]
___builtin_clsl [definition, in CFEM.C.quadrules]
___builtin_cls [definition, in CFEM.C.quadrules]
___builtin_bswap64 [definition, in CFEM.C.quadrules]
___builtin_bswap32 [definition, in CFEM.C.quadrules]
___builtin_bswap16 [definition, in CFEM.C.quadrules]
___builtin_bswap [definition, in CFEM.C.quadrules]
___builtin_annot_intval [definition, in CFEM.C.quadrules]
___builtin_annot [definition, in CFEM.C.quadrules]
_t'9 [definition, in CFEM.C.element]
_t'8 [definition, in CFEM.C.element]
_t'7 [definition, in CFEM.C.element]
_t'6 [definition, in CFEM.C.element]
_t'5 [definition, in CFEM.C.element]
_t'4 [definition, in CFEM.C.element]
_t'33 [definition, in CFEM.C.element]
_t'32 [definition, in CFEM.C.element]
_t'31 [definition, in CFEM.C.element]
_t'30 [definition, in CFEM.C.element]
_t'3 [definition, in CFEM.C.element]
_t'29 [definition, in CFEM.C.element]
_t'28 [definition, in CFEM.C.element]
_t'27 [definition, in CFEM.C.element]
_t'26 [definition, in CFEM.C.element]
_t'25 [definition, in CFEM.C.element]
_t'24 [definition, in CFEM.C.element]
_t'23 [definition, in CFEM.C.element]
_t'22 [definition, in CFEM.C.element]
_t'21 [definition, in CFEM.C.element]
_t'20 [definition, in CFEM.C.element]
_t'2 [definition, in CFEM.C.element]
_t'19 [definition, in CFEM.C.element]
_t'18 [definition, in CFEM.C.element]
_t'17 [definition, in CFEM.C.element]
_t'16 [definition, in CFEM.C.element]
_t'15 [definition, in CFEM.C.element]
_t'14 [definition, in CFEM.C.element]
_t'13 [definition, in CFEM.C.element]
_t'12 [definition, in CFEM.C.element]
_t'11 [definition, in CFEM.C.element]
_t'10 [definition, in CFEM.C.element]
_t'1 [definition, in CFEM.C.element]
_x [definition, in CFEM.C.element]
_wt [definition, in CFEM.C.element]
_surely_malloc [definition, in CFEM.C.element]
_simple_elt_free [definition, in CFEM.C.element]
_shapes2dT1 [definition, in CFEM.C.element]
_shapes2dS2 [definition, in CFEM.C.element]
_shapes2dP2 [definition, in CFEM.C.element]
_shapes2dP1 [definition, in CFEM.C.element]
_shapefn [definition, in CFEM.C.element]
_shape [definition, in CFEM.C.element]
_quad_wt [definition, in CFEM.C.element]
_quad_pt [definition, in CFEM.C.element]
_printf [definition, in CFEM.C.element]
_poisson_elt_t [definition, in CFEM.C.element]
_poisson2d_elt_dR [definition, in CFEM.C.element]
_poisson1d_elt_dR [definition, in CFEM.C.element]
_p [definition, in CFEM.C.element]
_numnp [definition, in CFEM.C.element]
_numelt [definition, in CFEM.C.element]
_nquad [definition, in CFEM.C.element]
_nen [definition, in CFEM.C.element]
_ndof [definition, in CFEM.C.element]
_nactive [definition, in CFEM.C.element]
_mesh_t [definition, in CFEM.C.element]
_mesh_shapes [definition, in CFEM.C.element]
_mesh [definition, in CFEM.C.element]
_malloc_poisson2d_element [definition, in CFEM.C.element]
_malloc_poisson1d_element [definition, in CFEM.C.element]
_main [definition, in CFEM.C.element]
_le [definition, in CFEM.C.element]
_k [definition, in CFEM.C.element]
_j__1 [definition, in CFEM.C.element]
_j [definition, in CFEM.C.element]
_id [definition, in CFEM.C.element]
_i__1 [definition, in CFEM.C.element]
_i [definition, in CFEM.C.element]
_hughes_weight [definition, in CFEM.C.element]
_hughes_point [definition, in CFEM.C.element]
_get_quad2d [definition, in CFEM.C.element]
_gauss_weight [definition, in CFEM.C.element]
_gauss_point [definition, in CFEM.C.element]
_gauss2d_weight [definition, in CFEM.C.element]
_gauss2d_point [definition, in CFEM.C.element]
_fx [definition, in CFEM.C.element]
_free [definition, in CFEM.C.element]
_fem_t [definition, in CFEM.C.element]
_fe [definition, in CFEM.C.element]
_etype [definition, in CFEM.C.element]
_eltid [definition, in CFEM.C.element]
_elt [definition, in CFEM.C.element]
_element_t [definition, in CFEM.C.element]
_element_free [definition, in CFEM.C.element]
_element_dR [definition, in CFEM.C.element]
_e [definition, in CFEM.C.element]
_du [definition, in CFEM.C.element]
_double_clear [definition, in CFEM.C.element]
_densematn_clear [definition, in CFEM.C.element]
_degree [definition, in CFEM.C.element]
_dR [definition, in CFEM.C.element]
_dN [definition, in CFEM.C.element]
_d [definition, in CFEM.C.element]
_abort [definition, in CFEM.C.element]
___stringlit_3 [definition, in CFEM.C.element]
___stringlit_2 [definition, in CFEM.C.element]
___stringlit_1 [definition, in CFEM.C.element]
___compcert_va_int64 [definition, in CFEM.C.element]
___compcert_va_int32 [definition, in CFEM.C.element]
___compcert_va_float64 [definition, in CFEM.C.element]
___compcert_va_composite [definition, in CFEM.C.element]
___compcert_i64_utof [definition, in CFEM.C.element]
___compcert_i64_utod [definition, in CFEM.C.element]
___compcert_i64_umulh [definition, in CFEM.C.element]
___compcert_i64_umod [definition, in CFEM.C.element]
___compcert_i64_udiv [definition, in CFEM.C.element]
___compcert_i64_stof [definition, in CFEM.C.element]
___compcert_i64_stod [definition, in CFEM.C.element]
___compcert_i64_smulh [definition, in CFEM.C.element]
___compcert_i64_smod [definition, in CFEM.C.element]
___compcert_i64_shr [definition, in CFEM.C.element]
___compcert_i64_shl [definition, in CFEM.C.element]
___compcert_i64_sdiv [definition, in CFEM.C.element]
___compcert_i64_sar [definition, in CFEM.C.element]
___compcert_i64_dtou [definition, in CFEM.C.element]
___compcert_i64_dtos [definition, in CFEM.C.element]
___builtin_va_start [definition, in CFEM.C.element]
___builtin_va_end [definition, in CFEM.C.element]
___builtin_va_copy [definition, in CFEM.C.element]
___builtin_va_arg [definition, in CFEM.C.element]
___builtin_unreachable [definition, in CFEM.C.element]
___builtin_sqrt [definition, in CFEM.C.element]
___builtin_sel [definition, in CFEM.C.element]
___builtin_memcpy_aligned [definition, in CFEM.C.element]
___builtin_membar [definition, in CFEM.C.element]
___builtin_fsqrt [definition, in CFEM.C.element]
___builtin_fnmsub [definition, in CFEM.C.element]
___builtin_fnmadd [definition, in CFEM.C.element]
___builtin_fmsub [definition, in CFEM.C.element]
___builtin_fmin [definition, in CFEM.C.element]
___builtin_fmax [definition, in CFEM.C.element]
___builtin_fmadd [definition, in CFEM.C.element]
___builtin_fabsf [definition, in CFEM.C.element]
___builtin_fabs [definition, in CFEM.C.element]
___builtin_expect [definition, in CFEM.C.element]
___builtin_debug [definition, in CFEM.C.element]
___builtin_ctzll [definition, in CFEM.C.element]
___builtin_ctzl [definition, in CFEM.C.element]
___builtin_ctz [definition, in CFEM.C.element]
___builtin_clzll [definition, in CFEM.C.element]
___builtin_clzl [definition, in CFEM.C.element]
___builtin_clz [definition, in CFEM.C.element]
___builtin_clsll [definition, in CFEM.C.element]
___builtin_clsl [definition, in CFEM.C.element]
___builtin_cls [definition, in CFEM.C.element]
___builtin_bswap64 [definition, in CFEM.C.element]
___builtin_bswap32 [definition, in CFEM.C.element]
___builtin_bswap16 [definition, in CFEM.C.element]
___builtin_bswap [definition, in CFEM.C.element]
___builtin_annot_intval [definition, in CFEM.C.element]
___builtin_annot [definition, in CFEM.C.element]
_X [definition, in CFEM.C.element]
_U [definition, in CFEM.C.element]
_Re [definition, in CFEM.C.element]
_N [definition, in CFEM.C.element]
_Ke [definition, in CFEM.C.element]
_J [definition, in CFEM.C.element]
_F [definition, in CFEM.C.element]
_t'9 [definition, in CFEM.C.shapes]
_t'8 [definition, in CFEM.C.shapes]
_t'7 [definition, in CFEM.C.shapes]
_t'6 [definition, in CFEM.C.shapes]
_t'54 [definition, in CFEM.C.shapes]
_t'53 [definition, in CFEM.C.shapes]
_t'52 [definition, in CFEM.C.shapes]
_t'51 [definition, in CFEM.C.shapes]
_t'50 [definition, in CFEM.C.shapes]
_t'5 [definition, in CFEM.C.shapes]
_t'49 [definition, in CFEM.C.shapes]
_t'48 [definition, in CFEM.C.shapes]
_t'47 [definition, in CFEM.C.shapes]
_t'46 [definition, in CFEM.C.shapes]
_t'45 [definition, in CFEM.C.shapes]
_t'44 [definition, in CFEM.C.shapes]
_t'43 [definition, in CFEM.C.shapes]
_t'42 [definition, in CFEM.C.shapes]
_t'41 [definition, in CFEM.C.shapes]
_t'40 [definition, in CFEM.C.shapes]
_t'4 [definition, in CFEM.C.shapes]
_t'39 [definition, in CFEM.C.shapes]
_t'38 [definition, in CFEM.C.shapes]
_t'37 [definition, in CFEM.C.shapes]
_t'36 [definition, in CFEM.C.shapes]
_t'35 [definition, in CFEM.C.shapes]
_t'34 [definition, in CFEM.C.shapes]
_t'33 [definition, in CFEM.C.shapes]
_t'32 [definition, in CFEM.C.shapes]
_t'31 [definition, in CFEM.C.shapes]
_t'30 [definition, in CFEM.C.shapes]
_t'3 [definition, in CFEM.C.shapes]
_t'29 [definition, in CFEM.C.shapes]
_t'28 [definition, in CFEM.C.shapes]
_t'27 [definition, in CFEM.C.shapes]
_t'26 [definition, in CFEM.C.shapes]
_t'25 [definition, in CFEM.C.shapes]
_t'24 [definition, in CFEM.C.shapes]
_t'23 [definition, in CFEM.C.shapes]
_t'22 [definition, in CFEM.C.shapes]
_t'21 [definition, in CFEM.C.shapes]
_t'20 [definition, in CFEM.C.shapes]
_t'2 [definition, in CFEM.C.shapes]
_t'19 [definition, in CFEM.C.shapes]
_t'18 [definition, in CFEM.C.shapes]
_t'17 [definition, in CFEM.C.shapes]
_t'16 [definition, in CFEM.C.shapes]
_t'15 [definition, in CFEM.C.shapes]
_t'14 [definition, in CFEM.C.shapes]
_t'13 [definition, in CFEM.C.shapes]
_t'12 [definition, in CFEM.C.shapes]
_t'11 [definition, in CFEM.C.shapes]
_t'10 [definition, in CFEM.C.shapes]
_t'1 [definition, in CFEM.C.shapes]
_xx [definition, in CFEM.C.shapes]
_x [definition, in CFEM.C.shapes]
_shapes2dT1 [definition, in CFEM.C.shapes]
_shapes2dS2 [definition, in CFEM.C.shapes]
_shapes2dP2 [definition, in CFEM.C.shapes]
_shapes2dP1 [definition, in CFEM.C.shapes]
_shapes1dP3 [definition, in CFEM.C.shapes]
_shapes1dP2 [definition, in CFEM.C.shapes]
_shapes1dP1 [definition, in CFEM.C.shapes]
_main [definition, in CFEM.C.shapes]
_densematn_set [definition, in CFEM.C.shapes]
_densematn_get [definition, in CFEM.C.shapes]
_dNy [definition, in CFEM.C.shapes]
_dNx [definition, in CFEM.C.shapes]
_dN [definition, in CFEM.C.shapes]
___compcert_va_int64 [definition, in CFEM.C.shapes]
___compcert_va_int32 [definition, in CFEM.C.shapes]
___compcert_va_float64 [definition, in CFEM.C.shapes]
___compcert_va_composite [definition, in CFEM.C.shapes]
___compcert_i64_utof [definition, in CFEM.C.shapes]
___compcert_i64_utod [definition, in CFEM.C.shapes]
___compcert_i64_umulh [definition, in CFEM.C.shapes]
___compcert_i64_umod [definition, in CFEM.C.shapes]
___compcert_i64_udiv [definition, in CFEM.C.shapes]
___compcert_i64_stof [definition, in CFEM.C.shapes]
___compcert_i64_stod [definition, in CFEM.C.shapes]
___compcert_i64_smulh [definition, in CFEM.C.shapes]
___compcert_i64_smod [definition, in CFEM.C.shapes]
___compcert_i64_shr [definition, in CFEM.C.shapes]
___compcert_i64_shl [definition, in CFEM.C.shapes]
___compcert_i64_sdiv [definition, in CFEM.C.shapes]
___compcert_i64_sar [definition, in CFEM.C.shapes]
___compcert_i64_dtou [definition, in CFEM.C.shapes]
___compcert_i64_dtos [definition, in CFEM.C.shapes]
___builtin_va_start [definition, in CFEM.C.shapes]
___builtin_va_end [definition, in CFEM.C.shapes]
___builtin_va_copy [definition, in CFEM.C.shapes]
___builtin_va_arg [definition, in CFEM.C.shapes]
___builtin_unreachable [definition, in CFEM.C.shapes]
___builtin_sqrt [definition, in CFEM.C.shapes]
___builtin_sel [definition, in CFEM.C.shapes]
___builtin_memcpy_aligned [definition, in CFEM.C.shapes]
___builtin_membar [definition, in CFEM.C.shapes]
___builtin_fsqrt [definition, in CFEM.C.shapes]
___builtin_fnmsub [definition, in CFEM.C.shapes]
___builtin_fnmadd [definition, in CFEM.C.shapes]
___builtin_fmsub [definition, in CFEM.C.shapes]
___builtin_fmin [definition, in CFEM.C.shapes]
___builtin_fmax [definition, in CFEM.C.shapes]
___builtin_fmadd [definition, in CFEM.C.shapes]
___builtin_fabsf [definition, in CFEM.C.shapes]
___builtin_fabs [definition, in CFEM.C.shapes]
___builtin_expect [definition, in CFEM.C.shapes]
___builtin_debug [definition, in CFEM.C.shapes]
___builtin_ctzll [definition, in CFEM.C.shapes]
___builtin_ctzl [definition, in CFEM.C.shapes]
___builtin_ctz [definition, in CFEM.C.shapes]
___builtin_clzll [definition, in CFEM.C.shapes]
___builtin_clzl [definition, in CFEM.C.shapes]
___builtin_clz [definition, in CFEM.C.shapes]
___builtin_clsll [definition, in CFEM.C.shapes]
___builtin_clsl [definition, in CFEM.C.shapes]
___builtin_cls [definition, in CFEM.C.shapes]
___builtin_bswap64 [definition, in CFEM.C.shapes]
___builtin_bswap32 [definition, in CFEM.C.shapes]
___builtin_bswap16 [definition, in CFEM.C.shapes]
___builtin_bswap [definition, in CFEM.C.shapes]
___builtin_annot_intval [definition, in CFEM.C.shapes]
___builtin_annot [definition, in CFEM.C.shapes]
_Ny [definition, in CFEM.C.shapes]
_Nx [definition, in CFEM.C.shapes]
_N [definition, in CFEM.C.shapes]
_t'3 [definition, in CFEM.C.matrix]
_t'2 [definition, in CFEM.C.matrix]
_t'1 [definition, in CFEM.C.matrix]
_x [definition, in CFEM.C.matrix]
_sqrt [definition, in CFEM.C.matrix]
_print [definition, in CFEM.C.matrix]
_p [definition, in CFEM.C.matrix]
_norm2 [definition, in CFEM.C.matrix]
_n [definition, in CFEM.C.matrix]
_matrix_t [definition, in CFEM.C.matrix]
_matrix_print [definition, in CFEM.C.matrix]
_matrix_norm2 [definition, in CFEM.C.matrix]
_matrix_norm [definition, in CFEM.C.matrix]
_matrix_data_t [definition, in CFEM.C.matrix]
_matrix_clear [definition, in CFEM.C.matrix]
_matrix_add [definition, in CFEM.C.matrix]
_main [definition, in CFEM.C.matrix]
_m [definition, in CFEM.C.matrix]
_j [definition, in CFEM.C.matrix]
_init_matrix_dense [definition, in CFEM.C.matrix]
_init_matrix_band [definition, in CFEM.C.matrix]
_i [definition, in CFEM.C.matrix]
_densemat_t [definition, in CFEM.C.matrix]
_densemat_print [definition, in CFEM.C.matrix]
_densemat_norm2 [definition, in CFEM.C.matrix]
_densemat_clear [definition, in CFEM.C.matrix]
_densemat_addto [definition, in CFEM.C.matrix]
_data [definition, in CFEM.C.matrix]
_clear [definition, in CFEM.C.matrix]
_casted_densemat_print [definition, in CFEM.C.matrix]
_casted_densemat_norm2 [definition, in CFEM.C.matrix]
_casted_densemat_clear [definition, in CFEM.C.matrix]
_casted_densemat_add [definition, in CFEM.C.matrix]
_casted_bandmat_print [definition, in CFEM.C.matrix]
_casted_bandmat_norm2 [definition, in CFEM.C.matrix]
_casted_bandmat_clear [definition, in CFEM.C.matrix]
_casted_bandmat_add [definition, in CFEM.C.matrix]
_bandmat_t [definition, in CFEM.C.matrix]
_bandmat_print [definition, in CFEM.C.matrix]
_bandmat_norm2 [definition, in CFEM.C.matrix]
_bandmat_clear [definition, in CFEM.C.matrix]
_bandmat_addto [definition, in CFEM.C.matrix]
_b [definition, in CFEM.C.matrix]
_add [definition, in CFEM.C.matrix]
___compcert_va_int64 [definition, in CFEM.C.matrix]
___compcert_va_int32 [definition, in CFEM.C.matrix]
___compcert_va_float64 [definition, in CFEM.C.matrix]
___compcert_va_composite [definition, in CFEM.C.matrix]
___compcert_i64_utof [definition, in CFEM.C.matrix]
___compcert_i64_utod [definition, in CFEM.C.matrix]
___compcert_i64_umulh [definition, in CFEM.C.matrix]
___compcert_i64_umod [definition, in CFEM.C.matrix]
___compcert_i64_udiv [definition, in CFEM.C.matrix]
___compcert_i64_stof [definition, in CFEM.C.matrix]
___compcert_i64_stod [definition, in CFEM.C.matrix]
___compcert_i64_smulh [definition, in CFEM.C.matrix]
___compcert_i64_smod [definition, in CFEM.C.matrix]
___compcert_i64_shr [definition, in CFEM.C.matrix]
___compcert_i64_shl [definition, in CFEM.C.matrix]
___compcert_i64_sdiv [definition, in CFEM.C.matrix]
___compcert_i64_sar [definition, in CFEM.C.matrix]
___compcert_i64_dtou [definition, in CFEM.C.matrix]
___compcert_i64_dtos [definition, in CFEM.C.matrix]
___builtin_va_start [definition, in CFEM.C.matrix]
___builtin_va_end [definition, in CFEM.C.matrix]
___builtin_va_copy [definition, in CFEM.C.matrix]
___builtin_va_arg [definition, in CFEM.C.matrix]
___builtin_unreachable [definition, in CFEM.C.matrix]
___builtin_sqrt [definition, in CFEM.C.matrix]
___builtin_sel [definition, in CFEM.C.matrix]
___builtin_memcpy_aligned [definition, in CFEM.C.matrix]
___builtin_membar [definition, in CFEM.C.matrix]
___builtin_fsqrt [definition, in CFEM.C.matrix]
___builtin_fnmsub [definition, in CFEM.C.matrix]
___builtin_fnmadd [definition, in CFEM.C.matrix]
___builtin_fmsub [definition, in CFEM.C.matrix]
___builtin_fmin [definition, in CFEM.C.matrix]
___builtin_fmax [definition, in CFEM.C.matrix]
___builtin_fmadd [definition, in CFEM.C.matrix]
___builtin_fabsf [definition, in CFEM.C.matrix]
___builtin_fabs [definition, in CFEM.C.matrix]
___builtin_expect [definition, in CFEM.C.matrix]
___builtin_debug [definition, in CFEM.C.matrix]
___builtin_ctzll [definition, in CFEM.C.matrix]
___builtin_ctzl [definition, in CFEM.C.matrix]
___builtin_ctz [definition, in CFEM.C.matrix]
___builtin_clzll [definition, in CFEM.C.matrix]
___builtin_clzl [definition, in CFEM.C.matrix]
___builtin_clz [definition, in CFEM.C.matrix]
___builtin_clsll [definition, in CFEM.C.matrix]
___builtin_clsl [definition, in CFEM.C.matrix]
___builtin_cls [definition, in CFEM.C.matrix]
___builtin_bswap64 [definition, in CFEM.C.matrix]
___builtin_bswap32 [definition, in CFEM.C.matrix]
___builtin_bswap16 [definition, in CFEM.C.matrix]
___builtin_bswap [definition, in CFEM.C.matrix]
___builtin_annot_intval [definition, in CFEM.C.matrix]
___builtin_annot [definition, in CFEM.C.matrix]
_A [definition, in CFEM.C.matrix]
Notation Index
L
_ :: _ (iseq_scope) [in CFEM.quadrature]∫ [in CFEM.quadrature]
R
∫ [in CFEM.quadrature]Module Index
B
Bounds [in CFEM.shapefloat]C
ComputableIntegral [in CFEM.quadrature]F
F [in CFEM.C.verif_matrix]F [in CFEM.C.spec_shapes]
F [in CFEM.C.spec_quadrules]
F [in CFEM.C.spec_matrix]
F [in CFEM.C.verif_shapes_base]
FShape [in CFEM.shapefloat]
I
Info [in CFEM.C.mesh]Info [in CFEM.C.fem]
Info [in CFEM.C.quadrules]
Info [in CFEM.C.element]
Info [in CFEM.C.shapes]
Info [in CFEM.C.matrix]
L
Legendre [in CFEM.quadrature]R
Rewriting [in CFEM.quadrature]S
Shape [in CFEM.shape]T
Test1 [in CFEM.matrix_util]Test2 [in CFEM.matrix_util]
Test3 [in CFEM.matrix_util]
Test4 [in CFEM.matrix_util]
Variable Index
C
ComputableIntegral.R.R [in CFEM.quadrature]L
Legendre.R.R [in CFEM.quadrature]P
pointwise_derivable.n [in CFEM.shape]pointwise_derivable.m [in CFEM.shape]
pointwise_derivable.V [in CFEM.shape]
pointwise_derivable.R [in CFEM.shape]
R
Rewriting.R.R [in CFEM.quadrature]R.Integral.a [in CFEM.quadrature]
R.Integral.b [in CFEM.quadrature]
R.Integral.Hab [in CFEM.quadrature]
R.Integral.P.p [in CFEM.quadrature]
R.Integral.P.p_monic [in CFEM.quadrature]
R.Integral.P.p_degree [in CFEM.quadrature]
R.Integral.Quadrature.n [in CFEM.quadrature]
R.Integral.Quadrature.roots [in CFEM.quadrature]
R.Integral.w [in CFEM.quadrature]
R.Integral.wpos [in CFEM.quadrature]
R.R [in CFEM.quadrature]
S
Shape.S.R [in CFEM.shape]S.R [in CFEM.shape]
S.R [in CFEM.shape]
S.R [in CFEM.shape]
S.R [in CFEM.shape]
T
Test3.S.R [in CFEM.matrix_util]W
WithNaN.NAN [in CFEM.model]WithNaN.t [in CFEM.model]
Library Index
E
elementF
femM
matrixmatrix_util
mesh
model
N
nonexpansiveQ
quadraturequadrules
S
shapeshapefloat
shapes
shape_accuracy
spec_quadrules
spec_shapes
spec_matrix
V
verif_shapes2dverif_quadrules
verif_shapes2dP2
verif_matrix
verif_shapes1d
verif_shapes_base
VSU_shapes
Lemma Index
A
approx_func_ptr'' [in CFEM.C.nonexpansive]approx_exp' [in CFEM.C.nonexpansive]
approx_sepcon' [in CFEM.C.nonexpansive]
approx_andp' [in CFEM.C.nonexpansive]
approx_andp_prop [in CFEM.C.nonexpansive]
approx_approx_S [in CFEM.C.nonexpansive]
B
body_init_matrix_dense [in CFEM.C.verif_matrix]body_casted_densemat_print [in CFEM.C.verif_matrix]
body_matrix_print [in CFEM.C.verif_matrix]
body_casted_densemat_norm2 [in CFEM.C.verif_matrix]
body_matrix_norm [in CFEM.C.verif_matrix]
body_matrix_norm2 [in CFEM.C.verif_matrix]
body_casted_densemat_clear [in CFEM.C.verif_matrix]
body_matrix_clear [in CFEM.C.verif_matrix]
body_casted_densemat_add [in CFEM.C.verif_matrix]
body_matrix_add [in CFEM.C.verif_matrix]
body_shapes1dP3 [in CFEM.C.verif_shapes1d]
body_shapes1dP2 [in CFEM.C.verif_shapes1d]
body_shapes1dP1 [in CFEM.C.verif_shapes1d]
body_hughes_weight [in CFEM.C.verif_quadrules]
body_hughes_point [in CFEM.C.verif_quadrules]
body_gauss2d_weight [in CFEM.C.verif_quadrules]
body_gauss2d_point [in CFEM.C.verif_quadrules]
body_gauss2d_npoint1d [in CFEM.C.verif_quadrules]
body_gauss_weight [in CFEM.C.verif_quadrules]
body_gauss_point [in CFEM.C.verif_quadrules]
body_shapes2dT1 [in CFEM.C.verif_shapes2d]
body_shapes2dS2 [in CFEM.C.verif_shapes2d]
body_shapes2dP1 [in CFEM.C.verif_shapes2d]
body_shapes2dP2 [in CFEM.C.verif_shapes2dP2]
C
col_rowmx_of_listn [in CFEM.shape]col__0 [in CFEM.shape]
col_E_specific [in CFEM.matrix_util]
col_row_E [in CFEM.matrix_util]
col_row [in CFEM.matrix_util]
col_0_1 [in CFEM.matrix_util]
col_mxEd' [in CFEM.matrix_util]
col_mxEu' [in CFEM.matrix_util]
col_mxE [in CFEM.matrix_util]
col_mx_of_list [in CFEM.matrix_util]
ComputableIntegral.add_poly'_nil [in CFEM.quadrature]
ComputableIntegral.integ_eq [in CFEM.quadrature]
ComputableIntegral.integ_last_nonnil [in CFEM.quadrature]
ComputableIntegral.lastr_neq0 [in CFEM.quadrature]
ComputableIntegral.mul_poly_eq [in CFEM.quadrature]
ComputableIntegral.mul_poly_eq_aux [in CFEM.quadrature]
ComputableIntegral.mul_poly_eq_aux' [in CFEM.quadrature]
const_mxE [in CFEM.matrix_util]
continously_differentiable_coord [in CFEM.shape]
continuously_differentiable_variable_power [in CFEM.shape]
continuously_differentiable_mul [in CFEM.shape]
continuously_differentiable_add [in CFEM.shape]
continuously_differentiable_vacuous [in CFEM.shape]
continuously_differentiable_cst [in CFEM.shape]
convex_combination_e [in CFEM.shape]
D
derivable_mxP [in CFEM.shape]derive_mx [in CFEM.shape]
derive_comp_mx_neq [in CFEM.shape]
derive_comp_mx [in CFEM.shape]
divs_repr [in CFEM.C.verif_quadrules]
E
eq_locked_continuously_differentiable [in CFEM.shape]eq_continuously_differentiable [in CFEM.shape]
eq_differentiable [in CFEM.shape]
exist_orthogonal_polynomials [in CFEM.quadrature]
extend_roots_injective [in CFEM.quadrature]
F
Float_of_bits_repr [in CFEM.C.verif_shapes_base]Float_of_int_repr [in CFEM.C.verif_shapes_base]
Float_sub_congr [in CFEM.C.verif_shapes_base]
Float_add_congr [in CFEM.C.verif_shapes_base]
Float_mul_congr [in CFEM.C.verif_shapes_base]
G
gauss_weight_leq_1 [in CFEM.quadrature]gauss_weight_positive [in CFEM.quadrature]
I
ifptr_valid_pointer [in CFEM.C.spec_shapes]ifptr_false [in CFEM.C.verif_shapes_base]
ifptr_true [in CFEM.C.verif_shapes_base]
index_enum_ord_enum [in CFEM.quadrature]
index_enum_ord_enum [in CFEM.matrix_util]
intgal_linear2 [in CFEM.quadrature]
intgal_linear1 [in CFEM.quadrature]
isF [in CFEM.matrix_util]
is_derive_coord_simple [in CFEM.shape]
is_derive_row [in CFEM.shape]
L
lagrange1dP1 [in CFEM.shape]lagrange1dP2 [in CFEM.shape]
lagrange1dP3 [in CFEM.shape]
Legendre.add_mul3 [in CFEM.quadrature]
Legendre.add_mul2 [in CFEM.quadrature]
Legendre.compute_G_eq [in CFEM.quadrature]
Legendre.eq_opI [in CFEM.quadrature]
Legendre.gauss_weight_4_3 [in CFEM.quadrature]
Legendre.gauss_weight_4_2 [in CFEM.quadrature]
Legendre.gauss_weight_4_1 [in CFEM.quadrature]
Legendre.gauss_weight_4_0 [in CFEM.quadrature]
Legendre.gauss_weight_3_2 [in CFEM.quadrature]
Legendre.gauss_weight_3_1 [in CFEM.quadrature]
Legendre.gauss_weight_3_0 [in CFEM.quadrature]
Legendre.gauss_weight_2_1 [in CFEM.quadrature]
Legendre.gauss_weight_2_0 [in CFEM.quadrature]
Legendre.gauss_weight_1_0 [in CFEM.quadrature]
Legendre.hornerD'' [in CFEM.quadrature]
Legendre.intgal_X7 [in CFEM.quadrature]
Legendre.intgal_X6 [in CFEM.quadrature]
Legendre.intgal_X5 [in CFEM.quadrature]
Legendre.intgal_X4 [in CFEM.quadrature]
Legendre.intgal_X3 [in CFEM.quadrature]
Legendre.intgal_X2 [in CFEM.quadrature]
Legendre.intgal_C [in CFEM.quadrature]
Legendre.intgal_1 [in CFEM.quadrature]
Legendre.intgal_0 [in CFEM.quadrature]
Legendre.intgal_X [in CFEM.quadrature]
Legendre.intgal_linear2' [in CFEM.quadrature]
Legendre.intgal_linear2 [in CFEM.quadrature]
Legendre.intgal_linearN' [in CFEM.quadrature]
Legendre.intgal_linearN [in CFEM.quadrature]
Legendre.intgal_linear1'' [in CFEM.quadrature]
Legendre.intgal_linear1' [in CFEM.quadrature]
Legendre.intgal_linear1 [in CFEM.quadrature]
Legendre.intgal_eq [in CFEM.quadrature]
Legendre.legendre_quadrature_error' [in CFEM.quadrature]
Legendre.legendre_roots_unique [in CFEM.quadrature]
Legendre.legendre_roots_4c [in CFEM.quadrature]
Legendre.legendre_roots_4b [in CFEM.quadrature]
Legendre.legendre_roots_4a [in CFEM.quadrature]
Legendre.Legendre_poly_4 [in CFEM.quadrature]
Legendre.Legendre_poly_3 [in CFEM.quadrature]
Legendre.Legendre_poly_2 [in CFEM.quadrature]
Legendre.Legendre_poly_1 [in CFEM.quadrature]
Legendre.Legendre_poly_0 [in CFEM.quadrature]
Legendre.legendre_quadrature_error [in CFEM.quadrature]
Legendre.lo_lt_hi [in CFEM.quadrature]
Legendre.mulrA'X [in CFEM.quadrature]
Legendre.opp_sub [in CFEM.quadrature]
Legendre.pull_left2' [in CFEM.quadrature]
Legendre.pull_left1' [in CFEM.quadrature]
Legendre.pull_left2 [in CFEM.quadrature]
Legendre.pull_left1 [in CFEM.quadrature]
Legendre.scale_polyC' [in CFEM.quadrature]
Legendre.sqrt_exists [in CFEM.quadrature]
Legendre.sqr_sqrt [in CFEM.quadrature]
Legendre.sub_mul2 [in CFEM.quadrature]
Legendre.w_positive [in CFEM.quadrature]
M
matrix_obj_nonexpansive [in CFEM.C.spec_matrix]matrix_obj_valid_pointer [in CFEM.C.spec_matrix]
matrix_obj_local_facts [in CFEM.C.spec_matrix]
multivariate_polynomial_continuously_differentiable [in CFEM.shape]
mx_of_listE [in CFEM.matrix_util]
N
nth_List_nth [in CFEM.quadrature]nth_ord_enum' [in CFEM.quadrature]
nth_List_nth [in CFEM.matrix_util]
nth_ord_enum' [in CFEM.matrix_util]
O
ord_enum_cases [in CFEM.quadrature]ord_enum_cases [in CFEM.matrix_util]
ortho_p_orthogonal [in CFEM.quadrature]
ortho_p_monic [in CFEM.quadrature]
P
polySn_orthogonal_n [in CFEM.quadrature]prove_roundoff_bound_2dT1deriv_2_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_3 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_0 [in CFEM.shape_accuracy]
prove_lagrangian_1d [in CFEM.shape]
Q
quadrature_converges [in CFEM.quadrature]quadrature_error [in CFEM.quadrature]
quadrature_exact_for [in CFEM.quadrature]
R
Rewriting.add_funr0 [in CFEM.quadrature]Rewriting.add_fun0r [in CFEM.quadrature]
Rewriting.derivable_oo_LRcontinuous_horner [in CFEM.quadrature]
Rewriting.deriv_integ [in CFEM.quadrature]
Rewriting.hornerC' [in CFEM.quadrature]
Rewriting.hornerD' [in CFEM.quadrature]
Rewriting.hornerM' [in CFEM.quadrature]
Rewriting.hornerN' [in CFEM.quadrature]
Rewriting.hornerXsubC' [in CFEM.quadrature]
Rewriting.hornerX_i [in CFEM.quadrature]
Rewriting.hornerX' [in CFEM.quadrature]
Rewriting.mul_polyC' [in CFEM.quadrature]
Rewriting.mul_fun_consts [in CFEM.quadrature]
Rewriting.mul_funC [in CFEM.quadrature]
Rewriting.mul_funA [in CFEM.quadrature]
Rewriting.mul_funDl [in CFEM.quadrature]
Rewriting.mul_funDr [in CFEM.quadrature]
Rewriting.mul_funr0 [in CFEM.quadrature]
Rewriting.mul_fun0r [in CFEM.quadrature]
Rewriting.mul_funr1 [in CFEM.quadrature]
Rewriting.mul_fun1r [in CFEM.quadrature]
Rewriting.opp_funr0 [in CFEM.quadrature]
Rewriting.opp_funC [in CFEM.quadrature]
Rewriting.polyCN [in CFEM.quadrature]
Rewriting.polyC' [in CFEM.quadrature]
Rewriting.polyC0' [in CFEM.quadrature]
Rewriting.polyC1' [in CFEM.quadrature]
Rewriting.polynil_eq [in CFEM.quadrature]
Rewriting.polyX' [in CFEM.quadrature]
Rewriting.polyX2' [in CFEM.quadrature]
Rewriting.polyX3' [in CFEM.quadrature]
Rewriting.polyX4' [in CFEM.quadrature]
Rewriting.polyX5' [in CFEM.quadrature]
Rewriting.polyX6' [in CFEM.quadrature]
Rewriting.polyX7' [in CFEM.quadrature]
Rewriting.poly0 [in CFEM.quadrature]
Rewriting.Rintegral_poly [in CFEM.quadrature]
Rewriting.sub_funr0 [in CFEM.quadrature]
roots_of_ortho_p_unique [in CFEM.quadrature]
roots_of_ortho_p_at_most [in CFEM.quadrature]
roundoff_bound_2dT1 [in CFEM.shape_accuracy]
roundoff_bound_2dP1 [in CFEM.shape_accuracy]
roundoff_bound_1dP2 [in CFEM.shape_accuracy]
roundoff_bound_1dP1 [in CFEM.shape_accuracy]
rowmx_of_list_1 [in CFEM.shape_accuracy]
rowmx_of_list_congr [in CFEM.shape]
rowmx_of_listn_E [in CFEM.matrix_util]
rowmx_of_list_E [in CFEM.matrix_util]
row__0 [in CFEM.shape]
row_E_specific [in CFEM.matrix_util]
row_col_E [in CFEM.matrix_util]
row_0_1 [in CFEM.matrix_util]
row_mxEr' [in CFEM.matrix_util]
row_mxEl' [in CFEM.matrix_util]
row_mxE [in CFEM.matrix_util]
row_mx_of_tr_list [in CFEM.matrix_util]
row_mx_of_list [in CFEM.matrix_util]
row01 [in CFEM.matrix_util]
S
size_ord_enum [in CFEM.quadrature]size_behead [in CFEM.quadrature]
size_ord_enum [in CFEM.matrix_util]
sorted_ij [in CFEM.quadrature]
split_matrix_rows [in CFEM.C.verif_shapes2d]
split_matrix_rows [in CFEM.C.verif_shapes2dP2]
split_shift_eq [in CFEM.matrix_util]
split_shift2 [in CFEM.matrix_util]
split_shift1 [in CFEM.matrix_util]
sub_gauss_weight [in CFEM.C.spec_quadrules]
sub_gauss_point [in CFEM.C.spec_quadrules]
T
trmxE [in CFEM.shape]tuple_rehead [in CFEM.quadrature]
tuple_ext [in CFEM.quadrature]
V
vmap_of_cV_list_valid [in CFEM.shape_accuracy]Constructor Index
I
IMP_mono [in CFEM.shape]IMP_mono1 [in CFEM.shape]
IMP_prod [in CFEM.shape]
IMP_opp [in CFEM.shape]
IMP_sum [in CFEM.shape]
IMP_const [in CFEM.shape]
L
Legendre.i_cons [in CFEM.quadrature]Legendre.i_nil [in CFEM.quadrature]
Inductive Index
I
is_multivariate_polynomial [in CFEM.shape]L
Legendre.iseq [in CFEM.quadrature]Projection Index
F
FShape.bounds [in CFEM.shapefloat]FShape.dθ [in CFEM.shapefloat]
FShape.θ [in CFEM.shapefloat]
L
Legendre.GW_good [in CFEM.quadrature]Legendre.GW_vals [in CFEM.quadrature]
Legendre.GW_legendre [in CFEM.quadrature]
Legendre.LR_roots [in CFEM.quadrature]
Legendre.LR_poly_eq [in CFEM.quadrature]
Legendre.LR_poly [in CFEM.quadrature]
R
ROOTS_inrange [in CFEM.quadrature]ROOTS_sorted [in CFEM.quadrature]
ROOTS_zero [in CFEM.quadrature]
ROOTS_vals [in CFEM.quadrature]
S
Shape.d [in CFEM.shape]Shape.deriv [in CFEM.shape]
Shape.diff [in CFEM.shape]
Shape.dθ [in CFEM.shape]
Shape.lagrangian [in CFEM.shape]
Shape.nsh [in CFEM.shape]
Shape.vtx [in CFEM.shape]
Shape.θ [in CFEM.shape]
Section Index
C
ComputableIntegral.R [in CFEM.quadrature]I
import_densemat [in CFEM.C.verif_matrix]import_densemat [in CFEM.C.verif_shapes_base]
L
Legendre.R [in CFEM.quadrature]P
pointwise_derivable [in CFEM.shape]R
R [in CFEM.quadrature]Rewriting.R [in CFEM.quadrature]
R.Integral [in CFEM.quadrature]
R.Integral.P [in CFEM.quadrature]
R.Integral.Quadrature [in CFEM.quadrature]
S
S [in CFEM.shape]S [in CFEM.shape]
S [in CFEM.shape]
S [in CFEM.shape]
Shape.S [in CFEM.shape]
T
Test3.S [in CFEM.matrix_util]W
WithNaN [in CFEM.model]Instance Index
C
CompSpecs [in CFEM.C.spec_shapes]CompSpecs [in CFEM.C.spec_quadrules]
CompSpecs [in CFEM.C.spec_matrix]
I
InhR [in CFEM.C.spec_quadrules]is_derive_mx [in CFEM.shape]
Abbreviation Index
C
compute_mx_of_list [in CFEM.matrix_util]F
frobenius_norm2 [in CFEM.C.spec_matrix]L
Legendre.sqrt [in CFEM.quadrature]O
Ordn [in CFEM.matrix_util]T
the_ctype [in CFEM.C.spec_matrix]the_type [in CFEM.C.spec_matrix]
V
val_of_float [in CFEM.C.spec_matrix]Definition Index
A
A [in CFEM.matrix_util]acc_2dT1deriv [in CFEM.shape_accuracy]
acc_2dT1 [in CFEM.shape_accuracy]
acc_2dP1 [in CFEM.shape_accuracy]
acc_1dP2deriv [in CFEM.shape_accuracy]
acc_1dP2 [in CFEM.shape_accuracy]
acc_1dP1d [in CFEM.shape_accuracy]
acc_1dP1 [in CFEM.shape_accuracy]
B
bounds_enclose [in CFEM.shape_accuracy]Bounds.boundsmap [in CFEM.shapefloat]
Bounds.cuboid_boundsmap_2d [in CFEM.shapefloat]
Bounds.cuboid_boundsmap_1d [in CFEM.shapefloat]
Bounds.cuboid_bounds [in CFEM.shapefloat]
Bounds.firstn_canon_idents [in CFEM.shapefloat]
Bounds.simplex_boundsmap_2d [in CFEM.shapefloat]
Bounds.simplex_bounds [in CFEM.shapefloat]
C
casted_bandmat_print_spec [in CFEM.C.spec_matrix]casted_bandmat_norm2_spec [in CFEM.C.spec_matrix]
casted_bandmat_clear_spec [in CFEM.C.spec_matrix]
casted_bandmat_add_spec [in CFEM.C.spec_matrix]
casted_densemat_print_spec [in CFEM.C.spec_matrix]
casted_densemat_norm2_spec [in CFEM.C.spec_matrix]
casted_densemat_clear_spec [in CFEM.C.spec_matrix]
casted_densemat_add_spec [in CFEM.C.spec_matrix]
colmx_of_list [in CFEM.matrix_util]
composites [in CFEM.C.mesh]
composites [in CFEM.C.fem]
composites [in CFEM.C.quadrules]
composites [in CFEM.C.element]
composites [in CFEM.C.shapes]
composites [in CFEM.C.matrix]
ComputableIntegral.add_poly' [in CFEM.quadrature]
ComputableIntegral.integ [in CFEM.quadrature]
ComputableIntegral.integ_rec [in CFEM.quadrature]
ComputableIntegral.mul_poly' [in CFEM.quadrature]
ComputableIntegral.mul_poly'aux [in CFEM.quadrature]
ComputableIntegral.polylast [in CFEM.quadrature]
continuously_differentiable [in CFEM.shape]
convex_combination' [in CFEM.shape]
convex_hull [in CFEM.shape]
convex_combination [in CFEM.shape]
D
dense_matrix_rep [in CFEM.C.spec_matrix]d1_lagrange [in CFEM.shape]
d1_lagrange_nodes [in CFEM.shape]
E
extend_roots [in CFEM.quadrature]F
float_near [in CFEM.C.spec_quadrules]FPStdLib_ftype__canonical__Algebra_BaseAddUMagma [in CFEM.shapefloat]
FPStdLib_ftype__canonical__Algebra_BaseAddMagma [in CFEM.shapefloat]
from_'I0_any [in CFEM.matrix_util]
f_mesh_print [in CFEM.C.mesh]
f_mesh_print_elt [in CFEM.C.mesh]
f_mesh_print_nodes [in CFEM.C.mesh]
f_mesh_shapes [in CFEM.C.mesh]
f_mesh_to_spatial [in CFEM.C.mesh]
f_mesh_block2d_T1 [in CFEM.C.mesh]
f_mesh_block2d_S2 [in CFEM.C.mesh]
f_mesh_block2d_P2 [in CFEM.C.mesh]
f_mesh_block2d_P1 [in CFEM.C.mesh]
f_mesh_create1d [in CFEM.C.mesh]
f_mesh_free [in CFEM.C.mesh]
f_mesh_malloc [in CFEM.C.mesh]
f_fem_print [in CFEM.C.fem]
f_fem_assemble_dense [in CFEM.C.fem]
f_fem_assemble_band [in CFEM.C.fem]
f_fem_assemble [in CFEM.C.fem]
f_assemble_vector [in CFEM.C.fem]
f_assemble_matrix [in CFEM.C.fem]
f_fem_set_load [in CFEM.C.fem]
f_fem_update_U [in CFEM.C.fem]
f_fem_assign_ids [in CFEM.C.fem]
f_fem_free [in CFEM.C.fem]
f_fem_malloc [in CFEM.C.fem]
f_hughes_weight [in CFEM.C.quadrules]
f_hughes_point [in CFEM.C.quadrules]
f_gauss2d_weight [in CFEM.C.quadrules]
f_gauss2d_point [in CFEM.C.quadrules]
f_gauss2d_npoint1d [in CFEM.C.quadrules]
f_gauss_weight [in CFEM.C.quadrules]
f_gauss_point [in CFEM.C.quadrules]
f_2dT1deriv_2_1 [in CFEM.shape_accuracy]
f_2dT1deriv_2_0 [in CFEM.shape_accuracy]
f_2dT1deriv_1_1 [in CFEM.shape_accuracy]
f_2dT1deriv_1_0 [in CFEM.shape_accuracy]
f_2dT1deriv_0_1 [in CFEM.shape_accuracy]
f_2dT1deriv_0_0 [in CFEM.shape_accuracy]
f_2dT1_2 [in CFEM.shape_accuracy]
f_2dT1_1 [in CFEM.shape_accuracy]
f_2dT1_0 [in CFEM.shape_accuracy]
f_2dP1deriv_3_1 [in CFEM.shape_accuracy]
f_2dP1deriv_3_0 [in CFEM.shape_accuracy]
f_2dP1deriv_2_1 [in CFEM.shape_accuracy]
f_2dP1deriv_2_0 [in CFEM.shape_accuracy]
f_2dP1deriv_1_1 [in CFEM.shape_accuracy]
f_2dP1deriv_1_0 [in CFEM.shape_accuracy]
f_2dP1deriv_0_1 [in CFEM.shape_accuracy]
f_2dP1deriv_0_0 [in CFEM.shape_accuracy]
f_2dP1_3 [in CFEM.shape_accuracy]
f_2dP1_2 [in CFEM.shape_accuracy]
f_2dP1_1 [in CFEM.shape_accuracy]
f_2dP1_0 [in CFEM.shape_accuracy]
f_1dP2deriv_2 [in CFEM.shape_accuracy]
f_1dP2deriv_1 [in CFEM.shape_accuracy]
f_1dP2deriv_0 [in CFEM.shape_accuracy]
f_1dP2_2 [in CFEM.shape_accuracy]
f_1dP2_1 [in CFEM.shape_accuracy]
f_1dP2_0 [in CFEM.shape_accuracy]
f_1dP1deriv_1 [in CFEM.shape_accuracy]
f_1dP1deriv_0 [in CFEM.shape_accuracy]
f_1dP1_1 [in CFEM.shape_accuracy]
f_1dP1_0 [in CFEM.shape_accuracy]
f_poisson2d_elt_dR [in CFEM.C.element]
f_get_quad2d [in CFEM.C.element]
f_poisson1d_elt_dR [in CFEM.C.element]
f_simple_elt_free [in CFEM.C.element]
f_malloc_poisson2d_element [in CFEM.C.element]
f_malloc_poisson1d_element [in CFEM.C.element]
f_element_free [in CFEM.C.element]
f_element_dR [in CFEM.C.element]
f_shapes2dT1 [in CFEM.C.shapes]
f_shapes2dS2 [in CFEM.C.shapes]
f_shapes2dP2 [in CFEM.C.shapes]
f_shapes2dP1 [in CFEM.C.shapes]
f_shapes1dP3 [in CFEM.C.shapes]
f_shapes1dP2 [in CFEM.C.shapes]
f_shapes1dP1 [in CFEM.C.shapes]
f_init_matrix_band [in CFEM.C.matrix]
f_casted_bandmat_print [in CFEM.C.matrix]
f_casted_bandmat_norm2 [in CFEM.C.matrix]
f_casted_bandmat_clear [in CFEM.C.matrix]
f_casted_bandmat_add [in CFEM.C.matrix]
f_init_matrix_dense [in CFEM.C.matrix]
f_casted_densemat_print [in CFEM.C.matrix]
f_casted_densemat_norm2 [in CFEM.C.matrix]
f_casted_densemat_clear [in CFEM.C.matrix]
f_casted_densemat_add [in CFEM.C.matrix]
f_matrix_print [in CFEM.C.matrix]
f_matrix_norm [in CFEM.C.matrix]
f_matrix_norm2 [in CFEM.C.matrix]
f_matrix_clear [in CFEM.C.matrix]
f_matrix_add [in CFEM.C.matrix]
G
G [in CFEM.quadrature]gauss_weight_spec [in CFEM.C.spec_quadrules]
gauss_point_spec [in CFEM.C.spec_quadrules]
gauss_weight_spec_lowlevel [in CFEM.C.spec_quadrules]
gauss_point_spec_lowlevel [in CFEM.C.spec_quadrules]
gauss_wts_pred [in CFEM.C.spec_quadrules]
gauss_wts_list [in CFEM.C.spec_quadrules]
gauss_pts_pred [in CFEM.C.spec_quadrules]
gauss_pts_list [in CFEM.C.spec_quadrules]
gauss_weight [in CFEM.quadrature]
gauss2d_weight_spec [in CFEM.C.spec_quadrules]
gauss2d_point_spec [in CFEM.C.spec_quadrules]
gauss2d_npoint1d_spec [in CFEM.C.spec_quadrules]
global_definitions [in CFEM.C.mesh]
global_definitions [in CFEM.C.fem]
global_definitions [in CFEM.C.quadrules]
global_definitions [in CFEM.C.element]
global_definitions [in CFEM.C.shapes]
global_definitions [in CFEM.C.matrix]
Gprog [in CFEM.C.verif_matrix]
Gprog [in CFEM.C.verif_quadrules]
Gprog [in CFEM.C.verif_shapes_base]
H
half_an_ulp [in CFEM.C.spec_quadrules]hughes_weight_spec [in CFEM.C.spec_quadrules]
hughes_weight [in CFEM.C.spec_quadrules]
hughes_point_spec [in CFEM.C.spec_quadrules]
hughes_points [in CFEM.C.spec_quadrules]
I
ifptr [in CFEM.C.spec_shapes]Info.abi [in CFEM.C.mesh]
Info.abi [in CFEM.C.fem]
Info.abi [in CFEM.C.quadrules]
Info.abi [in CFEM.C.element]
Info.abi [in CFEM.C.shapes]
Info.abi [in CFEM.C.matrix]
Info.arch [in CFEM.C.mesh]
Info.arch [in CFEM.C.fem]
Info.arch [in CFEM.C.quadrules]
Info.arch [in CFEM.C.element]
Info.arch [in CFEM.C.shapes]
Info.arch [in CFEM.C.matrix]
Info.big_endian [in CFEM.C.mesh]
Info.big_endian [in CFEM.C.fem]
Info.big_endian [in CFEM.C.quadrules]
Info.big_endian [in CFEM.C.element]
Info.big_endian [in CFEM.C.shapes]
Info.big_endian [in CFEM.C.matrix]
Info.bitsize [in CFEM.C.mesh]
Info.bitsize [in CFEM.C.fem]
Info.bitsize [in CFEM.C.quadrules]
Info.bitsize [in CFEM.C.element]
Info.bitsize [in CFEM.C.shapes]
Info.bitsize [in CFEM.C.matrix]
Info.build_branch [in CFEM.C.mesh]
Info.build_tag [in CFEM.C.mesh]
Info.build_number [in CFEM.C.mesh]
Info.build_branch [in CFEM.C.fem]
Info.build_tag [in CFEM.C.fem]
Info.build_number [in CFEM.C.fem]
Info.build_branch [in CFEM.C.quadrules]
Info.build_tag [in CFEM.C.quadrules]
Info.build_number [in CFEM.C.quadrules]
Info.build_branch [in CFEM.C.element]
Info.build_tag [in CFEM.C.element]
Info.build_number [in CFEM.C.element]
Info.build_branch [in CFEM.C.shapes]
Info.build_tag [in CFEM.C.shapes]
Info.build_number [in CFEM.C.shapes]
Info.build_branch [in CFEM.C.matrix]
Info.build_tag [in CFEM.C.matrix]
Info.build_number [in CFEM.C.matrix]
Info.model [in CFEM.C.mesh]
Info.model [in CFEM.C.fem]
Info.model [in CFEM.C.quadrules]
Info.model [in CFEM.C.element]
Info.model [in CFEM.C.shapes]
Info.model [in CFEM.C.matrix]
Info.normalized [in CFEM.C.mesh]
Info.normalized [in CFEM.C.fem]
Info.normalized [in CFEM.C.quadrules]
Info.normalized [in CFEM.C.element]
Info.normalized [in CFEM.C.shapes]
Info.normalized [in CFEM.C.matrix]
Info.source_file [in CFEM.C.mesh]
Info.source_file [in CFEM.C.fem]
Info.source_file [in CFEM.C.quadrules]
Info.source_file [in CFEM.C.element]
Info.source_file [in CFEM.C.shapes]
Info.source_file [in CFEM.C.matrix]
Info.version [in CFEM.C.mesh]
Info.version [in CFEM.C.fem]
Info.version [in CFEM.C.quadrules]
Info.version [in CFEM.C.element]
Info.version [in CFEM.C.shapes]
Info.version [in CFEM.C.matrix]
init_matrix_band_spec [in CFEM.C.spec_matrix]
init_matrix_dense_spec [in CFEM.C.spec_matrix]
intgal [in CFEM.quadrature]
is_multivariate_polynomial_sind [in CFEM.shape]
is_multivariate_polynomial_ind [in CFEM.shape]
is_shape_deriv [in CFEM.shape]
ith_gauss_weight [in CFEM.C.spec_quadrules]
ith_gauss_point [in CFEM.C.spec_quadrules]
L
L [in CFEM.quadrature]Legendre.compute_G [in CFEM.quadrature]
Legendre.gauss_weights_4 [in CFEM.quadrature]
Legendre.gauss_weights_3 [in CFEM.quadrature]
Legendre.gauss_weights_2 [in CFEM.quadrature]
Legendre.gauss_weights_1 [in CFEM.quadrature]
Legendre.gauss_weights_0 [in CFEM.quadrature]
Legendre.hi [in CFEM.quadrature]
Legendre.intgal [in CFEM.quadrature]
Legendre.intgal_linear [in CFEM.quadrature]
Legendre.iseq_sind [in CFEM.quadrature]
Legendre.iseq_rec [in CFEM.quadrature]
Legendre.iseq_ind [in CFEM.quadrature]
Legendre.iseq_rect [in CFEM.quadrature]
Legendre.legendre [in CFEM.quadrature]
Legendre.legendre_roots_4 [in CFEM.quadrature]
Legendre.legendre_roots_val [in CFEM.quadrature]
Legendre.legendre_roots_3 [in CFEM.quadrature]
Legendre.legendre_roots_2 [in CFEM.quadrature]
Legendre.legendre_roots_1 [in CFEM.quadrature]
Legendre.legendre_roots_0 [in CFEM.quadrature]
Legendre.lo [in CFEM.quadrature]
Legendre.mulrD [in CFEM.quadrature]
Legendre.norm_poly [in CFEM.quadrature]
Legendre.nth_iseq [in CFEM.quadrature]
Legendre.pull_left [in CFEM.quadrature]
Legendre.r_intgal [in CFEM.quadrature]
Legendre.r_integral [in CFEM.quadrature]
Legendre.some_gauss_weights [in CFEM.quadrature]
Legendre.some_legendre_roots [in CFEM.quadrature]
Legendre.w [in CFEM.quadrature]
M
matrixVSU [in CFEM.C.verif_matrix]matrix_internal_specs [in CFEM.C.verif_matrix]
matrix_E [in CFEM.C.verif_matrix]
matrix_imported_specs [in CFEM.C.verif_matrix]
matrix_add_to [in CFEM.model]
matrix_ASI [in CFEM.C.spec_matrix]
matrix_print_spec [in CFEM.C.spec_matrix]
matrix_print_type [in CFEM.C.spec_matrix]
matrix_norm_spec [in CFEM.C.spec_matrix]
matrix_norm2_spec [in CFEM.C.spec_matrix]
matrix_norm2_type [in CFEM.C.spec_matrix]
matrix_clear_spec [in CFEM.C.spec_matrix]
matrix_clear_type [in CFEM.C.spec_matrix]
matrix_add_spec [in CFEM.C.spec_matrix]
matrix_add_type [in CFEM.C.spec_matrix]
matrix_rep_type [in CFEM.C.spec_matrix]
matrix_and_indices_typetree [in CFEM.C.spec_matrix]
matrix_package_typetree [in CFEM.C.spec_matrix]
matrix_and_indices [in CFEM.C.spec_matrix]
matrix_package [in CFEM.C.spec_matrix]
matrix_obj [in CFEM.C.spec_matrix]
matrix_print_spec' [in CFEM.C.spec_matrix]
matrix_norm2_spec' [in CFEM.C.spec_matrix]
matrix_clear_spec' [in CFEM.C.spec_matrix]
matrix_add_spec' [in CFEM.C.spec_matrix]
matrix_t [in CFEM.C.spec_matrix]
matrix_data_t [in CFEM.C.spec_matrix]
matrix_rep [in CFEM.C.spec_matrix]
mx_of_list [in CFEM.matrix_util]
mx_of_listn [in CFEM.matrix_util]
O
ord_enum2 [in CFEM.model]orthogonal [in CFEM.quadrature]
orthogonal_polynomials [in CFEM.quadrature]
ortho_p [in CFEM.quadrature]
P
point_mx [in CFEM.model]prog [in CFEM.C.mesh]
prog [in CFEM.C.fem]
prog [in CFEM.C.quadrules]
prog [in CFEM.C.element]
prog [in CFEM.C.shapes]
prog [in CFEM.C.matrix]
public_idents [in CFEM.C.mesh]
public_idents [in CFEM.C.fem]
public_idents [in CFEM.C.quadrules]
public_idents [in CFEM.C.element]
public_idents [in CFEM.C.shapes]
public_idents [in CFEM.C.matrix]
Q
quadrules_ASI [in CFEM.C.spec_quadrules]quadrules_globals [in CFEM.C.verif_quadrules]
quadrules_imported_specs [in CFEM.C.verif_quadrules]
quadrules_internal_specs [in CFEM.C.verif_quadrules]
quadrules_E [in CFEM.C.verif_quadrules]
R
relate_2dT1deriv_2_1 [in CFEM.shape_accuracy]relate_2dT1deriv_2_0 [in CFEM.shape_accuracy]
relate_2dT1deriv_1_1 [in CFEM.shape_accuracy]
relate_2dT1deriv_1_0 [in CFEM.shape_accuracy]
relate_2dT1deriv_0_1 [in CFEM.shape_accuracy]
relate_2dT1deriv_0_0 [in CFEM.shape_accuracy]
relate_2dT1_2 [in CFEM.shape_accuracy]
relate_2dT1_1 [in CFEM.shape_accuracy]
relate_2dT1_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_3_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_3_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_2_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_2_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_1_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_1_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_0_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_0_0 [in CFEM.shape_accuracy]
relate_2dP1_3 [in CFEM.shape_accuracy]
relate_2dP1_2 [in CFEM.shape_accuracy]
relate_2dP1_1 [in CFEM.shape_accuracy]
relate_2dP1_0 [in CFEM.shape_accuracy]
relate_1dP2deriv_2 [in CFEM.shape_accuracy]
relate_1dP2deriv_1 [in CFEM.shape_accuracy]
relate_1dP2deriv_0 [in CFEM.shape_accuracy]
relate_1dP2_2 [in CFEM.shape_accuracy]
relate_1dP2_1 [in CFEM.shape_accuracy]
relate_1dP2_0 [in CFEM.shape_accuracy]
relate_1dP1deriv_1 [in CFEM.shape_accuracy]
relate_1dP1deriv_0 [in CFEM.shape_accuracy]
relate_1dP1_1 [in CFEM.shape_accuracy]
relate_1dP1_0 [in CFEM.shape_accuracy]
Rewriting.integ [in CFEM.quadrature]
Rewriting.polynil [in CFEM.quadrature]
Rewriting.r_lift [in CFEM.quadrature]
Rewriting.r_ring [in CFEM.quadrature]
Rewriting.r_horner [in CFEM.quadrature]
roundoff_bound_lemma [in CFEM.shape_accuracy]
rowmx_of_listn [in CFEM.matrix_util]
rowmx_of_list [in CFEM.matrix_util]
S
shapesVSU [in CFEM.C.VSU_shapes]shapes_ASI [in CFEM.C.spec_shapes]
shapes_internal_specs [in CFEM.C.verif_shapes_base]
shapes_E [in CFEM.C.verif_shapes_base]
shapes_imported_specs [in CFEM.C.verif_shapes_base]
shapes1dP1 [in CFEM.shape]
shapes1dP1F [in CFEM.shapefloat]
shapes1dP1_spec [in CFEM.C.spec_shapes]
shapes1dP1_fderiv [in CFEM.shapefloat]
shapes1dP1_float [in CFEM.shapefloat]
shapes1dP1_dθ [in CFEM.shape]
shapes1dP1_vertices [in CFEM.shape]
shapes1dP1_θ [in CFEM.shape]
shapes1dP2 [in CFEM.shape]
shapes1dP2F [in CFEM.shapefloat]
shapes1dP2_spec [in CFEM.C.spec_shapes]
shapes1dP2_fderiv [in CFEM.shapefloat]
shapes1dP2_float [in CFEM.shapefloat]
shapes1dP2_dθ [in CFEM.shape]
shapes1dP2_θ [in CFEM.shape]
shapes1dP2_vertices [in CFEM.shape]
shapes1dP3 [in CFEM.shape]
shapes1dP3F [in CFEM.shapefloat]
shapes1dP3_spec [in CFEM.C.spec_shapes]
shapes1dP3_fderiv [in CFEM.shapefloat]
shapes1dP3_float [in CFEM.shapefloat]
shapes1dP3_dθ [in CFEM.shape]
shapes1dP3_θ [in CFEM.shape]
shapes1dP3_vertices [in CFEM.shape]
shapes2dP1 [in CFEM.shape]
shapes2dP1F [in CFEM.shapefloat]
shapes2dP1_spec [in CFEM.C.spec_shapes]
shapes2dP1_fderiv [in CFEM.shapefloat]
shapes2dP1_float [in CFEM.shapefloat]
shapes2dP1_dθ [in CFEM.shape]
shapes2dP1_θ [in CFEM.shape]
shapes2dP1_vertices [in CFEM.shape]
shapes2dP2 [in CFEM.shape]
shapes2dP2F [in CFEM.shapefloat]
shapes2dP2_spec [in CFEM.C.spec_shapes]
shapes2dP2_fderiv [in CFEM.shapefloat]
shapes2dP2_float [in CFEM.shapefloat]
shapes2dP2_dθ [in CFEM.shape]
shapes2dP2_θ [in CFEM.shape]
shapes2dP2_vertices [in CFEM.shape]
shapes2dS2 [in CFEM.shape]
shapes2dS2F [in CFEM.shapefloat]
shapes2dS2_spec [in CFEM.C.spec_shapes]
shapes2dS2_fderiv [in CFEM.shapefloat]
shapes2dS2_float [in CFEM.shapefloat]
shapes2dS2_dθ [in CFEM.shape]
shapes2dS2_θ [in CFEM.shape]
shapes2dS2_vertices [in CFEM.shape]
shapes2dT1 [in CFEM.shape]
shapes2dT1F [in CFEM.shapefloat]
shapes2dT1_spec [in CFEM.C.spec_shapes]
shapes2dT1_fderiv [in CFEM.shapefloat]
shapes2dT1_float [in CFEM.shapefloat]
shapes2dT1_dθ [in CFEM.shape]
shapes2dT1_θ [in CFEM.shape]
shapes2dT1_vertices [in CFEM.shape]
shape_spec [in CFEM.C.spec_shapes]
split_shift [in CFEM.matrix_util]
T
test_typetree [in CFEM.C.spec_matrix]Test1.A [in CFEM.matrix_util]
Test1.Unnamed_thm [in CFEM.matrix_util]
Test2.B [in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddUMagma [in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddMagma [in CFEM.matrix_util]
Test2.HB_unnamed_factory_3 [in CFEM.matrix_util]
Test2.HB_unnamed_factory_1 [in CFEM.matrix_util]
Test3.A [in CFEM.matrix_util]
Test3.U [in CFEM.matrix_util]
Test3.Unnamed_thm [in CFEM.matrix_util]
Test3.V [in CFEM.matrix_util]
Test4.add [in CFEM.matrix_util]
Test4.B [in CFEM.matrix_util]
Test4.float [in CFEM.matrix_util]
Test4.HB_unnamed_factory_7 [in CFEM.matrix_util]
Test4.HB_unnamed_factory_5 [in CFEM.matrix_util]
Test4.ofZ [in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddUMagma [in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddMagma [in CFEM.matrix_util]
three_term_recurrence [in CFEM.quadrature]
tuple_behead [in CFEM.quadrature]
U
Unnamed_thm [in CFEM.C.spec_matrix]Unnamed_thm [in CFEM.C.spec_matrix]
Unnamed_thm [in CFEM.shape_accuracy]
V
vmap_of_cV [in CFEM.shape_accuracy]vmap_of_cV_list [in CFEM.shape_accuracy]
Vprog [in CFEM.C.spec_shapes]
Vprog [in CFEM.C.spec_quadrules]
Vprog [in CFEM.C.spec_matrix]
v___stringlit_12 [in CFEM.C.mesh]
v___stringlit_8 [in CFEM.C.mesh]
v___stringlit_5 [in CFEM.C.mesh]
v___stringlit_1 [in CFEM.C.mesh]
v___stringlit_6 [in CFEM.C.mesh]
v___stringlit_7 [in CFEM.C.mesh]
v___stringlit_3 [in CFEM.C.mesh]
v___stringlit_2 [in CFEM.C.mesh]
v___stringlit_10 [in CFEM.C.mesh]
v___stringlit_4 [in CFEM.C.mesh]
v___stringlit_9 [in CFEM.C.mesh]
v___stringlit_11 [in CFEM.C.mesh]
v___stringlit_2 [in CFEM.C.fem]
v___stringlit_1 [in CFEM.C.fem]
v___stringlit_9 [in CFEM.C.fem]
v___stringlit_3 [in CFEM.C.fem]
v___stringlit_5 [in CFEM.C.fem]
v___stringlit_6 [in CFEM.C.fem]
v___stringlit_4 [in CFEM.C.fem]
v___stringlit_7 [in CFEM.C.fem]
v___stringlit_8 [in CFEM.C.fem]
v_gauss_wts [in CFEM.C.quadrules]
v_gauss_pts [in CFEM.C.quadrules]
v___stderrp [in CFEM.C.quadrules]
v___stringlit_2 [in CFEM.C.quadrules]
v___stringlit_1 [in CFEM.C.quadrules]
v___stringlit_1 [in CFEM.C.element]
v___stringlit_3 [in CFEM.C.element]
v___stringlit_2 [in CFEM.C.element]
X
xx [in CFEM.shapefloat]x_vmap [in CFEM.shape_accuracy]
x_vmap_list [in CFEM.shape_accuracy]
Y
yy [in CFEM.shapefloat]Z
zeros_of_ortho_p [in CFEM.quadrature]_
_t'9 [in CFEM.C.mesh]_t'8 [in CFEM.C.mesh]
_t'7 [in CFEM.C.mesh]
_t'6 [in CFEM.C.mesh]
_t'5 [in CFEM.C.mesh]
_t'4 [in CFEM.C.mesh]
_t'3 [in CFEM.C.mesh]
_t'2 [in CFEM.C.mesh]
_t'17 [in CFEM.C.mesh]
_t'16 [in CFEM.C.mesh]
_t'15 [in CFEM.C.mesh]
_t'14 [in CFEM.C.mesh]
_t'13 [in CFEM.C.mesh]
_t'12 [in CFEM.C.mesh]
_t'11 [in CFEM.C.mesh]
_t'10 [in CFEM.C.mesh]
_t'1 [in CFEM.C.mesh]
_xref [in CFEM.C.mesh]
_xout [in CFEM.C.mesh]
_x [in CFEM.C.mesh]
_surely_malloc [in CFEM.C.mesh]
_start [in CFEM.C.mesh]
_shapes2dT1 [in CFEM.C.mesh]
_shapes2dS2 [in CFEM.C.mesh]
_shapes2dP2 [in CFEM.C.mesh]
_shapes2dP1 [in CFEM.C.mesh]
_shapes1dP3 [in CFEM.C.mesh]
_shapes1dP2 [in CFEM.C.mesh]
_shapes1dP1 [in CFEM.C.mesh]
_shape [in CFEM.C.mesh]
_printf [in CFEM.C.mesh]
_ny [in CFEM.C.mesh]
_nx1 [in CFEM.C.mesh]
_nx0 [in CFEM.C.mesh]
_nx [in CFEM.C.mesh]
_numnp [in CFEM.C.mesh]
_numelt [in CFEM.C.mesh]
_nshape [in CFEM.C.mesh]
_ney [in CFEM.C.mesh]
_nex [in CFEM.C.mesh]
_nen [in CFEM.C.mesh]
_mesh_to_spatial [in CFEM.C.mesh]
_mesh_t [in CFEM.C.mesh]
_mesh_shapes [in CFEM.C.mesh]
_mesh_print_nodes [in CFEM.C.mesh]
_mesh_print_elt [in CFEM.C.mesh]
_mesh_print [in CFEM.C.mesh]
_mesh_malloc [in CFEM.C.mesh]
_mesh_free [in CFEM.C.mesh]
_mesh_create1d [in CFEM.C.mesh]
_mesh_block2d_T1 [in CFEM.C.mesh]
_mesh_block2d_S2 [in CFEM.C.mesh]
_mesh_block2d_P2 [in CFEM.C.mesh]
_mesh_block2d_P1 [in CFEM.C.mesh]
_mesh [in CFEM.C.mesh]
_memcpy [in CFEM.C.mesh]
_main [in CFEM.C.mesh]
_k__2 [in CFEM.C.mesh]
_k__1 [in CFEM.C.mesh]
_k [in CFEM.C.mesh]
_j__2 [in CFEM.C.mesh]
_j__1 [in CFEM.C.mesh]
_j [in CFEM.C.mesh]
_iy__1 [in CFEM.C.mesh]
_iy [in CFEM.C.mesh]
_ix__3 [in CFEM.C.mesh]
_ix__2 [in CFEM.C.mesh]
_ix__1 [in CFEM.C.mesh]
_ix [in CFEM.C.mesh]
_ipiv [in CFEM.C.mesh]
_int_calloc [in CFEM.C.mesh]
_i_ww [in CFEM.C.mesh]
_i_sw [in CFEM.C.mesh]
_i_nw [in CFEM.C.mesh]
_i__1 [in CFEM.C.mesh]
_i [in CFEM.C.mesh]
_free [in CFEM.C.mesh]
_eltid [in CFEM.C.mesh]
_elt [in CFEM.C.mesh]
_double_clear [in CFEM.C.mesh]
_double_calloc [in CFEM.C.mesh]
_densematn_lusolveT [in CFEM.C.mesh]
_densematn_lujac [in CFEM.C.mesh]
_densematn_lufactor [in CFEM.C.mesh]
_densematn_clear [in CFEM.C.mesh]
_degree [in CFEM.C.mesh]
_dNk [in CFEM.C.mesh]
_dN [in CFEM.C.mesh]
_d [in CFEM.C.mesh]
_b [in CFEM.C.mesh]
_abort [in CFEM.C.mesh]
_a [in CFEM.C.mesh]
___stringlit_9 [in CFEM.C.mesh]
___stringlit_8 [in CFEM.C.mesh]
___stringlit_7 [in CFEM.C.mesh]
___stringlit_6 [in CFEM.C.mesh]
___stringlit_5 [in CFEM.C.mesh]
___stringlit_4 [in CFEM.C.mesh]
___stringlit_3 [in CFEM.C.mesh]
___stringlit_2 [in CFEM.C.mesh]
___stringlit_12 [in CFEM.C.mesh]
___stringlit_11 [in CFEM.C.mesh]
___stringlit_10 [in CFEM.C.mesh]
___stringlit_1 [in CFEM.C.mesh]
___compcert_va_int64 [in CFEM.C.mesh]
___compcert_va_int32 [in CFEM.C.mesh]
___compcert_va_float64 [in CFEM.C.mesh]
___compcert_va_composite [in CFEM.C.mesh]
___compcert_i64_utof [in CFEM.C.mesh]
___compcert_i64_utod [in CFEM.C.mesh]
___compcert_i64_umulh [in CFEM.C.mesh]
___compcert_i64_umod [in CFEM.C.mesh]
___compcert_i64_udiv [in CFEM.C.mesh]
___compcert_i64_stof [in CFEM.C.mesh]
___compcert_i64_stod [in CFEM.C.mesh]
___compcert_i64_smulh [in CFEM.C.mesh]
___compcert_i64_smod [in CFEM.C.mesh]
___compcert_i64_shr [in CFEM.C.mesh]
___compcert_i64_shl [in CFEM.C.mesh]
___compcert_i64_sdiv [in CFEM.C.mesh]
___compcert_i64_sar [in CFEM.C.mesh]
___compcert_i64_dtou [in CFEM.C.mesh]
___compcert_i64_dtos [in CFEM.C.mesh]
___builtin_va_start [in CFEM.C.mesh]
___builtin_va_end [in CFEM.C.mesh]
___builtin_va_copy [in CFEM.C.mesh]
___builtin_va_arg [in CFEM.C.mesh]
___builtin_unreachable [in CFEM.C.mesh]
___builtin_sqrt [in CFEM.C.mesh]
___builtin_sel [in CFEM.C.mesh]
___builtin_memcpy_aligned [in CFEM.C.mesh]
___builtin_membar [in CFEM.C.mesh]
___builtin_fsqrt [in CFEM.C.mesh]
___builtin_fnmsub [in CFEM.C.mesh]
___builtin_fnmadd [in CFEM.C.mesh]
___builtin_fmsub [in CFEM.C.mesh]
___builtin_fmin [in CFEM.C.mesh]
___builtin_fmax [in CFEM.C.mesh]
___builtin_fmadd [in CFEM.C.mesh]
___builtin_fabsf [in CFEM.C.mesh]
___builtin_fabs [in CFEM.C.mesh]
___builtin_expect [in CFEM.C.mesh]
___builtin_debug [in CFEM.C.mesh]
___builtin_ctzll [in CFEM.C.mesh]
___builtin_ctzl [in CFEM.C.mesh]
___builtin_ctz [in CFEM.C.mesh]
___builtin_clzll [in CFEM.C.mesh]
___builtin_clzl [in CFEM.C.mesh]
___builtin_clz [in CFEM.C.mesh]
___builtin_clsll [in CFEM.C.mesh]
___builtin_clsl [in CFEM.C.mesh]
___builtin_cls [in CFEM.C.mesh]
___builtin_bswap64 [in CFEM.C.mesh]
___builtin_bswap32 [in CFEM.C.mesh]
___builtin_bswap16 [in CFEM.C.mesh]
___builtin_bswap [in CFEM.C.mesh]
___builtin_annot_intval [in CFEM.C.mesh]
___builtin_annot [in CFEM.C.mesh]
_Xi [in CFEM.C.mesh]
_X [in CFEM.C.mesh]
_N [in CFEM.C.mesh]
_J [in CFEM.C.mesh]
_t'9 [in CFEM.C.fem]
_t'8 [in CFEM.C.fem]
_t'7 [in CFEM.C.fem]
_t'6 [in CFEM.C.fem]
_t'5 [in CFEM.C.fem]
_t'4 [in CFEM.C.fem]
_t'3 [in CFEM.C.fem]
_t'24 [in CFEM.C.fem]
_t'23 [in CFEM.C.fem]
_t'22 [in CFEM.C.fem]
_t'21 [in CFEM.C.fem]
_t'20 [in CFEM.C.fem]
_t'2 [in CFEM.C.fem]
_t'19 [in CFEM.C.fem]
_t'18 [in CFEM.C.fem]
_t'17 [in CFEM.C.fem]
_t'16 [in CFEM.C.fem]
_t'15 [in CFEM.C.fem]
_t'14 [in CFEM.C.fem]
_t'13 [in CFEM.C.fem]
_t'12 [in CFEM.C.fem]
_t'11 [in CFEM.C.fem]
_t'10 [in CFEM.C.fem]
_t'1 [in CFEM.C.fem]
_ve [in CFEM.C.fem]
_v [in CFEM.C.fem]
_surely_malloc [in CFEM.C.fem]
_shape [in CFEM.C.fem]
_printf [in CFEM.C.fem]
_print [in CFEM.C.fem]
_p [in CFEM.C.fem]
_numnp [in CFEM.C.fem]
_numelt [in CFEM.C.fem]
_norm2 [in CFEM.C.fem]
_next_id [in CFEM.C.fem]
_nen [in CFEM.C.fem]
_ne [in CFEM.C.fem]
_ndof [in CFEM.C.fem]
_nactive [in CFEM.C.fem]
_n [in CFEM.C.fem]
_mesh_t [in CFEM.C.fem]
_mesh_print_elt [in CFEM.C.fem]
_mesh_free [in CFEM.C.fem]
_mesh [in CFEM.C.fem]
_matrix_t [in CFEM.C.fem]
_matrix_data_t [in CFEM.C.fem]
_matrix_clear [in CFEM.C.fem]
_matrix_add [in CFEM.C.fem]
_main [in CFEM.C.fem]
_m [in CFEM.C.fem]
_je [in CFEM.C.fem]
_j__5 [in CFEM.C.fem]
_j__4 [in CFEM.C.fem]
_j__3 [in CFEM.C.fem]
_j__2 [in CFEM.C.fem]
_j__1 [in CFEM.C.fem]
_j [in CFEM.C.fem]
_int_calloc [in CFEM.C.fem]
_init_matrix_dense [in CFEM.C.fem]
_init_matrix_band [in CFEM.C.fem]
_ie [in CFEM.C.fem]
_ids [in CFEM.C.fem]
_id [in CFEM.C.fem]
_i [in CFEM.C.fem]
_free [in CFEM.C.fem]
_fem_update_U [in CFEM.C.fem]
_fem_t [in CFEM.C.fem]
_fem_set_load [in CFEM.C.fem]
_fem_print [in CFEM.C.fem]
_fem_malloc [in CFEM.C.fem]
_fem_free [in CFEM.C.fem]
_fem_assign_ids [in CFEM.C.fem]
_fem_assemble_dense [in CFEM.C.fem]
_fem_assemble_band [in CFEM.C.fem]
_fem_assemble [in CFEM.C.fem]
_fe [in CFEM.C.fem]
_f [in CFEM.C.fem]
_etype [in CFEM.C.fem]
_emat [in CFEM.C.fem]
_elt [in CFEM.C.fem]
_element_t [in CFEM.C.fem]
_element_dR [in CFEM.C.fem]
_du_red [in CFEM.C.fem]
_double_clear [in CFEM.C.fem]
_double_calloc [in CFEM.C.fem]
_densematn_get [in CFEM.C.fem]
_densemat_t [in CFEM.C.fem]
_data [in CFEM.C.fem]
_dR [in CFEM.C.fem]
_d [in CFEM.C.fem]
_clear [in CFEM.C.fem]
_bandmat_t [in CFEM.C.fem]
_b [in CFEM.C.fem]
_assemble_vector [in CFEM.C.fem]
_assemble_matrix [in CFEM.C.fem]
_add [in CFEM.C.fem]
___stringlit_9 [in CFEM.C.fem]
___stringlit_8 [in CFEM.C.fem]
___stringlit_7 [in CFEM.C.fem]
___stringlit_6 [in CFEM.C.fem]
___stringlit_5 [in CFEM.C.fem]
___stringlit_4 [in CFEM.C.fem]
___stringlit_3 [in CFEM.C.fem]
___stringlit_2 [in CFEM.C.fem]
___stringlit_1 [in CFEM.C.fem]
___compcert_va_int64 [in CFEM.C.fem]
___compcert_va_int32 [in CFEM.C.fem]
___compcert_va_float64 [in CFEM.C.fem]
___compcert_va_composite [in CFEM.C.fem]
___compcert_i64_utof [in CFEM.C.fem]
___compcert_i64_utod [in CFEM.C.fem]
___compcert_i64_umulh [in CFEM.C.fem]
___compcert_i64_umod [in CFEM.C.fem]
___compcert_i64_udiv [in CFEM.C.fem]
___compcert_i64_stof [in CFEM.C.fem]
___compcert_i64_stod [in CFEM.C.fem]
___compcert_i64_smulh [in CFEM.C.fem]
___compcert_i64_smod [in CFEM.C.fem]
___compcert_i64_shr [in CFEM.C.fem]
___compcert_i64_shl [in CFEM.C.fem]
___compcert_i64_sdiv [in CFEM.C.fem]
___compcert_i64_sar [in CFEM.C.fem]
___compcert_i64_dtou [in CFEM.C.fem]
___compcert_i64_dtos [in CFEM.C.fem]
___builtin_va_start [in CFEM.C.fem]
___builtin_va_end [in CFEM.C.fem]
___builtin_va_copy [in CFEM.C.fem]
___builtin_va_arg [in CFEM.C.fem]
___builtin_unreachable [in CFEM.C.fem]
___builtin_sqrt [in CFEM.C.fem]
___builtin_sel [in CFEM.C.fem]
___builtin_memcpy_aligned [in CFEM.C.fem]
___builtin_membar [in CFEM.C.fem]
___builtin_fsqrt [in CFEM.C.fem]
___builtin_fnmsub [in CFEM.C.fem]
___builtin_fnmadd [in CFEM.C.fem]
___builtin_fmsub [in CFEM.C.fem]
___builtin_fmin [in CFEM.C.fem]
___builtin_fmax [in CFEM.C.fem]
___builtin_fmadd [in CFEM.C.fem]
___builtin_fabsf [in CFEM.C.fem]
___builtin_fabs [in CFEM.C.fem]
___builtin_expect [in CFEM.C.fem]
___builtin_debug [in CFEM.C.fem]
___builtin_ctzll [in CFEM.C.fem]
___builtin_ctzl [in CFEM.C.fem]
___builtin_ctz [in CFEM.C.fem]
___builtin_clzll [in CFEM.C.fem]
___builtin_clzl [in CFEM.C.fem]
___builtin_clz [in CFEM.C.fem]
___builtin_clsll [in CFEM.C.fem]
___builtin_clsl [in CFEM.C.fem]
___builtin_cls [in CFEM.C.fem]
___builtin_bswap64 [in CFEM.C.fem]
___builtin_bswap32 [in CFEM.C.fem]
___builtin_bswap16 [in CFEM.C.fem]
___builtin_bswap [in CFEM.C.fem]
___builtin_annot_intval [in CFEM.C.fem]
___builtin_annot [in CFEM.C.fem]
_X [in CFEM.C.fem]
_U [in CFEM.C.fem]
_Re [in CFEM.C.fem]
_R [in CFEM.C.fem]
_Kmatrix [in CFEM.C.fem]
_Ke [in CFEM.C.fem]
_K [in CFEM.C.fem]
_F [in CFEM.C.fem]
_t'3 [in CFEM.C.quadrules]
_t'2 [in CFEM.C.quadrules]
_t'1 [in CFEM.C.quadrules]
_xi [in CFEM.C.quadrules]
_npts [in CFEM.C.quadrules]
_main [in CFEM.C.quadrules]
_iy [in CFEM.C.quadrules]
_ix [in CFEM.C.quadrules]
_i [in CFEM.C.quadrules]
_hughes_weight [in CFEM.C.quadrules]
_hughes_point [in CFEM.C.quadrules]
_gauss_wts [in CFEM.C.quadrules]
_gauss_weight [in CFEM.C.quadrules]
_gauss_pts [in CFEM.C.quadrules]
_gauss_point [in CFEM.C.quadrules]
_gauss2d_weight [in CFEM.C.quadrules]
_gauss2d_point [in CFEM.C.quadrules]
_gauss2d_npoint1d [in CFEM.C.quadrules]
_fprintf [in CFEM.C.quadrules]
_exit [in CFEM.C.quadrules]
_d [in CFEM.C.quadrules]
__write [in CFEM.C.quadrules]
__w [in CFEM.C.quadrules]
__ur [in CFEM.C.quadrules]
__ubuf [in CFEM.C.quadrules]
__ub [in CFEM.C.quadrules]
__size [in CFEM.C.quadrules]
__seek [in CFEM.C.quadrules]
__read [in CFEM.C.quadrules]
__r [in CFEM.C.quadrules]
__p [in CFEM.C.quadrules]
__offset [in CFEM.C.quadrules]
__nbuf [in CFEM.C.quadrules]
__lbfsize [in CFEM.C.quadrules]
__lb [in CFEM.C.quadrules]
__flags [in CFEM.C.quadrules]
__file [in CFEM.C.quadrules]
__extra [in CFEM.C.quadrules]
__cookie [in CFEM.C.quadrules]
__close [in CFEM.C.quadrules]
__blksize [in CFEM.C.quadrules]
__bf [in CFEM.C.quadrules]
__base [in CFEM.C.quadrules]
___stringlit_2 [in CFEM.C.quadrules]
___stringlit_1 [in CFEM.C.quadrules]
___stderrp [in CFEM.C.quadrules]
___sbuf [in CFEM.C.quadrules]
___sFILEX [in CFEM.C.quadrules]
___sFILE [in CFEM.C.quadrules]
___compcert_va_int64 [in CFEM.C.quadrules]
___compcert_va_int32 [in CFEM.C.quadrules]
___compcert_va_float64 [in CFEM.C.quadrules]
___compcert_va_composite [in CFEM.C.quadrules]
___compcert_i64_utof [in CFEM.C.quadrules]
___compcert_i64_utod [in CFEM.C.quadrules]
___compcert_i64_umulh [in CFEM.C.quadrules]
___compcert_i64_umod [in CFEM.C.quadrules]
___compcert_i64_udiv [in CFEM.C.quadrules]
___compcert_i64_stof [in CFEM.C.quadrules]
___compcert_i64_stod [in CFEM.C.quadrules]
___compcert_i64_smulh [in CFEM.C.quadrules]
___compcert_i64_smod [in CFEM.C.quadrules]
___compcert_i64_shr [in CFEM.C.quadrules]
___compcert_i64_shl [in CFEM.C.quadrules]
___compcert_i64_sdiv [in CFEM.C.quadrules]
___compcert_i64_sar [in CFEM.C.quadrules]
___compcert_i64_dtou [in CFEM.C.quadrules]
___compcert_i64_dtos [in CFEM.C.quadrules]
___builtin_va_start [in CFEM.C.quadrules]
___builtin_va_end [in CFEM.C.quadrules]
___builtin_va_copy [in CFEM.C.quadrules]
___builtin_va_arg [in CFEM.C.quadrules]
___builtin_unreachable [in CFEM.C.quadrules]
___builtin_sqrt [in CFEM.C.quadrules]
___builtin_sel [in CFEM.C.quadrules]
___builtin_memcpy_aligned [in CFEM.C.quadrules]
___builtin_membar [in CFEM.C.quadrules]
___builtin_fsqrt [in CFEM.C.quadrules]
___builtin_fnmsub [in CFEM.C.quadrules]
___builtin_fnmadd [in CFEM.C.quadrules]
___builtin_fmsub [in CFEM.C.quadrules]
___builtin_fmin [in CFEM.C.quadrules]
___builtin_fmax [in CFEM.C.quadrules]
___builtin_fmadd [in CFEM.C.quadrules]
___builtin_fabsf [in CFEM.C.quadrules]
___builtin_fabs [in CFEM.C.quadrules]
___builtin_expect [in CFEM.C.quadrules]
___builtin_debug [in CFEM.C.quadrules]
___builtin_ctzll [in CFEM.C.quadrules]
___builtin_ctzl [in CFEM.C.quadrules]
___builtin_ctz [in CFEM.C.quadrules]
___builtin_clzll [in CFEM.C.quadrules]
___builtin_clzl [in CFEM.C.quadrules]
___builtin_clz [in CFEM.C.quadrules]
___builtin_clsll [in CFEM.C.quadrules]
___builtin_clsl [in CFEM.C.quadrules]
___builtin_cls [in CFEM.C.quadrules]
___builtin_bswap64 [in CFEM.C.quadrules]
___builtin_bswap32 [in CFEM.C.quadrules]
___builtin_bswap16 [in CFEM.C.quadrules]
___builtin_bswap [in CFEM.C.quadrules]
___builtin_annot_intval [in CFEM.C.quadrules]
___builtin_annot [in CFEM.C.quadrules]
_t'9 [in CFEM.C.element]
_t'8 [in CFEM.C.element]
_t'7 [in CFEM.C.element]
_t'6 [in CFEM.C.element]
_t'5 [in CFEM.C.element]
_t'4 [in CFEM.C.element]
_t'33 [in CFEM.C.element]
_t'32 [in CFEM.C.element]
_t'31 [in CFEM.C.element]
_t'30 [in CFEM.C.element]
_t'3 [in CFEM.C.element]
_t'29 [in CFEM.C.element]
_t'28 [in CFEM.C.element]
_t'27 [in CFEM.C.element]
_t'26 [in CFEM.C.element]
_t'25 [in CFEM.C.element]
_t'24 [in CFEM.C.element]
_t'23 [in CFEM.C.element]
_t'22 [in CFEM.C.element]
_t'21 [in CFEM.C.element]
_t'20 [in CFEM.C.element]
_t'2 [in CFEM.C.element]
_t'19 [in CFEM.C.element]
_t'18 [in CFEM.C.element]
_t'17 [in CFEM.C.element]
_t'16 [in CFEM.C.element]
_t'15 [in CFEM.C.element]
_t'14 [in CFEM.C.element]
_t'13 [in CFEM.C.element]
_t'12 [in CFEM.C.element]
_t'11 [in CFEM.C.element]
_t'10 [in CFEM.C.element]
_t'1 [in CFEM.C.element]
_x [in CFEM.C.element]
_wt [in CFEM.C.element]
_surely_malloc [in CFEM.C.element]
_simple_elt_free [in CFEM.C.element]
_shapes2dT1 [in CFEM.C.element]
_shapes2dS2 [in CFEM.C.element]
_shapes2dP2 [in CFEM.C.element]
_shapes2dP1 [in CFEM.C.element]
_shapefn [in CFEM.C.element]
_shape [in CFEM.C.element]
_quad_wt [in CFEM.C.element]
_quad_pt [in CFEM.C.element]
_printf [in CFEM.C.element]
_poisson_elt_t [in CFEM.C.element]
_poisson2d_elt_dR [in CFEM.C.element]
_poisson1d_elt_dR [in CFEM.C.element]
_p [in CFEM.C.element]
_numnp [in CFEM.C.element]
_numelt [in CFEM.C.element]
_nquad [in CFEM.C.element]
_nen [in CFEM.C.element]
_ndof [in CFEM.C.element]
_nactive [in CFEM.C.element]
_mesh_t [in CFEM.C.element]
_mesh_shapes [in CFEM.C.element]
_mesh [in CFEM.C.element]
_malloc_poisson2d_element [in CFEM.C.element]
_malloc_poisson1d_element [in CFEM.C.element]
_main [in CFEM.C.element]
_le [in CFEM.C.element]
_k [in CFEM.C.element]
_j__1 [in CFEM.C.element]
_j [in CFEM.C.element]
_id [in CFEM.C.element]
_i__1 [in CFEM.C.element]
_i [in CFEM.C.element]
_hughes_weight [in CFEM.C.element]
_hughes_point [in CFEM.C.element]
_get_quad2d [in CFEM.C.element]
_gauss_weight [in CFEM.C.element]
_gauss_point [in CFEM.C.element]
_gauss2d_weight [in CFEM.C.element]
_gauss2d_point [in CFEM.C.element]
_fx [in CFEM.C.element]
_free [in CFEM.C.element]
_fem_t [in CFEM.C.element]
_fe [in CFEM.C.element]
_etype [in CFEM.C.element]
_eltid [in CFEM.C.element]
_elt [in CFEM.C.element]
_element_t [in CFEM.C.element]
_element_free [in CFEM.C.element]
_element_dR [in CFEM.C.element]
_e [in CFEM.C.element]
_du [in CFEM.C.element]
_double_clear [in CFEM.C.element]
_densematn_clear [in CFEM.C.element]
_degree [in CFEM.C.element]
_dR [in CFEM.C.element]
_dN [in CFEM.C.element]
_d [in CFEM.C.element]
_abort [in CFEM.C.element]
___stringlit_3 [in CFEM.C.element]
___stringlit_2 [in CFEM.C.element]
___stringlit_1 [in CFEM.C.element]
___compcert_va_int64 [in CFEM.C.element]
___compcert_va_int32 [in CFEM.C.element]
___compcert_va_float64 [in CFEM.C.element]
___compcert_va_composite [in CFEM.C.element]
___compcert_i64_utof [in CFEM.C.element]
___compcert_i64_utod [in CFEM.C.element]
___compcert_i64_umulh [in CFEM.C.element]
___compcert_i64_umod [in CFEM.C.element]
___compcert_i64_udiv [in CFEM.C.element]
___compcert_i64_stof [in CFEM.C.element]
___compcert_i64_stod [in CFEM.C.element]
___compcert_i64_smulh [in CFEM.C.element]
___compcert_i64_smod [in CFEM.C.element]
___compcert_i64_shr [in CFEM.C.element]
___compcert_i64_shl [in CFEM.C.element]
___compcert_i64_sdiv [in CFEM.C.element]
___compcert_i64_sar [in CFEM.C.element]
___compcert_i64_dtou [in CFEM.C.element]
___compcert_i64_dtos [in CFEM.C.element]
___builtin_va_start [in CFEM.C.element]
___builtin_va_end [in CFEM.C.element]
___builtin_va_copy [in CFEM.C.element]
___builtin_va_arg [in CFEM.C.element]
___builtin_unreachable [in CFEM.C.element]
___builtin_sqrt [in CFEM.C.element]
___builtin_sel [in CFEM.C.element]
___builtin_memcpy_aligned [in CFEM.C.element]
___builtin_membar [in CFEM.C.element]
___builtin_fsqrt [in CFEM.C.element]
___builtin_fnmsub [in CFEM.C.element]
___builtin_fnmadd [in CFEM.C.element]
___builtin_fmsub [in CFEM.C.element]
___builtin_fmin [in CFEM.C.element]
___builtin_fmax [in CFEM.C.element]
___builtin_fmadd [in CFEM.C.element]
___builtin_fabsf [in CFEM.C.element]
___builtin_fabs [in CFEM.C.element]
___builtin_expect [in CFEM.C.element]
___builtin_debug [in CFEM.C.element]
___builtin_ctzll [in CFEM.C.element]
___builtin_ctzl [in CFEM.C.element]
___builtin_ctz [in CFEM.C.element]
___builtin_clzll [in CFEM.C.element]
___builtin_clzl [in CFEM.C.element]
___builtin_clz [in CFEM.C.element]
___builtin_clsll [in CFEM.C.element]
___builtin_clsl [in CFEM.C.element]
___builtin_cls [in CFEM.C.element]
___builtin_bswap64 [in CFEM.C.element]
___builtin_bswap32 [in CFEM.C.element]
___builtin_bswap16 [in CFEM.C.element]
___builtin_bswap [in CFEM.C.element]
___builtin_annot_intval [in CFEM.C.element]
___builtin_annot [in CFEM.C.element]
_X [in CFEM.C.element]
_U [in CFEM.C.element]
_Re [in CFEM.C.element]
_N [in CFEM.C.element]
_Ke [in CFEM.C.element]
_J [in CFEM.C.element]
_F [in CFEM.C.element]
_t'9 [in CFEM.C.shapes]
_t'8 [in CFEM.C.shapes]
_t'7 [in CFEM.C.shapes]
_t'6 [in CFEM.C.shapes]
_t'54 [in CFEM.C.shapes]
_t'53 [in CFEM.C.shapes]
_t'52 [in CFEM.C.shapes]
_t'51 [in CFEM.C.shapes]
_t'50 [in CFEM.C.shapes]
_t'5 [in CFEM.C.shapes]
_t'49 [in CFEM.C.shapes]
_t'48 [in CFEM.C.shapes]
_t'47 [in CFEM.C.shapes]
_t'46 [in CFEM.C.shapes]
_t'45 [in CFEM.C.shapes]
_t'44 [in CFEM.C.shapes]
_t'43 [in CFEM.C.shapes]
_t'42 [in CFEM.C.shapes]
_t'41 [in CFEM.C.shapes]
_t'40 [in CFEM.C.shapes]
_t'4 [in CFEM.C.shapes]
_t'39 [in CFEM.C.shapes]
_t'38 [in CFEM.C.shapes]
_t'37 [in CFEM.C.shapes]
_t'36 [in CFEM.C.shapes]
_t'35 [in CFEM.C.shapes]
_t'34 [in CFEM.C.shapes]
_t'33 [in CFEM.C.shapes]
_t'32 [in CFEM.C.shapes]
_t'31 [in CFEM.C.shapes]
_t'30 [in CFEM.C.shapes]
_t'3 [in CFEM.C.shapes]
_t'29 [in CFEM.C.shapes]
_t'28 [in CFEM.C.shapes]
_t'27 [in CFEM.C.shapes]
_t'26 [in CFEM.C.shapes]
_t'25 [in CFEM.C.shapes]
_t'24 [in CFEM.C.shapes]
_t'23 [in CFEM.C.shapes]
_t'22 [in CFEM.C.shapes]
_t'21 [in CFEM.C.shapes]
_t'20 [in CFEM.C.shapes]
_t'2 [in CFEM.C.shapes]
_t'19 [in CFEM.C.shapes]
_t'18 [in CFEM.C.shapes]
_t'17 [in CFEM.C.shapes]
_t'16 [in CFEM.C.shapes]
_t'15 [in CFEM.C.shapes]
_t'14 [in CFEM.C.shapes]
_t'13 [in CFEM.C.shapes]
_t'12 [in CFEM.C.shapes]
_t'11 [in CFEM.C.shapes]
_t'10 [in CFEM.C.shapes]
_t'1 [in CFEM.C.shapes]
_xx [in CFEM.C.shapes]
_x [in CFEM.C.shapes]
_shapes2dT1 [in CFEM.C.shapes]
_shapes2dS2 [in CFEM.C.shapes]
_shapes2dP2 [in CFEM.C.shapes]
_shapes2dP1 [in CFEM.C.shapes]
_shapes1dP3 [in CFEM.C.shapes]
_shapes1dP2 [in CFEM.C.shapes]
_shapes1dP1 [in CFEM.C.shapes]
_main [in CFEM.C.shapes]
_densematn_set [in CFEM.C.shapes]
_densematn_get [in CFEM.C.shapes]
_dNy [in CFEM.C.shapes]
_dNx [in CFEM.C.shapes]
_dN [in CFEM.C.shapes]
___compcert_va_int64 [in CFEM.C.shapes]
___compcert_va_int32 [in CFEM.C.shapes]
___compcert_va_float64 [in CFEM.C.shapes]
___compcert_va_composite [in CFEM.C.shapes]
___compcert_i64_utof [in CFEM.C.shapes]
___compcert_i64_utod [in CFEM.C.shapes]
___compcert_i64_umulh [in CFEM.C.shapes]
___compcert_i64_umod [in CFEM.C.shapes]
___compcert_i64_udiv [in CFEM.C.shapes]
___compcert_i64_stof [in CFEM.C.shapes]
___compcert_i64_stod [in CFEM.C.shapes]
___compcert_i64_smulh [in CFEM.C.shapes]
___compcert_i64_smod [in CFEM.C.shapes]
___compcert_i64_shr [in CFEM.C.shapes]
___compcert_i64_shl [in CFEM.C.shapes]
___compcert_i64_sdiv [in CFEM.C.shapes]
___compcert_i64_sar [in CFEM.C.shapes]
___compcert_i64_dtou [in CFEM.C.shapes]
___compcert_i64_dtos [in CFEM.C.shapes]
___builtin_va_start [in CFEM.C.shapes]
___builtin_va_end [in CFEM.C.shapes]
___builtin_va_copy [in CFEM.C.shapes]
___builtin_va_arg [in CFEM.C.shapes]
___builtin_unreachable [in CFEM.C.shapes]
___builtin_sqrt [in CFEM.C.shapes]
___builtin_sel [in CFEM.C.shapes]
___builtin_memcpy_aligned [in CFEM.C.shapes]
___builtin_membar [in CFEM.C.shapes]
___builtin_fsqrt [in CFEM.C.shapes]
___builtin_fnmsub [in CFEM.C.shapes]
___builtin_fnmadd [in CFEM.C.shapes]
___builtin_fmsub [in CFEM.C.shapes]
___builtin_fmin [in CFEM.C.shapes]
___builtin_fmax [in CFEM.C.shapes]
___builtin_fmadd [in CFEM.C.shapes]
___builtin_fabsf [in CFEM.C.shapes]
___builtin_fabs [in CFEM.C.shapes]
___builtin_expect [in CFEM.C.shapes]
___builtin_debug [in CFEM.C.shapes]
___builtin_ctzll [in CFEM.C.shapes]
___builtin_ctzl [in CFEM.C.shapes]
___builtin_ctz [in CFEM.C.shapes]
___builtin_clzll [in CFEM.C.shapes]
___builtin_clzl [in CFEM.C.shapes]
___builtin_clz [in CFEM.C.shapes]
___builtin_clsll [in CFEM.C.shapes]
___builtin_clsl [in CFEM.C.shapes]
___builtin_cls [in CFEM.C.shapes]
___builtin_bswap64 [in CFEM.C.shapes]
___builtin_bswap32 [in CFEM.C.shapes]
___builtin_bswap16 [in CFEM.C.shapes]
___builtin_bswap [in CFEM.C.shapes]
___builtin_annot_intval [in CFEM.C.shapes]
___builtin_annot [in CFEM.C.shapes]
_Ny [in CFEM.C.shapes]
_Nx [in CFEM.C.shapes]
_N [in CFEM.C.shapes]
_t'3 [in CFEM.C.matrix]
_t'2 [in CFEM.C.matrix]
_t'1 [in CFEM.C.matrix]
_x [in CFEM.C.matrix]
_sqrt [in CFEM.C.matrix]
_print [in CFEM.C.matrix]
_p [in CFEM.C.matrix]
_norm2 [in CFEM.C.matrix]
_n [in CFEM.C.matrix]
_matrix_t [in CFEM.C.matrix]
_matrix_print [in CFEM.C.matrix]
_matrix_norm2 [in CFEM.C.matrix]
_matrix_norm [in CFEM.C.matrix]
_matrix_data_t [in CFEM.C.matrix]
_matrix_clear [in CFEM.C.matrix]
_matrix_add [in CFEM.C.matrix]
_main [in CFEM.C.matrix]
_m [in CFEM.C.matrix]
_j [in CFEM.C.matrix]
_init_matrix_dense [in CFEM.C.matrix]
_init_matrix_band [in CFEM.C.matrix]
_i [in CFEM.C.matrix]
_densemat_t [in CFEM.C.matrix]
_densemat_print [in CFEM.C.matrix]
_densemat_norm2 [in CFEM.C.matrix]
_densemat_clear [in CFEM.C.matrix]
_densemat_addto [in CFEM.C.matrix]
_data [in CFEM.C.matrix]
_clear [in CFEM.C.matrix]
_casted_densemat_print [in CFEM.C.matrix]
_casted_densemat_norm2 [in CFEM.C.matrix]
_casted_densemat_clear [in CFEM.C.matrix]
_casted_densemat_add [in CFEM.C.matrix]
_casted_bandmat_print [in CFEM.C.matrix]
_casted_bandmat_norm2 [in CFEM.C.matrix]
_casted_bandmat_clear [in CFEM.C.matrix]
_casted_bandmat_add [in CFEM.C.matrix]
_bandmat_t [in CFEM.C.matrix]
_bandmat_print [in CFEM.C.matrix]
_bandmat_norm2 [in CFEM.C.matrix]
_bandmat_clear [in CFEM.C.matrix]
_bandmat_addto [in CFEM.C.matrix]
_b [in CFEM.C.matrix]
_add [in CFEM.C.matrix]
___compcert_va_int64 [in CFEM.C.matrix]
___compcert_va_int32 [in CFEM.C.matrix]
___compcert_va_float64 [in CFEM.C.matrix]
___compcert_va_composite [in CFEM.C.matrix]
___compcert_i64_utof [in CFEM.C.matrix]
___compcert_i64_utod [in CFEM.C.matrix]
___compcert_i64_umulh [in CFEM.C.matrix]
___compcert_i64_umod [in CFEM.C.matrix]
___compcert_i64_udiv [in CFEM.C.matrix]
___compcert_i64_stof [in CFEM.C.matrix]
___compcert_i64_stod [in CFEM.C.matrix]
___compcert_i64_smulh [in CFEM.C.matrix]
___compcert_i64_smod [in CFEM.C.matrix]
___compcert_i64_shr [in CFEM.C.matrix]
___compcert_i64_shl [in CFEM.C.matrix]
___compcert_i64_sdiv [in CFEM.C.matrix]
___compcert_i64_sar [in CFEM.C.matrix]
___compcert_i64_dtou [in CFEM.C.matrix]
___compcert_i64_dtos [in CFEM.C.matrix]
___builtin_va_start [in CFEM.C.matrix]
___builtin_va_end [in CFEM.C.matrix]
___builtin_va_copy [in CFEM.C.matrix]
___builtin_va_arg [in CFEM.C.matrix]
___builtin_unreachable [in CFEM.C.matrix]
___builtin_sqrt [in CFEM.C.matrix]
___builtin_sel [in CFEM.C.matrix]
___builtin_memcpy_aligned [in CFEM.C.matrix]
___builtin_membar [in CFEM.C.matrix]
___builtin_fsqrt [in CFEM.C.matrix]
___builtin_fnmsub [in CFEM.C.matrix]
___builtin_fnmadd [in CFEM.C.matrix]
___builtin_fmsub [in CFEM.C.matrix]
___builtin_fmin [in CFEM.C.matrix]
___builtin_fmax [in CFEM.C.matrix]
___builtin_fmadd [in CFEM.C.matrix]
___builtin_fabsf [in CFEM.C.matrix]
___builtin_fabs [in CFEM.C.matrix]
___builtin_expect [in CFEM.C.matrix]
___builtin_debug [in CFEM.C.matrix]
___builtin_ctzll [in CFEM.C.matrix]
___builtin_ctzl [in CFEM.C.matrix]
___builtin_ctz [in CFEM.C.matrix]
___builtin_clzll [in CFEM.C.matrix]
___builtin_clzl [in CFEM.C.matrix]
___builtin_clz [in CFEM.C.matrix]
___builtin_clsll [in CFEM.C.matrix]
___builtin_clsl [in CFEM.C.matrix]
___builtin_cls [in CFEM.C.matrix]
___builtin_bswap64 [in CFEM.C.matrix]
___builtin_bswap32 [in CFEM.C.matrix]
___builtin_bswap16 [in CFEM.C.matrix]
___builtin_bswap [in CFEM.C.matrix]
___builtin_annot_intval [in CFEM.C.matrix]
___builtin_annot [in CFEM.C.matrix]
_A [in CFEM.C.matrix]
Record Index
F
FShape.shape [in CFEM.shapefloat]L
Legendre.gauss_weights [in CFEM.quadrature]Legendre.legendre_roots [in CFEM.quadrature]
R
roots_of_ortho_p [in CFEM.quadrature]S
Shape.shape [in CFEM.shape]| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1708 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (23 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (263 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (7 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1307 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
This page has been generated by coqdoc