xref: /libCEED/rust/libceed/src/basis.rs (revision 656ef1e5dc8a79430517f8559593f57085006221)
15aed82e4SJeremy L Thompson // Copyright (c) 2017-2024, 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>),
19356036faSJeremy L Thompson     None,
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 {
24356036faSJeremy L Thompson         debug_assert!(basis.ptr != unsafe { bind_ceed::CEED_BASIS_NONE });
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,
33356036faSJeremy L Thompson             Self::None => unsafe { bind_ceed::CEED_BASIS_NONE },
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     ///
47356036faSJeremy L Thompson     /// let b_opt = BasisOpt::None;
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,
55356036faSJeremy L Thompson             Self::None => false,
56e03682afSJeremy L Thompson         }
57e03682afSJeremy L Thompson     }
58e03682afSJeremy L Thompson 
59356036faSJeremy L Thompson     /// Check if a BasisOpt is None
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);
67356036faSJeremy L Thompson     /// assert!(!b_opt.is_none(), "Incorrect BasisOpt");
68e03682afSJeremy L Thompson     ///
69356036faSJeremy L Thompson     /// let b_opt = BasisOpt::None;
70356036faSJeremy L Thompson     /// assert!(b_opt.is_none(), "Incorrect BasisOpt");
71e03682afSJeremy L Thompson     /// # Ok(())
72e03682afSJeremy L Thompson     /// # }
73e03682afSJeremy L Thompson     /// ```
74356036faSJeremy L Thompson     pub fn is_none(&self) -> bool {
75e03682afSJeremy L Thompson         match self {
76e03682afSJeremy L Thompson             Self::Some(_) => false,
77356036faSJeremy L Thompson             Self::None => 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 {
97356036faSJeremy L Thompson             if self.ptr != bind_ceed::CEED_BASIS_NONE {
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         );
155*656ef1e5SJeremy L Thompson         ceed.check_error(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             )
168*656ef1e5SJeremy L Thompson         })?;
1691142270cSJeremy L Thompson         Ok(Self {
1701142270cSJeremy L Thompson             ptr,
1711142270cSJeremy L Thompson             _lifeline: PhantomData,
1721142270cSJeremy L Thompson         })
1739df49d7eSJed Brown     }
1749df49d7eSJed Brown 
175e03fef56SJeremy L Thompson     pub(crate) fn from_raw(ptr: bind_ceed::CeedBasis) -> crate::Result<Self> {
176e03fef56SJeremy L Thompson         Ok(Self {
177e03fef56SJeremy L Thompson             ptr,
178e03fef56SJeremy L Thompson             _lifeline: PhantomData,
179e03fef56SJeremy L Thompson         })
180e03fef56SJeremy L Thompson     }
181e03fef56SJeremy L Thompson 
1829df49d7eSJed Brown     pub fn create_tensor_H1_Lagrange(
183594ef120SJeremy L Thompson         ceed: &crate::Ceed,
1849df49d7eSJed Brown         dim: usize,
1859df49d7eSJed Brown         ncomp: usize,
1869df49d7eSJed Brown         P: usize,
1879df49d7eSJed Brown         Q: usize,
1889df49d7eSJed Brown         qmode: crate::QuadMode,
1899df49d7eSJed Brown     ) -> crate::Result<Self> {
1909df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
1919df49d7eSJed Brown         let (dim, ncomp, P, Q, qmode) = (
1929df49d7eSJed Brown             i32::try_from(dim).unwrap(),
1939df49d7eSJed Brown             i32::try_from(ncomp).unwrap(),
1949df49d7eSJed Brown             i32::try_from(P).unwrap(),
1959df49d7eSJed Brown             i32::try_from(Q).unwrap(),
1969df49d7eSJed Brown             qmode as bind_ceed::CeedQuadMode,
1979df49d7eSJed Brown         );
198*656ef1e5SJeremy L Thompson         ceed.check_error(unsafe {
1999df49d7eSJed Brown             bind_ceed::CeedBasisCreateTensorH1Lagrange(ceed.ptr, dim, ncomp, P, Q, qmode, &mut ptr)
200*656ef1e5SJeremy L Thompson         })?;
2011142270cSJeremy L Thompson         Ok(Self {
2021142270cSJeremy L Thompson             ptr,
2031142270cSJeremy L Thompson             _lifeline: PhantomData,
2041142270cSJeremy L Thompson         })
2059df49d7eSJed Brown     }
2069df49d7eSJed Brown 
2079df49d7eSJed Brown     pub fn create_H1(
208594ef120SJeremy L Thompson         ceed: &crate::Ceed,
2099df49d7eSJed Brown         topo: crate::ElemTopology,
2109df49d7eSJed Brown         ncomp: usize,
2119df49d7eSJed Brown         nnodes: usize,
2129df49d7eSJed Brown         nqpts: usize,
21380a9ef05SNatalie Beams         interp: &[crate::Scalar],
21480a9ef05SNatalie Beams         grad: &[crate::Scalar],
21580a9ef05SNatalie Beams         qref: &[crate::Scalar],
21680a9ef05SNatalie Beams         qweight: &[crate::Scalar],
2179df49d7eSJed Brown     ) -> crate::Result<Self> {
2189df49d7eSJed Brown         let mut ptr = std::ptr::null_mut();
2199df49d7eSJed Brown         let (topo, ncomp, nnodes, nqpts) = (
2209df49d7eSJed Brown             topo as bind_ceed::CeedElemTopology,
2219df49d7eSJed Brown             i32::try_from(ncomp).unwrap(),
2229df49d7eSJed Brown             i32::try_from(nnodes).unwrap(),
2239df49d7eSJed Brown             i32::try_from(nqpts).unwrap(),
2249df49d7eSJed Brown         );
225*656ef1e5SJeremy L Thompson         ceed.check_error(unsafe {
2269df49d7eSJed Brown             bind_ceed::CeedBasisCreateH1(
2279df49d7eSJed Brown                 ceed.ptr,
2289df49d7eSJed Brown                 topo,
2299df49d7eSJed Brown                 ncomp,
2309df49d7eSJed Brown                 nnodes,
2319df49d7eSJed Brown                 nqpts,
2329df49d7eSJed Brown                 interp.as_ptr(),
2339df49d7eSJed Brown                 grad.as_ptr(),
2349df49d7eSJed Brown                 qref.as_ptr(),
2359df49d7eSJed Brown                 qweight.as_ptr(),
2369df49d7eSJed Brown                 &mut ptr,
2379df49d7eSJed Brown             )
238*656ef1e5SJeremy L Thompson         })?;
2391142270cSJeremy L Thompson         Ok(Self {
2401142270cSJeremy L Thompson             ptr,
2411142270cSJeremy L Thompson             _lifeline: PhantomData,
2421142270cSJeremy L Thompson         })
2431142270cSJeremy L Thompson     }
2441142270cSJeremy L Thompson 
24511b88ddaSSebastian Grimberg     pub fn create_Hdiv(
24611b88ddaSSebastian Grimberg         ceed: &crate::Ceed,
24711b88ddaSSebastian Grimberg         topo: crate::ElemTopology,
24811b88ddaSSebastian Grimberg         ncomp: usize,
24911b88ddaSSebastian Grimberg         nnodes: usize,
25011b88ddaSSebastian Grimberg         nqpts: usize,
25111b88ddaSSebastian Grimberg         interp: &[crate::Scalar],
25211b88ddaSSebastian Grimberg         div: &[crate::Scalar],
25311b88ddaSSebastian Grimberg         qref: &[crate::Scalar],
25411b88ddaSSebastian Grimberg         qweight: &[crate::Scalar],
25511b88ddaSSebastian Grimberg     ) -> crate::Result<Self> {
25611b88ddaSSebastian Grimberg         let mut ptr = std::ptr::null_mut();
25711b88ddaSSebastian Grimberg         let (topo, ncomp, nnodes, nqpts) = (
25811b88ddaSSebastian Grimberg             topo as bind_ceed::CeedElemTopology,
25911b88ddaSSebastian Grimberg             i32::try_from(ncomp).unwrap(),
26011b88ddaSSebastian Grimberg             i32::try_from(nnodes).unwrap(),
26111b88ddaSSebastian Grimberg             i32::try_from(nqpts).unwrap(),
26211b88ddaSSebastian Grimberg         );
263*656ef1e5SJeremy L Thompson         ceed.check_error(unsafe {
26411b88ddaSSebastian Grimberg             bind_ceed::CeedBasisCreateHdiv(
26511b88ddaSSebastian Grimberg                 ceed.ptr,
26611b88ddaSSebastian Grimberg                 topo,
26711b88ddaSSebastian Grimberg                 ncomp,
26811b88ddaSSebastian Grimberg                 nnodes,
26911b88ddaSSebastian Grimberg                 nqpts,
27011b88ddaSSebastian Grimberg                 interp.as_ptr(),
27111b88ddaSSebastian Grimberg                 div.as_ptr(),
27211b88ddaSSebastian Grimberg                 qref.as_ptr(),
27311b88ddaSSebastian Grimberg                 qweight.as_ptr(),
27411b88ddaSSebastian Grimberg                 &mut ptr,
27511b88ddaSSebastian Grimberg             )
276*656ef1e5SJeremy L Thompson         })?;
27711b88ddaSSebastian Grimberg         Ok(Self {
27811b88ddaSSebastian Grimberg             ptr,
27911b88ddaSSebastian Grimberg             _lifeline: PhantomData,
28011b88ddaSSebastian Grimberg         })
28111b88ddaSSebastian Grimberg     }
28211b88ddaSSebastian Grimberg 
28311b88ddaSSebastian Grimberg     pub fn create_Hcurl(
28411b88ddaSSebastian Grimberg         ceed: &crate::Ceed,
28511b88ddaSSebastian Grimberg         topo: crate::ElemTopology,
28611b88ddaSSebastian Grimberg         ncomp: usize,
28711b88ddaSSebastian Grimberg         nnodes: usize,
28811b88ddaSSebastian Grimberg         nqpts: usize,
28911b88ddaSSebastian Grimberg         interp: &[crate::Scalar],
29011b88ddaSSebastian Grimberg         curl: &[crate::Scalar],
29111b88ddaSSebastian Grimberg         qref: &[crate::Scalar],
29211b88ddaSSebastian Grimberg         qweight: &[crate::Scalar],
29311b88ddaSSebastian Grimberg     ) -> crate::Result<Self> {
29411b88ddaSSebastian Grimberg         let mut ptr = std::ptr::null_mut();
29511b88ddaSSebastian Grimberg         let (topo, ncomp, nnodes, nqpts) = (
29611b88ddaSSebastian Grimberg             topo as bind_ceed::CeedElemTopology,
29711b88ddaSSebastian Grimberg             i32::try_from(ncomp).unwrap(),
29811b88ddaSSebastian Grimberg             i32::try_from(nnodes).unwrap(),
29911b88ddaSSebastian Grimberg             i32::try_from(nqpts).unwrap(),
30011b88ddaSSebastian Grimberg         );
301*656ef1e5SJeremy L Thompson         ceed.check_error(unsafe {
30211b88ddaSSebastian Grimberg             bind_ceed::CeedBasisCreateHcurl(
30311b88ddaSSebastian Grimberg                 ceed.ptr,
30411b88ddaSSebastian Grimberg                 topo,
30511b88ddaSSebastian Grimberg                 ncomp,
30611b88ddaSSebastian Grimberg                 nnodes,
30711b88ddaSSebastian Grimberg                 nqpts,
30811b88ddaSSebastian Grimberg                 interp.as_ptr(),
30911b88ddaSSebastian Grimberg                 curl.as_ptr(),
31011b88ddaSSebastian Grimberg                 qref.as_ptr(),
31111b88ddaSSebastian Grimberg                 qweight.as_ptr(),
31211b88ddaSSebastian Grimberg                 &mut ptr,
31311b88ddaSSebastian Grimberg             )
314*656ef1e5SJeremy L Thompson         })?;
31511b88ddaSSebastian Grimberg         Ok(Self {
31611b88ddaSSebastian Grimberg             ptr,
31711b88ddaSSebastian Grimberg             _lifeline: PhantomData,
31811b88ddaSSebastian Grimberg         })
31911b88ddaSSebastian Grimberg     }
32011b88ddaSSebastian Grimberg 
32111544396SJeremy L Thompson     // Raw Ceed for error handling
32211544396SJeremy L Thompson     #[doc(hidden)]
32311544396SJeremy L Thompson     fn ceed(&self) -> bind_ceed::Ceed {
32411544396SJeremy L Thompson         unsafe { bind_ceed::CeedBasisReturnCeed(self.ptr) }
32511544396SJeremy L Thompson     }
32611544396SJeremy L Thompson 
3271142270cSJeremy L Thompson     // Error handling
3281142270cSJeremy L Thompson     #[doc(hidden)]
3291142270cSJeremy L Thompson     fn check_error(&self, ierr: i32) -> crate::Result<i32> {
33011544396SJeremy L Thompson         crate::check_error(|| self.ceed(), ierr)
3319df49d7eSJed Brown     }
3329df49d7eSJed Brown 
3339df49d7eSJed Brown     /// Apply basis evaluation from nodes to quadrature points or vice versa
3349df49d7eSJed Brown     ///
3359df49d7eSJed Brown     /// * `nelem` - The number of elements to apply the basis evaluation to
3369df49d7eSJed Brown     /// * `tmode` - `TrasposeMode::NoTranspose` to evaluate from nodes to
3379df49d7eSJed Brown     ///               quadrature points, `TransposeMode::Transpose` to apply the
3389df49d7eSJed Brown     ///               transpose, mapping from quadrature points to nodes
3399df49d7eSJed Brown     /// * `emode` - `EvalMode::None` to use values directly, `EvalMode::Interp`
3409df49d7eSJed Brown     ///               to use interpolated values, `EvalMode::Grad` to use
3419df49d7eSJed Brown     ///               gradients, `EvalMode::Weight` to use quadrature weights
3429df49d7eSJed Brown     /// * `u`     - Input Vector
3439df49d7eSJed Brown     /// * `v`     - Output Vector
3449df49d7eSJed Brown     ///
3459df49d7eSJed Brown     /// ```
3469df49d7eSJed Brown     /// # use libceed::prelude::*;
3474d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
3489df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
3499df49d7eSJed Brown     /// const Q: usize = 6;
350c68be7a2SJeremy L Thompson     /// let bu = ceed.basis_tensor_H1_Lagrange(1, 1, Q, Q, QuadMode::GaussLobatto)?;
351c68be7a2SJeremy L Thompson     /// let bx = ceed.basis_tensor_H1_Lagrange(1, 1, 2, Q, QuadMode::Gauss)?;
3529df49d7eSJed Brown     ///
353c68be7a2SJeremy L Thompson     /// let x_corners = ceed.vector_from_slice(&[-1., 1.])?;
354c68be7a2SJeremy L Thompson     /// let mut x_qpts = ceed.vector(Q)?;
355c68be7a2SJeremy L Thompson     /// let mut x_nodes = ceed.vector(Q)?;
3569df49d7eSJed Brown     /// bx.apply(
3579df49d7eSJed Brown     ///     1,
3589df49d7eSJed Brown     ///     TransposeMode::NoTranspose,
3599df49d7eSJed Brown     ///     EvalMode::Interp,
3609df49d7eSJed Brown     ///     &x_corners,
3619df49d7eSJed Brown     ///     &mut x_nodes,
362d7f01795SJeremy L Thompson     /// )?;
3639df49d7eSJed Brown     /// bu.apply(
3649df49d7eSJed Brown     ///     1,
3659df49d7eSJed Brown     ///     TransposeMode::NoTranspose,
3669df49d7eSJed Brown     ///     EvalMode::Interp,
3679df49d7eSJed Brown     ///     &x_nodes,
3689df49d7eSJed Brown     ///     &mut x_qpts,
369d7f01795SJeremy L Thompson     /// )?;
3709df49d7eSJed Brown     ///
3719df49d7eSJed Brown     /// // Create function x^3 + 1 on Gauss Lobatto points
3729df49d7eSJed Brown     /// let mut u_arr = [0.; Q];
3739df49d7eSJed Brown     /// u_arr
3749df49d7eSJed Brown     ///     .iter_mut()
375e78171edSJeremy L Thompson     ///     .zip(x_nodes.view()?.iter())
3769df49d7eSJed Brown     ///     .for_each(|(u, x)| *u = x * x * x + 1.);
377c68be7a2SJeremy L Thompson     /// let u = ceed.vector_from_slice(&u_arr)?;
3789df49d7eSJed Brown     ///
3799df49d7eSJed Brown     /// // Map function to Gauss points
380c68be7a2SJeremy L Thompson     /// let mut v = ceed.vector(Q)?;
3819df49d7eSJed Brown     /// v.set_value(0.);
382c68be7a2SJeremy L Thompson     /// bu.apply(1, TransposeMode::NoTranspose, EvalMode::Interp, &u, &mut v)?;
3839df49d7eSJed Brown     ///
3849df49d7eSJed Brown     /// // Verify results
385e78171edSJeremy L Thompson     /// v.view()?
3869df49d7eSJed Brown     ///     .iter()
387e78171edSJeremy L Thompson     ///     .zip(x_qpts.view()?.iter())
3889df49d7eSJed Brown     ///     .for_each(|(v, x)| {
3899df49d7eSJed Brown     ///         let true_value = x * x * x + 1.;
39080a9ef05SNatalie Beams     ///         assert!(
39180a9ef05SNatalie Beams     ///             (*v - true_value).abs() < 10.0 * libceed::EPSILON,
39280a9ef05SNatalie Beams     ///             "Incorrect basis application"
39380a9ef05SNatalie Beams     ///         );
3949df49d7eSJed Brown     ///     });
395c68be7a2SJeremy L Thompson     /// # Ok(())
396c68be7a2SJeremy L Thompson     /// # }
3979df49d7eSJed Brown     /// ```
3989df49d7eSJed Brown     pub fn apply(
3999df49d7eSJed Brown         &self,
4009df49d7eSJed Brown         nelem: usize,
4019df49d7eSJed Brown         tmode: TransposeMode,
4029df49d7eSJed Brown         emode: EvalMode,
4039df49d7eSJed Brown         u: &Vector,
4049df49d7eSJed Brown         v: &mut Vector,
4059df49d7eSJed Brown     ) -> crate::Result<i32> {
4069df49d7eSJed Brown         let (nelem, tmode, emode) = (
4079df49d7eSJed Brown             i32::try_from(nelem).unwrap(),
4089df49d7eSJed Brown             tmode as bind_ceed::CeedTransposeMode,
4099df49d7eSJed Brown             emode as bind_ceed::CeedEvalMode,
4109df49d7eSJed Brown         );
411*656ef1e5SJeremy L Thompson         self.check_error(unsafe {
412*656ef1e5SJeremy L Thompson             bind_ceed::CeedBasisApply(self.ptr, nelem, tmode, emode, u.ptr, v.ptr)
413*656ef1e5SJeremy L Thompson         })
4149df49d7eSJed Brown     }
4159df49d7eSJed Brown 
4167ed177dbSJed Brown     /// Returns the dimension for given Basis
4179df49d7eSJed Brown     ///
4189df49d7eSJed Brown     /// ```
4199df49d7eSJed Brown     /// # use libceed::prelude::*;
4204d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
4219df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
4229df49d7eSJed Brown     /// let dim = 2;
423c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(dim, 1, 3, 4, QuadMode::Gauss)?;
4249df49d7eSJed Brown     ///
4259df49d7eSJed Brown     /// let d = b.dimension();
4269df49d7eSJed Brown     /// assert_eq!(d, dim, "Incorrect dimension");
427c68be7a2SJeremy L Thompson     /// # Ok(())
428c68be7a2SJeremy L Thompson     /// # }
4299df49d7eSJed Brown     /// ```
4309df49d7eSJed Brown     pub fn dimension(&self) -> usize {
4319df49d7eSJed Brown         let mut dim = 0;
4329df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetDimension(self.ptr, &mut dim) };
4339df49d7eSJed Brown         usize::try_from(dim).unwrap()
4349df49d7eSJed Brown     }
4359df49d7eSJed Brown 
4367ed177dbSJed Brown     /// Returns number of components for given Basis
4379df49d7eSJed Brown     ///
4389df49d7eSJed Brown     /// ```
4399df49d7eSJed Brown     /// # use libceed::prelude::*;
4404d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
4419df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
4429df49d7eSJed Brown     /// let ncomp = 2;
443c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(1, ncomp, 3, 4, QuadMode::Gauss)?;
4449df49d7eSJed Brown     ///
4459df49d7eSJed Brown     /// let n = b.num_components();
4469df49d7eSJed Brown     /// assert_eq!(n, ncomp, "Incorrect number of components");
447c68be7a2SJeremy L Thompson     /// # Ok(())
448c68be7a2SJeremy L Thompson     /// # }
4499df49d7eSJed Brown     /// ```
4509df49d7eSJed Brown     pub fn num_components(&self) -> usize {
4519df49d7eSJed Brown         let mut ncomp = 0;
4529df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetNumComponents(self.ptr, &mut ncomp) };
4539df49d7eSJed Brown         usize::try_from(ncomp).unwrap()
4549df49d7eSJed Brown     }
4559df49d7eSJed Brown 
4567ed177dbSJed Brown     /// Returns total number of nodes (in dim dimensions) of a Basis
4579df49d7eSJed Brown     ///
4589df49d7eSJed Brown     /// ```
4599df49d7eSJed Brown     /// # use libceed::prelude::*;
4604d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
4619df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
4629df49d7eSJed Brown     /// let p = 3;
463c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(2, 1, p, 4, QuadMode::Gauss)?;
4649df49d7eSJed Brown     ///
4659df49d7eSJed Brown     /// let nnodes = b.num_nodes();
4669df49d7eSJed Brown     /// assert_eq!(nnodes, p * p, "Incorrect number of nodes");
467c68be7a2SJeremy L Thompson     /// # Ok(())
468c68be7a2SJeremy L Thompson     /// # }
4699df49d7eSJed Brown     /// ```
4709df49d7eSJed Brown     pub fn num_nodes(&self) -> usize {
4719df49d7eSJed Brown         let mut nnodes = 0;
4729df49d7eSJed Brown         unsafe { bind_ceed::CeedBasisGetNumNodes(self.ptr, &mut nnodes) };
4739df49d7eSJed Brown         usize::try_from(nnodes).unwrap()
4749df49d7eSJed Brown     }
4759df49d7eSJed Brown 
4769df49d7eSJed Brown     /// Returns total number of quadrature points (in dim dimensions) of a
4777ed177dbSJed Brown     /// Basis
4789df49d7eSJed Brown     ///
4799df49d7eSJed Brown     /// ```
4809df49d7eSJed Brown     /// # use libceed::prelude::*;
4814d27c890SJeremy L Thompson     /// # fn main() -> libceed::Result<()> {
4829df49d7eSJed Brown     /// # let ceed = libceed::Ceed::default_init();
4839df49d7eSJed Brown     /// let q = 4;
484c68be7a2SJeremy L Thompson     /// let b = ceed.basis_tensor_H1_Lagrange(2, 1, 3, q, QuadMode::Gauss)?;
4859df49d7eSJed Brown     ///
4869df49d7eSJed Brown     /// let nqpts = b.num_quadrature_points();
4879df49d7eSJed Brown     /// assert_eq!(nqpts, q * q, "Incorrect number of quadrature points");
488c68be7a2SJeremy L Thompson     /// # Ok(())
489c68be7a2SJeremy L Thompson     /// # }
4909df49d7eSJed Brown     /// ```
4919df49d7eSJed Brown     pub fn num_quadrature_points(&self) -> usize {
4929df49d7eSJed Brown         let mut Q = 0;
4939df49d7eSJed Brown         unsafe {
4949df49d7eSJed Brown             bind_ceed::CeedBasisGetNumQuadraturePoints(self.ptr, &mut Q);
4959df49d7eSJed Brown         }
4969df49d7eSJed Brown         usize::try_from(Q).unwrap()
4979df49d7eSJed Brown     }
49800d548f6SJed Brown 
49900d548f6SJed Brown     /// Create projection from self to specified Basis.
50000d548f6SJed Brown     ///
50100d548f6SJed Brown     /// Both bases must have the same quadrature space. The input bases need not
50200d548f6SJed Brown     /// be nested as function spaces; this interface solves a least squares
503b748b478SJeremy L Thompson     /// problem to find a representation in the `to` basis that agrees at
50400d548f6SJed Brown     /// quadrature points with the origin basis. Since the bases need not be
50500d548f6SJed Brown     /// Lagrange, the resulting projection "basis" will have empty quadrature
50600d548f6SJed Brown     /// points and weights.
50700d548f6SJed Brown     ///
50800d548f6SJed Brown     /// ```
50900d548f6SJed Brown     /// # use libceed::prelude::*;
51000d548f6SJed Brown     /// # fn main() -> libceed::Result<()> {
51100d548f6SJed Brown     /// # let ceed = libceed::Ceed::default_init();
51200d548f6SJed Brown     /// let coarse = ceed.basis_tensor_H1_Lagrange(1, 1, 2, 3, QuadMode::Gauss)?;
51300d548f6SJed Brown     /// let fine = ceed.basis_tensor_H1_Lagrange(1, 1, 3, 3, QuadMode::Gauss)?;
51400d548f6SJed Brown     /// let proj = coarse.create_projection(&fine)?;
51500d548f6SJed Brown     /// let u = ceed.vector_from_slice(&[1., 2.])?;
51600d548f6SJed Brown     /// let mut v = ceed.vector(3)?;
51700d548f6SJed Brown     /// proj.apply(1, TransposeMode::NoTranspose, EvalMode::Interp, &u, &mut v)?;
51800d548f6SJed Brown     /// let expected = [1., 1.5, 2.];
51900d548f6SJed Brown     /// for (a, b) in v.view()?.iter().zip(expected) {
52000d548f6SJed Brown     ///     assert!(
52100d548f6SJed Brown     ///         (a - b).abs() < 10.0 * libceed::EPSILON,
52200d548f6SJed Brown     ///         "Incorrect projection of linear Lagrange to quadratic Lagrange"
52300d548f6SJed Brown     ///     );
52400d548f6SJed Brown     /// }
52500d548f6SJed Brown     /// # Ok(())
52600d548f6SJed Brown     /// # }
52700d548f6SJed Brown     /// ```
52800d548f6SJed Brown     pub fn create_projection(&self, to: &Self) -> crate::Result<Self> {
52900d548f6SJed Brown         let mut ptr = std::ptr::null_mut();
530*656ef1e5SJeremy L Thompson         self.check_error(unsafe {
531*656ef1e5SJeremy L Thompson             bind_ceed::CeedBasisCreateProjection(self.ptr, to.ptr, &mut ptr)
532*656ef1e5SJeremy L Thompson         })?;
53300d548f6SJed Brown         Ok(Self {
53400d548f6SJed Brown             ptr,
53500d548f6SJed Brown             _lifeline: PhantomData,
53600d548f6SJed Brown         })
53700d548f6SJed Brown     }
5389df49d7eSJed Brown }
5399df49d7eSJed Brown 
5409df49d7eSJed Brown // -----------------------------------------------------------------------------
541