xref: /libCEED/rust/libceed/src/basis.rs (revision b748b478928b2ce7f3faeb46c0d9cffd927360f6)
13d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
39df49d7eSJed Brown //
43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
59df49d7eSJed Brown //
63d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
79df49d7eSJed Brown 
89df49d7eSJed Brown //! A Ceed Basis defines the discrete finite element basis and associated
99df49d7eSJed Brown //! quadrature rule.
109df49d7eSJed Brown 
119df49d7eSJed Brown use crate::prelude::*;
129df49d7eSJed Brown 
139df49d7eSJed Brown // -----------------------------------------------------------------------------
147ed177dbSJed Brown // Basis option
159df49d7eSJed Brown // -----------------------------------------------------------------------------
16c68be7a2SJeremy L Thompson #[derive(Debug)]
179df49d7eSJed Brown pub enum BasisOpt<'a> {
189df49d7eSJed Brown     Some(&'a Basis<'a>),
199df49d7eSJed Brown     Collocated,
209df49d7eSJed Brown }
219df49d7eSJed Brown /// Construct a BasisOpt reference from a Basis reference
229df49d7eSJed Brown impl<'a> From<&'a Basis<'_>> for BasisOpt<'a> {
239df49d7eSJed Brown     fn from(basis: &'a Basis) -> Self {
249df49d7eSJed Brown         debug_assert!(basis.ptr != unsafe { bind_ceed::CEED_BASIS_COLLOCATED });
259df49d7eSJed Brown         Self::Some(basis)
269df49d7eSJed Brown     }
279df49d7eSJed Brown }
289df49d7eSJed Brown impl<'a> BasisOpt<'a> {
299df49d7eSJed Brown     /// Transform a Rust libCEED BasisOpt into C libCEED CeedBasis
309df49d7eSJed Brown     pub(crate) fn to_raw(self) -> bind_ceed::CeedBasis {
319df49d7eSJed Brown         match self {
329df49d7eSJed Brown             Self::Some(basis) => basis.ptr,
339df49d7eSJed Brown             Self::Collocated => unsafe { bind_ceed::CEED_BASIS_COLLOCATED },
349df49d7eSJed Brown         }
359df49d7eSJed Brown     }
36e03682afSJeremy L Thompson 
37e03682afSJeremy L Thompson     /// Check if a BasisOpt is Some
38e03682afSJeremy L Thompson     ///
39e03682afSJeremy L Thompson     /// ```
40e03682afSJeremy L Thompson     /// # use libceed::prelude::*;
414d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
42e03682afSJeremy L Thompson     /// # let ceed = libceed::Ceed::default_init();
43e03682afSJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(1, 2, 3, 4, QuadMode::Gauss)?;
44e03682afSJeremy L Thompson     /// let b_opt = BasisOpt::from(&b);
45e03682afSJeremy L Thompson     /// assert!(b_opt.is_some(), "Incorrect BasisOpt");
46e03682afSJeremy L Thompson     ///
47e03682afSJeremy L Thompson     /// let b_opt = BasisOpt::Collocated;
48e03682afSJeremy L Thompson     /// assert!(!b_opt.is_some(), "Incorrect BasisOpt");
49e03682afSJeremy L Thompson     /// # Ok(())
50e03682afSJeremy L Thompson     /// # }
51e03682afSJeremy L Thompson     /// ```
52e03682afSJeremy L Thompson     pub fn is_some(&self) -> bool {
53e03682afSJeremy L Thompson         match self {
54e03682afSJeremy L Thompson             Self::Some(_) => true,
55e03682afSJeremy L Thompson             Self::Collocated => false,
56e03682afSJeremy L Thompson         }
57e03682afSJeremy L Thompson     }
58e03682afSJeremy L Thompson 
59e03682afSJeremy L Thompson     /// Check if a BasisOpt is Collocated
60e03682afSJeremy L Thompson     ///
61e03682afSJeremy L Thompson     /// ```
62e03682afSJeremy L Thompson     /// # use libceed::prelude::*;
634d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
64e03682afSJeremy L Thompson     /// # let ceed = libceed::Ceed::default_init();
65e03682afSJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(1, 2, 3, 4, QuadMode::Gauss)?;
66e03682afSJeremy L Thompson     /// let b_opt = BasisOpt::from(&b);
67e03682afSJeremy L Thompson     /// assert!(!b_opt.is_collocated(), "Incorrect BasisOpt");
68e03682afSJeremy L Thompson     ///
69e03682afSJeremy L Thompson     /// let b_opt = BasisOpt::Collocated;
70e03682afSJeremy L Thompson     /// assert!(b_opt.is_collocated(), "Incorrect BasisOpt");
71e03682afSJeremy L Thompson     /// # Ok(())
72e03682afSJeremy L Thompson     /// # }
73e03682afSJeremy L Thompson     /// ```
74e03682afSJeremy L Thompson     pub fn is_collocated(&self) -> bool {
75e03682afSJeremy L Thompson         match self {
76e03682afSJeremy L Thompson             Self::Some(_) => false,
77e03682afSJeremy L Thompson             Self::Collocated => true,
78e03682afSJeremy L Thompson         }
79e03682afSJeremy L Thompson     }
809df49d7eSJed Brown }
819df49d7eSJed Brown 
829df49d7eSJed Brown // -----------------------------------------------------------------------------
837ed177dbSJed Brown // Basis context wrapper
849df49d7eSJed Brown // -----------------------------------------------------------------------------
85c68be7a2SJeremy L Thompson #[derive(Debug)]
869df49d7eSJed Brown pub struct Basis<'a> {
879df49d7eSJed Brown     pub(crate) ptr: bind_ceed::CeedBasis,
881142270cSJeremy L Thompson     _lifeline: PhantomData<&'a ()>,
899df49d7eSJed Brown }
909df49d7eSJed Brown 
919df49d7eSJed Brown // -----------------------------------------------------------------------------
929df49d7eSJed Brown // Destructor
939df49d7eSJed Brown // -----------------------------------------------------------------------------
949df49d7eSJed Brown impl<'a> Drop for Basis<'a> {
959df49d7eSJed Brown     fn drop(&mut self) {
969df49d7eSJed Brown         unsafe {
979df49d7eSJed Brown             if self.ptr != bind_ceed::CEED_BASIS_COLLOCATED {
989df49d7eSJed Brown                 bind_ceed::CeedBasisDestroy(&mut self.ptr);
999df49d7eSJed Brown             }
1009df49d7eSJed Brown         }
1019df49d7eSJed Brown     }
1029df49d7eSJed Brown }
1039df49d7eSJed Brown 
1049df49d7eSJed Brown // -----------------------------------------------------------------------------
1059df49d7eSJed Brown // Display
1069df49d7eSJed Brown // -----------------------------------------------------------------------------
1079df49d7eSJed Brown impl<'a> fmt::Display for Basis<'a> {
1089df49d7eSJed Brown     /// View a Basis
1099df49d7eSJed Brown     ///
1109df49d7eSJed Brown     /// ```
1119df49d7eSJed Brown     /// # use libceed::prelude::*;
1124d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
1139df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
114c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(1, 2, 3, 4, QuadMode::Gauss)?;
1159df49d7eSJed Brown     /// println!("{}", b);
116c68be7a2SJeremy L Thompson     /// # Ok(())
117c68be7a2SJeremy L Thompson     /// # }
1189df49d7eSJed Brown     /// ```
1199df49d7eSJed Brown     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
1209df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
1219df49d7eSJed Brown         let mut sizeloc = crate::MAX_BUFFER_LENGTH;
1229df49d7eSJed Brown         let cstring = unsafe {
1239df49d7eSJed Brown             let file = bind_ceed::open_memstream(&mut ptr, &mut sizeloc);
1249df49d7eSJed Brown             bind_ceed::CeedBasisView(self.ptr, file);
1259df49d7eSJed Brown             bind_ceed::fclose(file);
1269df49d7eSJed Brown             CString::from_raw(ptr)
1279df49d7eSJed Brown         };
1289df49d7eSJed Brown         cstring.to_string_lossy().fmt(f)
1299df49d7eSJed Brown     }
1309df49d7eSJed Brown }
1319df49d7eSJed Brown 
1329df49d7eSJed Brown // -----------------------------------------------------------------------------
1339df49d7eSJed Brown // Implementations
1349df49d7eSJed Brown // -----------------------------------------------------------------------------
1359df49d7eSJed Brown impl<'a> Basis<'a> {
1369df49d7eSJed Brown     // Constructors
1379df49d7eSJed Brown     pub fn create_tensor_H1(
138594ef120SJeremy L Thompson         ceed: &crate::Ceed,
1399df49d7eSJed Brown         dim: usize,
1409df49d7eSJed Brown         ncomp: usize,
1419df49d7eSJed Brown         P1d: usize,
1429df49d7eSJed Brown         Q1d: usize,
14380a9ef05SNatalie Beams         interp1d: &[crate::Scalar],
14480a9ef05SNatalie Beams         grad1d: &[crate::Scalar],
14580a9ef05SNatalie Beams         qref1d: &[crate::Scalar],
14680a9ef05SNatalie Beams         qweight1d: &[crate::Scalar],
1479df49d7eSJed Brown     ) -> crate::Result<Self> {
1489df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
1499df49d7eSJed Brown         let (dim, ncomp, P1d, Q1d) = (
1509df49d7eSJed Brown             i32::try_from(dim).unwrap(),
1519df49d7eSJed Brown             i32::try_from(ncomp).unwrap(),
1529df49d7eSJed Brown             i32::try_from(P1d).unwrap(),
1539df49d7eSJed Brown             i32::try_from(Q1d).unwrap(),
1549df49d7eSJed Brown         );
1559df49d7eSJed Brown         let ierr = unsafe {
1569df49d7eSJed Brown             bind_ceed::CeedBasisCreateTensorH1(
1579df49d7eSJed Brown                 ceed.ptr,
1589df49d7eSJed Brown                 dim,
1599df49d7eSJed Brown                 ncomp,
1609df49d7eSJed Brown                 P1d,
1619df49d7eSJed Brown                 Q1d,
1629df49d7eSJed Brown                 interp1d.as_ptr(),
1639df49d7eSJed Brown                 grad1d.as_ptr(),
1649df49d7eSJed Brown                 qref1d.as_ptr(),
1659df49d7eSJed Brown                 qweight1d.as_ptr(),
1669df49d7eSJed Brown                 &mut ptr,
1679df49d7eSJed Brown             )
1689df49d7eSJed Brown         };
1699df49d7eSJed Brown         ceed.check_error(ierr)?;
1701142270cSJeremy L Thompson         Ok(Self {
1711142270cSJeremy L Thompson             ptr,
1721142270cSJeremy L Thompson             _lifeline: PhantomData,
1731142270cSJeremy L Thompson         })
1749df49d7eSJed Brown     }
1759df49d7eSJed Brown 
1769df49d7eSJed Brown     pub fn create_tensor_H1_Lagrange(
177594ef120SJeremy L Thompson         ceed: &crate::Ceed,
1789df49d7eSJed Brown         dim: usize,
1799df49d7eSJed Brown         ncomp: usize,
1809df49d7eSJed Brown         P: usize,
1819df49d7eSJed Brown         Q: usize,
1829df49d7eSJed Brown         qmode: crate::QuadMode,
1839df49d7eSJed Brown     ) -> crate::Result<Self> {
1849df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
1859df49d7eSJed Brown         let (dim, ncomp, P, Q, qmode) = (
1869df49d7eSJed Brown             i32::try_from(dim).unwrap(),
1879df49d7eSJed Brown             i32::try_from(ncomp).unwrap(),
1889df49d7eSJed Brown             i32::try_from(P).unwrap(),
1899df49d7eSJed Brown             i32::try_from(Q).unwrap(),
1909df49d7eSJed Brown             qmode as bind_ceed::CeedQuadMode,
1919df49d7eSJed Brown         );
1929df49d7eSJed Brown         let ierr = unsafe {
1939df49d7eSJed Brown             bind_ceed::CeedBasisCreateTensorH1Lagrange(ceed.ptr, dim, ncomp, P, Q, qmode, &mut ptr)
1949df49d7eSJed Brown         };
1959df49d7eSJed Brown         ceed.check_error(ierr)?;
1961142270cSJeremy L Thompson         Ok(Self {
1971142270cSJeremy L Thompson             ptr,
1981142270cSJeremy L Thompson             _lifeline: PhantomData,
1991142270cSJeremy L Thompson         })
2009df49d7eSJed Brown     }
2019df49d7eSJed Brown 
2029df49d7eSJed Brown     pub fn create_H1(
203594ef120SJeremy L Thompson         ceed: &crate::Ceed,
2049df49d7eSJed Brown         topo: crate::ElemTopology,
2059df49d7eSJed Brown         ncomp: usize,
2069df49d7eSJed Brown         nnodes: usize,
2079df49d7eSJed Brown         nqpts: usize,
20880a9ef05SNatalie Beams         interp: &[crate::Scalar],
20980a9ef05SNatalie Beams         grad: &[crate::Scalar],
21080a9ef05SNatalie Beams         qref: &[crate::Scalar],
21180a9ef05SNatalie Beams         qweight: &[crate::Scalar],
2129df49d7eSJed Brown     ) -> crate::Result<Self> {
2139df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
2149df49d7eSJed Brown         let (topo, ncomp, nnodes, nqpts) = (
2159df49d7eSJed Brown             topo as bind_ceed::CeedElemTopology,
2169df49d7eSJed Brown             i32::try_from(ncomp).unwrap(),
2179df49d7eSJed Brown             i32::try_from(nnodes).unwrap(),
2189df49d7eSJed Brown             i32::try_from(nqpts).unwrap(),
2199df49d7eSJed Brown         );
2209df49d7eSJed Brown         let ierr = unsafe {
2219df49d7eSJed Brown             bind_ceed::CeedBasisCreateH1(
2229df49d7eSJed Brown                 ceed.ptr,
2239df49d7eSJed Brown                 topo,
2249df49d7eSJed Brown                 ncomp,
2259df49d7eSJed Brown                 nnodes,
2269df49d7eSJed Brown                 nqpts,
2279df49d7eSJed Brown                 interp.as_ptr(),
2289df49d7eSJed Brown                 grad.as_ptr(),
2299df49d7eSJed Brown                 qref.as_ptr(),
2309df49d7eSJed Brown                 qweight.as_ptr(),
2319df49d7eSJed Brown                 &mut ptr,
2329df49d7eSJed Brown             )
2339df49d7eSJed Brown         };
2349df49d7eSJed Brown         ceed.check_error(ierr)?;
2351142270cSJeremy L Thompson         Ok(Self {
2361142270cSJeremy L Thompson             ptr,
2371142270cSJeremy L Thompson             _lifeline: PhantomData,
2381142270cSJeremy L Thompson         })
2391142270cSJeremy L Thompson     }
2401142270cSJeremy L Thompson 
2411142270cSJeremy L Thompson     // Error handling
2421142270cSJeremy L Thompson     #[doc(hidden)]
2431142270cSJeremy L Thompson     fn check_error(&self, ierr: i32) -> crate::Result<i32> {
2441142270cSJeremy L Thompson         let mut ptr = std::ptr::null_mut();
2451142270cSJeremy L Thompson         unsafe {
2461142270cSJeremy L Thompson             bind_ceed::CeedBasisGetCeed(self.ptr, &mut ptr);
2471142270cSJeremy L Thompson         }
2481142270cSJeremy L Thompson         crate::check_error(ptr, ierr)
2499df49d7eSJed Brown     }
2509df49d7eSJed Brown 
2519df49d7eSJed Brown     /// Apply basis evaluation from nodes to quadrature points or vice versa
2529df49d7eSJed Brown     ///
2539df49d7eSJed Brown     /// * `nelem` - The number of elements to apply the basis evaluation to
2549df49d7eSJed Brown     /// * `tmode` - `TrasposeMode::NoTranspose` to evaluate from nodes to
2559df49d7eSJed Brown     ///               quadrature points, `TransposeMode::Transpose` to apply the
2569df49d7eSJed Brown     ///               transpose, mapping from quadrature points to nodes
2579df49d7eSJed Brown     /// * `emode` - `EvalMode::None` to use values directly, `EvalMode::Interp`
2589df49d7eSJed Brown     ///               to use interpolated values, `EvalMode::Grad` to use
2599df49d7eSJed Brown     ///               gradients, `EvalMode::Weight` to use quadrature weights
2609df49d7eSJed Brown     /// * `u`     - Input Vector
2619df49d7eSJed Brown     /// * `v`     - Output Vector
2629df49d7eSJed Brown     ///
2639df49d7eSJed Brown     /// ```
2649df49d7eSJed Brown     /// # use libceed::prelude::*;
2654d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
2669df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
2679df49d7eSJed Brown     /// const Q: usize = 6;
268c68be7a2SJeremy L Thompson     /// let bu = ceed.basis_tensor_H1_Lagrange(1, 1, Q, Q, QuadMode::GaussLobatto)?;
269c68be7a2SJeremy L Thompson     /// let bx = ceed.basis_tensor_H1_Lagrange(1, 1, 2, Q, QuadMode::Gauss)?;
2709df49d7eSJed Brown     ///
271c68be7a2SJeremy L Thompson     /// let x_corners = ceed.vector_from_slice(&[-1., 1.])?;
272c68be7a2SJeremy L Thompson     /// let mut x_qpts = ceed.vector(Q)?;
273c68be7a2SJeremy L Thompson     /// let mut x_nodes = ceed.vector(Q)?;
2749df49d7eSJed Brown     /// bx.apply(
2759df49d7eSJed Brown     ///     1,
2769df49d7eSJed Brown     ///     TransposeMode::NoTranspose,
2779df49d7eSJed Brown     ///     EvalMode::Interp,
2789df49d7eSJed Brown     ///     &x_corners,
2799df49d7eSJed Brown     ///     &mut x_nodes,
280d7f01795SJeremy L Thompson     /// )?;
2819df49d7eSJed Brown     /// bu.apply(
2829df49d7eSJed Brown     ///     1,
2839df49d7eSJed Brown     ///     TransposeMode::NoTranspose,
2849df49d7eSJed Brown     ///     EvalMode::Interp,
2859df49d7eSJed Brown     ///     &x_nodes,
2869df49d7eSJed Brown     ///     &mut x_qpts,
287d7f01795SJeremy L Thompson     /// )?;
2889df49d7eSJed Brown     ///
2899df49d7eSJed Brown     /// // Create function x^3 + 1 on Gauss Lobatto points
2909df49d7eSJed Brown     /// let mut u_arr = [0.; Q];
2919df49d7eSJed Brown     /// u_arr
2929df49d7eSJed Brown     ///     .iter_mut()
293e78171edSJeremy L Thompson     ///     .zip(x_nodes.view()?.iter())
2949df49d7eSJed Brown     ///     .for_each(|(u, x)| *u = x * x * x + 1.);
295c68be7a2SJeremy L Thompson     /// let u = ceed.vector_from_slice(&u_arr)?;
2969df49d7eSJed Brown     ///
2979df49d7eSJed Brown     /// // Map function to Gauss points
298c68be7a2SJeremy L Thompson     /// let mut v = ceed.vector(Q)?;
2999df49d7eSJed Brown     /// v.set_value(0.);
300c68be7a2SJeremy L Thompson     /// bu.apply(1, TransposeMode::NoTranspose, EvalMode::Interp, &u, &mut v)?;
3019df49d7eSJed Brown     ///
3029df49d7eSJed Brown     /// // Verify results
303e78171edSJeremy L Thompson     /// v.view()?
3049df49d7eSJed Brown     ///     .iter()
305e78171edSJeremy L Thompson     ///     .zip(x_qpts.view()?.iter())
3069df49d7eSJed Brown     ///     .for_each(|(v, x)| {
3079df49d7eSJed Brown     ///         let true_value = x * x * x + 1.;
30880a9ef05SNatalie Beams     ///         assert!(
30980a9ef05SNatalie Beams     ///             (*v - true_value).abs() < 10.0 * libceed::EPSILON,
31080a9ef05SNatalie Beams     ///             "Incorrect basis application"
31180a9ef05SNatalie Beams     ///         );
3129df49d7eSJed Brown     ///     });
313c68be7a2SJeremy L Thompson     /// # Ok(())
314c68be7a2SJeremy L Thompson     /// # }
3159df49d7eSJed Brown     /// ```
3169df49d7eSJed Brown     pub fn apply(
3179df49d7eSJed Brown         &self,
3189df49d7eSJed Brown         nelem: usize,
3199df49d7eSJed Brown         tmode: TransposeMode,
3209df49d7eSJed Brown         emode: EvalMode,
3219df49d7eSJed Brown         u: &Vector,
3229df49d7eSJed Brown         v: &mut Vector,
3239df49d7eSJed Brown     ) -> crate::Result<i32> {
3249df49d7eSJed Brown         let (nelem, tmode, emode) = (
3259df49d7eSJed Brown             i32::try_from(nelem).unwrap(),
3269df49d7eSJed Brown             tmode as bind_ceed::CeedTransposeMode,
3279df49d7eSJed Brown             emode as bind_ceed::CeedEvalMode,
3289df49d7eSJed Brown         );
3299df49d7eSJed Brown         let ierr =
3309df49d7eSJed Brown             unsafe { bind_ceed::CeedBasisApply(self.ptr, nelem, tmode, emode, u.ptr, v.ptr) };
3311142270cSJeremy L Thompson         self.check_error(ierr)
3329df49d7eSJed Brown     }
3339df49d7eSJed Brown 
3347ed177dbSJed Brown     /// Returns the dimension for given Basis
3359df49d7eSJed Brown     ///
3369df49d7eSJed Brown     /// ```
3379df49d7eSJed Brown     /// # use libceed::prelude::*;
3384d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
3399df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
3409df49d7eSJed Brown     /// let dim = 2;
341c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(dim, 1, 3, 4, QuadMode::Gauss)?;
3429df49d7eSJed Brown     ///
3439df49d7eSJed Brown     /// let d = b.dimension();
3449df49d7eSJed Brown     /// assert_eq!(d, dim, "Incorrect dimension");
345c68be7a2SJeremy L Thompson     /// # Ok(())
346c68be7a2SJeremy L Thompson     /// # }
3479df49d7eSJed Brown     /// ```
3489df49d7eSJed Brown     pub fn dimension(&self) -> usize {
3499df49d7eSJed Brown         let mut dim = 0;
3509df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetDimension(self.ptr, &mut dim) };
3519df49d7eSJed Brown         usize::try_from(dim).unwrap()
3529df49d7eSJed Brown     }
3539df49d7eSJed Brown 
3547ed177dbSJed Brown     /// Returns number of components for given Basis
3559df49d7eSJed Brown     ///
3569df49d7eSJed Brown     /// ```
3579df49d7eSJed Brown     /// # use libceed::prelude::*;
3584d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
3599df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
3609df49d7eSJed Brown     /// let ncomp = 2;
361c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(1, ncomp, 3, 4, QuadMode::Gauss)?;
3629df49d7eSJed Brown     ///
3639df49d7eSJed Brown     /// let n = b.num_components();
3649df49d7eSJed Brown     /// assert_eq!(n, ncomp, "Incorrect number of components");
365c68be7a2SJeremy L Thompson     /// # Ok(())
366c68be7a2SJeremy L Thompson     /// # }
3679df49d7eSJed Brown     /// ```
3689df49d7eSJed Brown     pub fn num_components(&self) -> usize {
3699df49d7eSJed Brown         let mut ncomp = 0;
3709df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetNumComponents(self.ptr, &mut ncomp) };
3719df49d7eSJed Brown         usize::try_from(ncomp).unwrap()
3729df49d7eSJed Brown     }
3739df49d7eSJed Brown 
3747ed177dbSJed Brown     /// Returns total number of nodes (in dim dimensions) of a Basis
3759df49d7eSJed Brown     ///
3769df49d7eSJed Brown     /// ```
3779df49d7eSJed Brown     /// # use libceed::prelude::*;
3784d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
3799df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
3809df49d7eSJed Brown     /// let p = 3;
381c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(2, 1, p, 4, QuadMode::Gauss)?;
3829df49d7eSJed Brown     ///
3839df49d7eSJed Brown     /// let nnodes = b.num_nodes();
3849df49d7eSJed Brown     /// assert_eq!(nnodes, p * p, "Incorrect number of nodes");
385c68be7a2SJeremy L Thompson     /// # Ok(())
386c68be7a2SJeremy L Thompson     /// # }
3879df49d7eSJed Brown     /// ```
3889df49d7eSJed Brown     pub fn num_nodes(&self) -> usize {
3899df49d7eSJed Brown         let mut nnodes = 0;
3909df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetNumNodes(self.ptr, &mut nnodes) };
3919df49d7eSJed Brown         usize::try_from(nnodes).unwrap()
3929df49d7eSJed Brown     }
3939df49d7eSJed Brown 
3949df49d7eSJed Brown     /// Returns total number of quadrature points (in dim dimensions) of a
3957ed177dbSJed Brown     /// Basis
3969df49d7eSJed Brown     ///
3979df49d7eSJed Brown     /// ```
3989df49d7eSJed Brown     /// # use libceed::prelude::*;
3994d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
4009df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
4019df49d7eSJed Brown     /// let q = 4;
402c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(2, 1, 3, q, QuadMode::Gauss)?;
4039df49d7eSJed Brown     ///
4049df49d7eSJed Brown     /// let nqpts = b.num_quadrature_points();
4059df49d7eSJed Brown     /// assert_eq!(nqpts, q * q, "Incorrect number of quadrature points");
406c68be7a2SJeremy L Thompson     /// # Ok(())
407c68be7a2SJeremy L Thompson     /// # }
4089df49d7eSJed Brown     /// ```
4099df49d7eSJed Brown     pub fn num_quadrature_points(&self) -> usize {
4109df49d7eSJed Brown         let mut Q = 0;
4119df49d7eSJed Brown         unsafe {
4129df49d7eSJed Brown             bind_ceed::CeedBasisGetNumQuadraturePoints(self.ptr, &mut Q);
4139df49d7eSJed Brown         }
4149df49d7eSJed Brown         usize::try_from(Q).unwrap()
4159df49d7eSJed Brown     }
41600d548f6SJed Brown 
41700d548f6SJed Brown     /// Create projection from self to specified Basis.
41800d548f6SJed Brown     ///
41900d548f6SJed Brown     /// Both bases must have the same quadrature space. The input bases need not
42000d548f6SJed Brown     /// be nested as function spaces; this interface solves a least squares
421*b748b478SJeremy L Thompson     /// problem to find a representation in the `to` basis that agrees at
42200d548f6SJed Brown     /// quadrature points with the origin basis. Since the bases need not be
42300d548f6SJed Brown     /// Lagrange, the resulting projection "basis" will have empty quadrature
42400d548f6SJed Brown     /// points and weights.
42500d548f6SJed Brown     ///
42600d548f6SJed Brown     /// ```
42700d548f6SJed Brown     /// # use libceed::prelude::*;
42800d548f6SJed Brown     /// # fn main() -> libceed::Result<()> {
42900d548f6SJed Brown     /// # let ceed = libceed::Ceed::default_init();
43000d548f6SJed Brown     /// let coarse = ceed.basis_tensor_H1_Lagrange(1, 1, 2, 3, QuadMode::Gauss)?;
43100d548f6SJed Brown     /// let fine = ceed.basis_tensor_H1_Lagrange(1, 1, 3, 3, QuadMode::Gauss)?;
43200d548f6SJed Brown     /// let proj = coarse.create_projection(&fine)?;
43300d548f6SJed Brown     /// let u = ceed.vector_from_slice(&[1., 2.])?;
43400d548f6SJed Brown     /// let mut v = ceed.vector(3)?;
43500d548f6SJed Brown     /// proj.apply(1, TransposeMode::NoTranspose, EvalMode::Interp, &u, &mut v)?;
43600d548f6SJed Brown     /// let expected = [1., 1.5, 2.];
43700d548f6SJed Brown     /// for (a, b) in v.view()?.iter().zip(expected) {
43800d548f6SJed Brown     ///     assert!(
43900d548f6SJed Brown     ///         (a - b).abs() < 10.0 * libceed::EPSILON,
44000d548f6SJed Brown     ///         "Incorrect projection of linear Lagrange to quadratic Lagrange"
44100d548f6SJed Brown     ///     );
44200d548f6SJed Brown     /// }
44300d548f6SJed Brown     /// # Ok(())
44400d548f6SJed Brown     /// # }
44500d548f6SJed Brown     /// ```
44600d548f6SJed Brown     pub fn create_projection(&self, to: &Self) -> crate::Result<Self> {
44700d548f6SJed Brown         let mut ptr = std::ptr::null_mut();
44800d548f6SJed Brown         let ierr = unsafe { bind_ceed::CeedBasisCreateProjection(self.ptr, to.ptr, &mut ptr) };
44900d548f6SJed Brown         self.check_error(ierr)?;
45000d548f6SJed Brown         Ok(Self {
45100d548f6SJed Brown             ptr,
45200d548f6SJed Brown             _lifeline: PhantomData,
45300d548f6SJed Brown         })
45400d548f6SJed Brown     }
4559df49d7eSJed Brown }
4569df49d7eSJed Brown 
4579df49d7eSJed Brown // -----------------------------------------------------------------------------
458