Merge pull request #17011 from bangerth/link-fes

Link FE_Q, FE_SimplexP, and friends in the documentation.

include/deal.II/fe/fe_pyramid_p.h

@@ -54,7 +54,9 @@ class FE_PyramidPoly : public dealii::FE_Poly<dim, spacedim>
 /**
  * Implementation of a scalar Lagrange finite element on a pyramid that yields
  * the finite element space of continuous, piecewise polynomials of
- * degree $k$.
+ * degree $k$. The corresponding element on simplex (triangular or tetrahedral)
+ * cells is FE_SimplexP, on hypercube cells it is FE_Q, and
+ * on wedges it is FE_WedgeP.
  *
  * @note Currently, only linear polynomials (degree=1) are implemented. See
  * also the documentation of ScalarLagrangePolynomialPyramid.

include/deal.II/fe/fe_q.h

@@ -30,11 +30,15 @@ DEAL_II_NAMESPACE_OPEN
  */
 
 /**
- * Implementation of a scalar Lagrange finite element @p Qp that yields the
+ * This class provides an implementation of the scalar Lagrange $Q_p$ finite
+ * element on hypercube (line segments, quadrilaterals, or hexahedra) cells that
+ * yields the
  * finite element space of continuous, piecewise polynomials of degree @p p in
  * each coordinate direction. This class is realized using tensor product
  * polynomials based on 1d Lagrange polynomials with equidistant (degree up to
- * 2), Gauss-Lobatto (starting from degree 3), or given support points.
+ * 2), Gauss-Lobatto (starting from degree 3), or given support points. The
+ * corresponding element on simplex (triangular or tetrahedral) cells is
+ * FE_SimplexP, whereas on other cell kinds it is FE_WedgeP and FE_PyramidP.
  *
  * The standard constructor of this class takes the degree @p p of this finite
  * element. Alternatively, it can take a quadrature formula @p points defining

include/deal.II/fe/fe_simplex_p.h

@@ -122,7 +122,8 @@ class FE_SimplexPoly : public dealii::FE_Poly<dim, spacedim>
 /**
  * Implementation of a scalar Lagrange finite element $P_k$ that yields
  * the finite element space of continuous, piecewise polynomials of
- * degree $k$.
+ * degree $k$. The corresponding element on hypercube cells is FE_Q, on
+ * wegdes it is FE_WedgeP, and on pyramids it is FE_PyramidP.
  *
  * Also see
  * @ref simplex "Simplex support".

include/deal.II/fe/fe_wedge_p.h

@@ -54,7 +54,9 @@ class FE_WedgePoly : public dealii::FE_Poly<dim, spacedim>
 /**
  * Implementation of a scalar Lagrange finite element on a wedge that yields
  * the finite element space of continuous, piecewise polynomials of
- * degree $k$.
+ * degree $k$. The corresponding element on simplex (triangular or tetrahedral)
+ * cells is FE_SimplexP, on hypercube cells it is FE_Q, and
+ * on pyramids it is FE_PyramidP.
  *
  * @note Currently, only linear (degree=1) and quadratic polynomials
  *   (degree=2) are implemented. See also the documentation of