warp-lang 0.9.0__py3-none-win_amd64.whl → 0.11.0__py3-none-win_amd64.whl

warp/fem/space/tetmesh_function_space.py

@@ -0,0 +1,292 @@
+import warp as wp
+
+from warp.fem.types import ElementIndex, Coords
+from warp.fem.geometry import Tetmesh
+from warp.fem import cache
+
+from .topology import SpaceTopology, DiscontinuousSpaceTopologyMixin, forward_base_topology
+from .basis_space import ShapeBasisSpace, TraceBasisSpace
+
+from .shape import ShapeFunction, ConstantShapeFunction
+from .shape import TetrahedronPolynomialShapeFunctions, TetrahedronNonConformingPolynomialShapeFunctions
+
+
+@wp.struct
+class TetmeshTopologyArg:
+    tet_edge_indices: wp.array2d(dtype=int)
+    tet_face_indices: wp.array2d(dtype=int)
+    face_vertex_indices: wp.array(dtype=wp.vec3i)
+
+    vertex_count: int
+    edge_count: int
+    face_count: int
+
+
+class TetmeshSpaceTopology(SpaceTopology):
+    TopologyArg = TetmeshTopologyArg
+
+    def __init__(
+        self,
+        mesh: Tetmesh,
+        shape: ShapeFunction,
+        need_tet_edge_indices: bool = True,
+        need_tet_face_indices: bool = True,
+    ):
+        super().__init__(mesh, shape.NODES_PER_ELEMENT)
+        self._mesh = mesh
+        self._shape = shape
+
+        if need_tet_edge_indices:
+            self._tet_edge_indices = self._mesh.tet_edge_indices
+            self._edge_count = self._mesh.edge_count()
+        else:
+            self._tet_edge_indices = wp.empty(shape=(0, 0), dtype=int)
+            self._edge_count = 0
+
+        if need_tet_face_indices:
+            self._compute_tet_face_indices()
+        else:
+            self._tet_face_indices = wp.empty(shape=(0, 0), dtype=int)
+
+    @cache.cached_arg_value
+    def topo_arg_value(self, device):
+        arg = TetmeshTopologyArg()
+        arg.tet_face_indices = self._tet_face_indices.to(device)
+        arg.tet_edge_indices = self._tet_edge_indices.to(device)
+        arg.face_vertex_indices = self._mesh.face_vertex_indices.to(device)
+
+        arg.vertex_count = self._mesh.vertex_count()
+        arg.face_count = self._mesh.side_count()
+        arg.edge_count = self._edge_count
+        return arg
+
+    def _compute_tet_face_indices(self):
+        self._tet_face_indices = wp.empty(
+            dtype=int, device=self._mesh.tet_vertex_indices.device, shape=(self._mesh.cell_count(), 4)
+        )
+
+        wp.launch(
+            kernel=TetmeshSpaceTopology._compute_tet_face_indices_kernel,
+            dim=self._mesh._face_tet_indices.shape,
+            device=self._mesh.tet_vertex_indices.device,
+            inputs=[
+                self._mesh.face_tet_indices,
+                self._mesh.face_vertex_indices,
+                self._mesh.tet_vertex_indices,
+                self._tet_face_indices,
+            ],
+        )
+
+    @wp.func
+    def _find_face_index_in_tet(
+        face_vtx: wp.vec3i,
+        tet_vtx: wp.vec4i,
+    ):
+        for k in range(3):
+            tvk = wp.vec3i(tet_vtx[k], tet_vtx[(k + 1) % 4], tet_vtx[(k + 2) % 4])
+
+            # Use fact that face always start with min vertex
+            min_t = wp.min(tvk)
+            max_t = wp.max(tvk)
+            mid_t = tvk[0] + tvk[1] + tvk[2] - min_t - max_t
+
+            if min_t == face_vtx[0] and (
+                (face_vtx[2] == max_t and face_vtx[1] == mid_t) or (face_vtx[1] == max_t and face_vtx[2] == mid_t)
+            ):
+                return k
+
+        return 3
+
+    @wp.kernel
+    def _compute_tet_face_indices_kernel(
+        face_tet_indices: wp.array(dtype=wp.vec2i),
+        face_vertex_indices: wp.array(dtype=wp.vec3i),
+        tet_vertex_indices: wp.array2d(dtype=int),
+        tet_face_indices: wp.array2d(dtype=int),
+    ):
+        e = wp.tid()
+
+        face_vtx = face_vertex_indices[e]
+        face_tets = face_tet_indices[e]
+
+        t0 = face_tets[0]
+        t0_vtx = wp.vec4i(
+            tet_vertex_indices[t0, 0], tet_vertex_indices[t0, 1], tet_vertex_indices[t0, 2], tet_vertex_indices[t0, 3]
+        )
+        t0_face = TetmeshSpaceTopology._find_face_index_in_tet(face_vtx, t0_vtx)
+        tet_face_indices[t0, t0_face] = e
+
+        t1 = face_tets[1]
+        if t1 != t0:
+            t1_vtx = wp.vec4i(
+                tet_vertex_indices[t1, 0],
+                tet_vertex_indices[t1, 1],
+                tet_vertex_indices[t1, 2],
+                tet_vertex_indices[t1, 3],
+            )
+            t1_face = TetmeshSpaceTopology._find_face_index_in_tet(face_vtx, t1_vtx)
+            tet_face_indices[t1, t1_face] = e
+
+
+class TetmeshDiscontinuousSpaceTopology(
+    DiscontinuousSpaceTopologyMixin,
+    SpaceTopology,
+):
+    def __init__(self, mesh: Tetmesh, shape: ShapeFunction):
+        super().__init__(mesh, shape.NODES_PER_ELEMENT)
+
+
+class TetmeshBasisSpace(ShapeBasisSpace):
+    def __init__(self, topology: TetmeshSpaceTopology, shape: ShapeFunction):
+        super().__init__(topology, shape)
+
+        self._mesh: Tetmesh = topology.geometry
+
+
+class TetmeshPiecewiseConstantBasis(TetmeshBasisSpace):
+    def __init__(self, mesh: Tetmesh):
+        shape = ConstantShapeFunction(mesh.reference_cell(), space_dimension=3)
+        topology = TetmeshDiscontinuousSpaceTopology(mesh, shape)
+        super().__init__(shape=shape, topology=topology)
+
+    class Trace(TraceBasisSpace):
+        @wp.func
+        def _node_coords_in_element(
+            side_arg: Tetmesh.SideArg,
+            basis_arg: TetmeshBasisSpace.BasisArg,
+            element_index: ElementIndex,
+            node_index_in_element: int,
+        ):
+            return Coords(1.0 / 3.0, 1.0 / 3.0, 1.0 / 3.0)
+
+        def make_node_coords_in_element(self):
+            return self._node_coords_in_element
+
+    def trace(self):
+        return TetmeshPiecewiseConstantBasis.Trace(self)
+
+
+class TetmeshPolynomialSpaceTopology(TetmeshSpaceTopology):
+    def __init__(self, mesh: Tetmesh, shape: TetrahedronPolynomialShapeFunctions):
+        super().__init__(mesh, shape, need_tet_edge_indices=shape.ORDER >= 2, need_tet_face_indices=shape.ORDER >= 3)
+
+        self.element_node_index = self._make_element_node_index()
+
+    def node_count(self) -> int:
+        ORDER = self._shape.ORDER
+        INTERIOR_NODES_PER_EDGE = max(0, ORDER - 1)
+        INTERIOR_NODES_PER_FACE = max(0, ORDER - 2) * max(0, ORDER - 1) // 2
+        INTERIOR_NODES_PER_CELL = max(0, ORDER - 3) * max(0, ORDER - 2) * max(0, ORDER - 1) // 6
+
+        return (
+            self._mesh.vertex_count()
+            + self._mesh.edge_count() * INTERIOR_NODES_PER_EDGE
+            + self._mesh.side_count() * INTERIOR_NODES_PER_FACE
+            + self._mesh.cell_count() * INTERIOR_NODES_PER_CELL
+        )
+
+    def _make_element_node_index(self):
+        ORDER = self._shape.ORDER
+        INTERIOR_NODES_PER_EDGE = wp.constant(max(0, ORDER - 1))
+        INTERIOR_NODES_PER_FACE = wp.constant(max(0, ORDER - 2) * max(0, ORDER - 1) // 2)
+        INTERIOR_NODES_PER_CELL = wp.constant(max(0, ORDER - 3) * max(0, ORDER - 2) * max(0, ORDER - 1) // 6)
+
+        @cache.dynamic_func(suffix=self.name)
+        def element_node_index(
+            geo_arg: Tetmesh.CellArg,
+            topo_arg: TetmeshTopologyArg,
+            element_index: ElementIndex,
+            node_index_in_elt: int,
+        ):
+            node_type, type_index = self._shape.node_type_and_type_index(node_index_in_elt)
+
+            if node_type == TetrahedronPolynomialShapeFunctions.VERTEX:
+                return geo_arg.tet_vertex_indices[element_index][type_index]
+
+            global_offset = topo_arg.vertex_count
+
+            if node_type == TetrahedronPolynomialShapeFunctions.EDGE:
+                edge = type_index // INTERIOR_NODES_PER_EDGE
+                edge_node = type_index - INTERIOR_NODES_PER_EDGE * edge
+
+                global_edge_index = topo_arg.tet_edge_indices[element_index][edge]
+
+                # Test if we need to swap edge direction
+                if INTERIOR_NODES_PER_EDGE > 1:
+                    if edge < 3:
+                        c1 = edge
+                        c2 = (edge + 1) % 3
+                    else:
+                        c1 = edge - 3
+                        c2 = 3
+
+                    if geo_arg.tet_vertex_indices[element_index][c1] > geo_arg.tet_vertex_indices[element_index][c2]:
+                        edge_node = INTERIOR_NODES_PER_EDGE - 1 - edge_node
+
+                return global_offset + INTERIOR_NODES_PER_EDGE * global_edge_index + edge_node
+
+            global_offset += INTERIOR_NODES_PER_EDGE * topo_arg.edge_count
+
+            if node_type == TetrahedronPolynomialShapeFunctions.FACE:
+                face = type_index // INTERIOR_NODES_PER_FACE
+                face_node = type_index - INTERIOR_NODES_PER_FACE * face
+
+                global_face_index = topo_arg.tet_face_indices[element_index][face]
+
+                if INTERIOR_NODES_PER_FACE == 3:
+                    # Hard code for P4 case, 3 nodes per face
+                    # Higher orders would require rotating triangle coordinates, this is not supported yet
+
+                    vidx = geo_arg.tet_vertex_indices[element_index][(face + face_node) % 4]
+                    fvi = topo_arg.face_vertex_indices[global_face_index]
+
+                    if vidx == fvi[0]:
+                        face_node = 0
+                    elif vidx == fvi[1]:
+                        face_node = 1
+                    else:
+                        face_node = 2
+
+                return global_offset + INTERIOR_NODES_PER_FACE * global_face_index + face_node
+
+            global_offset += INTERIOR_NODES_PER_FACE * topo_arg.face_count
+
+            return global_offset + INTERIOR_NODES_PER_CELL * element_index + type_index
+
+        return element_node_index
+
+
+class TetmeshPolynomialBasisSpace(TetmeshBasisSpace):
+    def __init__(
+        self,
+        mesh: Tetmesh,
+        degree: int,
+    ):
+        shape = TetrahedronPolynomialShapeFunctions(degree)
+        topology = forward_base_topology(TetmeshPolynomialSpaceTopology, mesh, shape)
+
+        super().__init__(topology, shape)
+
+
+class TetmeshDGPolynomialBasisSpace(TetmeshBasisSpace):
+    def __init__(
+        self,
+        mesh: Tetmesh,
+        degree: int,
+    ):
+        shape = TetrahedronPolynomialShapeFunctions(degree)
+        topology = TetmeshDiscontinuousSpaceTopology(mesh, shape)
+
+        super().__init__(topology, shape)
+
+
+class TetmeshNonConformingPolynomialBasisSpace(TetmeshBasisSpace):
+    def __init__(
+        self,
+        mesh: Tetmesh,
+        degree: int,
+    ):
+        shape = TetrahedronNonConformingPolynomialShapeFunctions(degree)
+        topology = TetmeshDiscontinuousSpaceTopology(mesh, shape)
+
+        super().__init__(topology, shape)

warp/fem/space/topology.py

@@ -0,0 +1,295 @@
+from typing import Optional, Type
+
+import warp as wp
+
+from warp.fem.types import ElementIndex
+from warp.fem.geometry import Geometry, DeformedGeometry
+from warp.fem import cache
+
+
+class SpaceTopology:
+    """
+    Interface class for defining the topology of a function space.
+
+    The topology only considers the indices of the nodes in each element, and as such,
+    the connectivity pattern of the function space.
+    It does not specify the actual location of the nodes within the elements, or the valuation function.
+    """
+
+    dimension: int
+    """Embedding dimension of the function space"""
+
+    NODES_PER_ELEMENT: int
+    """Number of interpolation nodes per element of the geometry.
+    
+    .. note:: This will change to be defined per-element in future versions
+    """
+
+    @wp.struct
+    class TopologyArg:
+        """Structure containing arguments to be passed to device functions"""
+
+        pass
+
+    def __init__(self, geometry: Geometry, nodes_per_element: int):
+        self._geometry = geometry
+        self.dimension = geometry.dimension
+        self.NODES_PER_ELEMENT = wp.constant(nodes_per_element)
+        self.ElementArg = geometry.CellArg
+
+    @property
+    def geometry(self) -> Geometry:
+        """Underlying geometry"""
+        return self._geometry
+
+    def node_count(self) -> int:
+        """Number of nodes in the interpolation basis"""
+        raise NotImplementedError
+
+    def topo_arg_value(self, device) -> "TopologyArg":
+        """Value of the topology argument structure to be passed to device functions"""
+        return SpaceTopology.TopologyArg()
+
+    @property
+    def name(self):
+        return f"{self.__class__.__name__}_{self.NODES_PER_ELEMENT}"
+
+    def __str__(self):
+        return self.name
+
+    @staticmethod
+    def element_node_index(
+        geo_arg: "ElementArg", topo_arg: "TopologyArg", element_index: ElementIndex, node_index_in_elt: int
+    ):
+        """Global node index for a given node in a given element"""
+        raise NotImplementedError
+
+    def element_node_indices(self, out: Optional[wp.array] = None) -> wp.array:
+        """Returns a temporary array containing the global index for each node of each element"""
+
+        NODES_PER_ELEMENT = self.NODES_PER_ELEMENT
+
+        @cache.dynamic_kernel(suffix=self.name)
+        def fill_element_node_indices(
+            geo_cell_arg: self.geometry.CellArg,
+            topo_arg: self.TopologyArg,
+            element_node_indices: wp.array2d(dtype=int),
+        ):
+            element_index = wp.tid()
+            for n in range(NODES_PER_ELEMENT):
+                element_node_indices[element_index, n] = self.element_node_index(
+                    geo_cell_arg, topo_arg, element_index, n
+                )
+
+        shape = (self.geometry.cell_count(), NODES_PER_ELEMENT)
+        if out is None:
+            element_node_indices = wp.empty(
+                shape=shape,
+                dtype=int,
+            )
+        else:
+            if out.shape != shape or out.dtype != wp.int32:
+                raise ValueError(f"Out element node indices array must have shape {shape} and data type 'int32'")
+            element_node_indices = out
+
+        wp.launch(
+            dim=element_node_indices.shape[0],
+            kernel=fill_element_node_indices,
+            inputs=[
+                self.geometry.cell_arg_value(device=element_node_indices.device),
+                self.topo_arg_value(device=element_node_indices.device),
+                element_node_indices,
+            ],
+            device=element_node_indices.device,
+        )
+
+        return element_node_indices
+
+    # Interface generating trace space topology
+
+    def trace(self) -> "TraceSpaceTopology":
+        """Trace of the function space over lower-dimensional elements of the geometry"""
+
+        return TraceSpaceTopology(self)
+
+    @property
+    def is_trace(self) -> bool:
+        """Whether this topology is defined on the trace of the geometry"""
+        return self.dimension == self.geometry.dimension - 1
+
+    def full_space_topology(self) -> "SpaceTopology":
+        """Returns the full space topology from which this topology is derived"""
+        return self
+
+    def __eq__(self, other: "SpaceTopology") -> bool:
+        """Checks whether two topologies are compatible"""
+        return self.geometry == other.geometry and self.name == other.name
+
+    def is_derived_from(self, other: "SpaceTopology") -> bool:
+        """Checks whether two topologies are equal, or `self` is the trace of `other`"""
+        if self.dimension == other.dimension:
+            return self == other
+        if self.dimension + 1 == other.dimension:
+            return self.full_space_topology() == other
+        return False
+
+
+class TraceSpaceTopology(SpaceTopology):
+    """Auto-generated trace topology defining the node indices associated to the geometry sides"""
+
+    def __init__(self, topo: SpaceTopology):
+        super().__init__(topo.geometry, 2 * topo.NODES_PER_ELEMENT)
+
+        self._topo = topo
+        self.dimension = topo.dimension - 1
+        self.ElementArg = topo.geometry.SideArg
+
+        self.TopologyArg = topo.TopologyArg
+        self.topo_arg_value = topo.topo_arg_value
+
+        self.inner_cell_index = self._make_inner_cell_index()
+        self.outer_cell_index = self._make_outer_cell_index()
+        self.neighbor_cell_index = self._make_neighbor_cell_index()
+
+        self.element_node_index = self._make_element_node_index()
+
+    def node_count(self) -> int:
+        return self._topo.node_count()
+
+    @property
+    def name(self):
+        return f"{self._topo.name}_Trace"
+
+    def _make_inner_cell_index(self):
+        NODES_PER_ELEMENT = self._topo.NODES_PER_ELEMENT
+
+        @cache.dynamic_func(suffix=self.name)
+        def inner_cell_index(args: self.geometry.SideArg, element_index: ElementIndex, node_index_in_elt: int):
+            index_in_inner_cell = wp.select(node_index_in_elt < NODES_PER_ELEMENT, -1, node_index_in_elt)
+            return self.geometry.side_inner_cell_index(args, element_index), index_in_inner_cell
+
+        return inner_cell_index
+
+    def _make_outer_cell_index(self):
+        NODES_PER_ELEMENT = self._topo.NODES_PER_ELEMENT
+
+        @cache.dynamic_func(suffix=self.name)
+        def outer_cell_index(args: self.geometry.SideArg, element_index: ElementIndex, node_index_in_elt: int):
+            return self.geometry.side_outer_cell_index(args, element_index), node_index_in_elt - NODES_PER_ELEMENT
+
+        return outer_cell_index
+
+    def _make_neighbor_cell_index(self):
+        NODES_PER_ELEMENT = self._topo.NODES_PER_ELEMENT
+
+        @cache.dynamic_func(suffix=self.name)
+        def neighbor_cell_index(args: self.geometry.SideArg, element_index: ElementIndex, node_index_in_elt: int):
+            if node_index_in_elt < NODES_PER_ELEMENT:
+                return self.geometry.side_inner_cell_index(args, element_index), node_index_in_elt
+            else:
+                return (
+                    self.geometry.side_outer_cell_index(args, element_index),
+                    node_index_in_elt - NODES_PER_ELEMENT,
+                )
+
+        return neighbor_cell_index
+
+    def _make_element_node_index(self):
+        @cache.dynamic_func(suffix=self.name)
+        def trace_element_node_index(
+            geo_side_arg: self.geometry.SideArg,
+            topo_arg: self._topo.TopologyArg,
+            element_index: ElementIndex,
+            node_index_in_elt: int,
+        ):
+            cell_index, index_in_cell = self.neighbor_cell_index(geo_side_arg, element_index, node_index_in_elt)
+
+            geo_cell_arg = self.geometry.side_to_cell_arg(geo_side_arg)
+            return self._topo.element_node_index(geo_cell_arg, topo_arg, cell_index, index_in_cell)
+
+        return trace_element_node_index
+
+    def full_space_topology(self) -> SpaceTopology:
+        """Returns the full space topology from which this topology is derived"""
+        return self._topo
+
+    def __eq__(self, other: "TraceSpaceTopology") -> bool:
+        return self._topo == other._topo
+
+
+class DiscontinuousSpaceTopologyMixin:
+    """Helper for defining discontinuous topologies (per-element nodes)"""
+
+    def __init__(self, *args, **kwargs):
+        super().__init__(*args, **kwargs)
+        self.element_node_index = self._make_element_node_index()
+
+    def node_count(self):
+        return self.geometry.cell_count() * self.NODES_PER_ELEMENT
+
+    @property
+    def name(self):
+        return f"{self.geometry.name}_D{self.NODES_PER_ELEMENT}"
+
+    def _make_element_node_index(self):
+        NODES_PER_ELEMENT = self.NODES_PER_ELEMENT
+
+        @cache.dynamic_func(suffix=self.name)
+        def element_node_index(
+            elt_arg: self.geometry.CellArg,
+            topo_arg: self.TopologyArg,
+            element_index: ElementIndex,
+            node_index_in_elt: int,
+        ):
+            return NODES_PER_ELEMENT * element_index + node_index_in_elt
+
+        return element_node_index
+
+
+class DiscontinuousSpaceTopology(DiscontinuousSpaceTopologyMixin, SpaceTopology):
+    """Topology for generic discontinuous spaces"""
+
+    pass
+
+
+class DeformedGeometrySpaceTopology(SpaceTopology):
+    def __init__(self, geometry: DeformedGeometry, base_topology: SpaceTopology):
+        super().__init__(geometry, base_topology.NODES_PER_ELEMENT)
+
+        self.base = base_topology
+        self.node_count = self.base.node_count
+        self.topo_arg_value = self.base.topo_arg_value
+        self.TopologyArg = self.base.TopologyArg
+
+        self.element_node_index = self._make_element_node_index()
+
+    @property
+    def name(self):
+        return f"{self.base.name}_{self.geometry.field.name}"
+
+    def _make_element_node_index(self):
+        @cache.dynamic_func(suffix=self.name)
+        def element_node_index(
+            elt_arg: self.geometry.CellArg,
+            topo_arg: self.TopologyArg,
+            element_index: ElementIndex,
+            node_index_in_elt: int,
+        ):
+            return self.base.element_node_index(elt_arg.elt_arg, topo_arg, element_index, node_index_in_elt)
+
+        return element_node_index
+
+
+def forward_base_topology(topology_class: Type[SpaceTopology], geometry: Geometry, *args, **kwargs) -> SpaceTopology:
+    """
+    If `geometry` is *not* a :class:`DeformedGeometry`, constructs a normal instance of `topology_class` over `geometry`, forwarding additional arguments.
+
+    If `geometry` *is* a :class:`DeformedGeometry`, constructs an instance of `topology_class` over the base (undeformed) geometry of `geometry`, then warp it
+    in a :class:`DeformedGeometrySpaceTopology` forwarding the calls to the underlying topology.
+    """
+
+    if isinstance(geometry, DeformedGeometry):
+        base_topo = topology_class(geometry.base, *args, **kwargs)
+        return DeformedGeometrySpaceTopology(geometry, base_topo)
+
+    return topology_class(geometry, *args, **kwargs)