Gridap.FESpaces

The exported names are

• AffineFEOperator
• AffineFETerm
• Assembler
• CLagrangianFESpace
• CellBasis
• CellMatrixField
• DirichletFESpace
• DiscontinuousFESpace
• DivConformingFESpace
• FECellBasisStyle
• FEFunction
• FEFunctionStyle
• FEOperator
• FESolver
• FESource
• FESpace
• FESpaceWithLastDofRemoved
• FETerm
• GenericCellBasis
• GenericCellMatrixField
• GradConformingFESpace
• GridapType
• LinearFESolver
• LinearFETerm
• NonLinearFESolver
• SingleFieldFEFunction
• SingleFieldFESpace
• SparseMatrixAssembler
• TestFESpace
• TrialFESpace
• TrialStyle
• UnsconstrainedFESpace
• ZeroMeanFESpace
• allocate_matrix
• allocate_matrix_and_vector
• allocate_vector
• apply_constraints_matrix_and_vector_rows
• apply_constraints_matrix_cols
• apply_constraints_matrix_rows
• apply_constraints_vector
• assemble_matrix
• assemble_matrix!
• assemble_matrix_and_vector
• assemble_matrix_and_vector!
• assemble_vector
• assemble_vector!
• collect_cell_jacobian
• collect_cell_matrix
• collect_cell_residual
• collect_cell_vector
• compute_conforming_cell_dofs
• compute_dirichlet_values
• compute_dirichlet_values_for_tags
• compute_free_and_dirichlet_values
• compute_free_values
• gather_dirichlet_values
• gather_free_and_dirichlet_values
• gather_free_values
• get_algebraic_operator
• get_cell_basis
• get_cell_dof_basis
• get_cell_dofs
• get_cell_jacobian
• get_cell_matrix
• get_cell_residual
• get_cell_vector
• get_dirichlet_dof_tag
• get_dirichlet_values
• get_fe_space
• get_free_values
• get_test
• get_trial
• interpolate
• interpolate_dirichlet
• interpolate_everywhere
• is_a_fe_cell_basis
• is_a_fe_function
• is_test
• is_trial
• @law
• num_dirichlet_dofs
• num_dirichlet_tags
• num_free_dofs
• operate
• scatter_free_and_dirichlet_values
• test_assembler
• test_cell_basis
• test_cell_matrix_field
• test_fe_function
• test_fe_operator
• test_fe_solver
• test_fe_space
• test_single_field_fe_space
• zero_dirichlet_values
• zero_free_values

AffineFEOperator(test::FESpace,trial::FESpace,assem::Assembler,terms::AffineFETerm...) AffineFEOperator(test::FESpace,trial::FESpace,terms::AffineFETerm...)

struct CLagrangianFESpace{S} <: SingleFieldFESpace
  grid::Grid
  dof_to_node::Vector{Int}
  dof_to_comp::Vector{Int8}
  node_and_comp_to_dof::Vector{S}
  # + private fields
end

CLagrangianFESpace(::Type{T},grid::Grid) where T

struct DirichletFESpace <: SingleFieldFESpace
  space::SingleFieldFESpace
end

struct FESpaceWithLastDofRemoved <: SingleFieldFESpace
  space::SingleFieldFESpace
end

FESpaceWithLastDofRemoved(space::SingleFieldFESpace)

The solver that solves a LinearFEOperator

A general NonLinearFESolver

Generic implementation of an unconstrained single-field FE space Private fields and type parameters

struct ZeroMeanFESpace <: SingleFieldFESpace
  # private fields
end

ZeroMeanFESpace(
  space::SingleFieldFESpace,
  trian::Triangulation,
  quad::CellQuadrature)

DiscontinuousFESpace(reffes::Vector{<:ReferenceFE}, trian::Triangulation)

DivConformingFESpace(
  reffes::Vector{<:ReferenceFE},
  model::DiscreteModel,
  face_labeing::FaceLabeling,
  dirichlet_tags)

FEFunction(
  fs::SingleFieldFESpace, free_values::AbstractVector, dirichlet_values::AbstractVector)

The resulting FEFunction will be in the space if and only if dirichlet_values are the ones provided by get_dirichlet_values(fs)

Types marked with this trait need to implement the following queries

• [get_free_values(object)]
• [get_fe_space(object)]

computeconformingcelldofs( reffes, gridtopology, facelabeing, dirichlettags)

computeconformingcelldofs( reffes, gridtopology, facelabeing, dirichlettags, dirichlet_components)

The result is the tuple

(cell_dofs, nfree, ndiri, dirichlet_dof_tag, dirichlet_cells)

Assumes that the reffes are aligned with the cell type in the grid_topology and that it is possible to build a conforming space without imposing constraints

If dirichlet_components is given, then get_dof_to_comp has to be defined for the reference elements in reffes.

cell_field defined in the reference space with derivatives in the physical one

Returns an object representing the contribution to the Jacobian of the given term. Returns nothing if the term has not contribution to the Jacobian (typically for source terms)

Returns an object representing the contribution to the system matrix of the given term. Returns nothing if the term has not contribution (typically for source terms)

Returns an object representing the contribution to the residual of the given term. Returns always something.

Returns an object (e.g. a CellVector) representing the contribution to the system rhs of the given term. Returns nothing if the term has not contribution (typically for linear terms)

The resulting FE function is in the space (in particular it fulfills Dirichlet BCs even in the case that the given cell field does not fulfill them)

like interpolate, but also compute new degrees of freedom for the dirichlet component. The resulting FEFunction does not necessary belongs to the underlying space

uh = solve!(uh,solver,op,cache)

This function changes the state of the input and can render it in a corrupted state. It is recommended to rewrite the input uh with the output as illustrated to prevent any issue.

uh, cache = solve!(uh,solver,op)

This function changes the state of the input and can render it in a corrupted state. It is recommended to rewrite the input uh with the output as illustrated to prevent any issue.

Solve that allocates, and sets initial guess to zero and returns the solution