FL.PROBLEM package introduces the
<problem> and some subclasses. The most interesting
<pde-problem> is defined on a
domain and provides a table mapping the domain patches to property lists
containing the coefficient functions.
Several subclasses of
<pde-problem> are defined in own packages,
The coefficient class.
:cellare possible choices. One element can also be a list starting with the keyword
:fe-parametersand followed by symbols indicating names of finite element functions on the discretization blackboard.
An instance of this class describes a problem posed on
domain with coefficients given on each patch of the domain. The
multiplicity is a positive integer which denotes the number of
right-hand sides and solutions (e.g. when computing several eigenvectors at
A mixin for eigenvalue problems.
Standard class for discrete eigenvalue problems.
Superclasses: <EVP-MIXIN> <NONLINEAR-PROBLEM>
Interpolation problem on a domain. The function which is to be interpolated is given as a coefficient with key FUNCTION in the coefficient list.
Generalized eigenvalue problem for matrices.
Standard form of a linear system of equations.
Class for nonlinear system of equations.
Class for nonlinear problems. The linearization contains a function returning a linear problem.
Base-class for a pde-problem.
Base class for all problems.
A mixin which should be used together with a <PDE-PROBLEM> in a call to MAKE-PROGRAMMATIC-INSTANCE.
Adds a list of fe-functions to the demands.
coeff defines a coefficient function inside
setup-coefficients. It is defined here at the toplevel such that the
Lisp editor indents the definitions correctly.
Returns the coefficients of problem on cell.
Reader for the coefficients of patch for problem.
Translates a symbol denoting a component to a position.
Returns the components of problem on cell.
Reader for the components of problem on patch.
Returns a coefficient which takes the given value. Several values can be passed which is needed, for example, for returning also the type of a boundary condition.
Returns a coefficient function which sets Dirichlet zero boundary conditions for all components of a PDE system.
Creates a PDE problem. type is the type of the problem which
can be the name of a problem class or a list of class names. domain
is the domain for this problem, multiplicity is the multiplicity of
the solution, e.g. the number of eigenvectors we search for. In
body, patch-dependent coefficients should be defined with
setup-coefficients. It is also possible to define patch-dependent
Returns the dual problem for problem with the right-hand side given by functional. The solution of this problem measures the sensitivity of functional applied to the solution of problem with respect to errors in the solution.
Evaluates the energy bilinear form for a generalized eigenvalue problem.
Returns obj if it is a coefficient, converts obj into a coefficient depending on the space variable if obj is a function; otherwise, obj is made into a constant coefficient.
Ensures that the field :RESIDUAL is computed and that the flag :RESIDUAL-P is set on the blackboard.
Ensures that the field :SOLUTION is set on the blackboard.
Extracts numbers or subvectors from the solution vector.
If component is in components, a triple consisting of position, length, and a flag is returned. The flag is true, if the component is a scalar.
Filters out the applicable coefficients for the respective cell with the given patch.
The function argument func is transformed into a coefficient depending on the solution.
The function argument func is transformed into a coefficient depending on global coordinates.
The function argument func is transformed into a coefficient depending on position and solution.
Get coefficient name from the list coeffs.
Gets property for object. Returns NIL also if property is not available.
A special coefficient used for identifying parts of the domain. The coefficient evaluation returns the master coordinates.
Predicate determining if a problem is linear or nonlinear.
Linearize the nonlinear problem PROBLEM at the point SOLUTION. The result should be a linear problem.
Constructs a standard LSE.
Generates a coefficient while dispatching on problem and coefficient name. May return a single coefficient or a list of several coefficients.
Evaluates the mass bilinear form for a generalized eigenvalue problem.
We allow multiple vectors, for solving linear problems in parallel.
Constructs a standard NLSE.
Returns the number of components for problem.
Prepares arguments for the given coefficient function.
Returns a list of finite element functions required by the coefficients in the property list coeffs.
Selects a linear solver for OBJECT. OBJECT is usually a matrix or a linear problem with certain characteristics.
Selects a solver for OBJECT. OBJECT is usually a problem with certain characteristics.
Returns two values. The first says if problem is self-adjoint, the second says if that value has really been checked.
Defines coefficients dispatching on patch.
Defines components dispatching on patch.
Finds the stationary pde problem for the time-dependent problem TDP.
Returns a coefficient function which constrains all system components to zero.