warp-lang 1.7.0__py3-none-manylinux_2_28_x86_64.whl

warp/fem/field/nodal_field.py

@@ -0,0 +1,326 @@
+# SPDX-FileCopyrightText: Copyright (c) 2023 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from typing import Any
+
+import warp as wp
+from warp.fem import cache
+from warp.fem.space import CollocatedFunctionSpace, SpacePartition
+from warp.fem.types import NULL_NODE_INDEX, ElementIndex, Sample
+
+from .field import DiscreteField
+
+
+class NodalFieldBase(DiscreteField):
+    """Base class for nodal field and nodal field traces. Does not hold values"""
+
+    def __init__(self, space: CollocatedFunctionSpace, space_partition: SpacePartition):
+        super().__init__(space, space_partition)
+
+        self.EvalArg = self._make_eval_arg()
+        self.ElementEvalArg = self._make_element_eval_arg()
+        self.eval_degree = DiscreteField._make_eval_degree(self)
+
+        self._read_node_value = self._make_read_node_value()
+
+        self.eval_inner = self._make_eval_inner()
+        self.eval_outer = self._make_eval_outer()
+        self.eval_grad_inner = self._make_eval_grad_inner(world_space=True)
+        self.eval_grad_outer = self._make_eval_grad_outer(world_space=True)
+        self.eval_reference_grad_inner = self._make_eval_grad_inner(world_space=False)
+        self.eval_reference_grad_outer = self._make_eval_grad_outer(world_space=False)
+        self.eval_div_inner = self._make_eval_div_inner()
+        self.eval_div_outer = self._make_eval_div_outer()
+
+        self.set_node_value = self._make_set_node_value()
+        self.node_partition_index = self._make_node_partition_index()
+
+    def _make_eval_arg(self):
+        @cache.dynamic_struct(suffix=self.name)
+        class EvalArg:
+            dof_values: wp.array(dtype=self.space.dof_dtype)
+            space_arg: self.space.SpaceArg
+            topology_arg: self.space.topology.TopologyArg
+            partition_arg: self.space_partition.PartitionArg
+
+        return EvalArg
+
+    def _make_element_eval_arg(self):
+        @cache.dynamic_struct(suffix=self.name)
+        class ElementEvalArg:
+            elt_arg: self.space.topology.ElementArg
+            eval_arg: self.EvalArg
+
+        return ElementEvalArg
+
+    def _make_read_node_value(self):
+        @cache.dynamic_func(suffix=self.name)
+        def read_node_value(args: self.ElementEvalArg, geo_element_index: ElementIndex, node_index_in_elt: int):
+            nidx = self.space.topology.element_node_index(
+                args.elt_arg, args.eval_arg.topology_arg, geo_element_index, node_index_in_elt
+            )
+            pidx = self.space_partition.partition_node_index(args.eval_arg.partition_arg, nidx)
+            if pidx == NULL_NODE_INDEX:
+                return self.space.dof_dtype(0.0)
+
+            return args.eval_arg.dof_values[pidx]
+
+        return read_node_value
+
+    def _make_eval_inner(self):
+        @cache.dynamic_func(suffix=self.name)
+        def eval_inner(args: self.ElementEvalArg, s: Sample):
+            local_value_map = self.space.local_value_map_inner(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+            res = self.space.dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_value(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_inner_weight(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                )
+            return res
+
+        return eval_inner
+
+    def _make_eval_grad_inner(self, world_space: bool):
+        if not self.space.gradient_valid():
+            return None
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_inner(args: self.ElementEvalArg, s: Sample, grad_transform: Any):
+            local_value_map = self.space.local_value_map_inner(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+
+            res = self.gradient_dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_gradient(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_inner_weight_gradient(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                    grad_transform,
+                )
+            return res
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_inner_ref_space(args: self.ElementEvalArg, s: Sample):
+            grad_transform = 1.0
+            return eval_grad_inner(args, s, grad_transform)
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_inner_world_space(args: self.ElementEvalArg, s: Sample):
+            grad_transform = self.space.element_inner_reference_gradient_transform(args.elt_arg, s)
+            return eval_grad_inner(args, s, grad_transform)
+
+        return eval_grad_inner_world_space if world_space else eval_grad_inner_ref_space
+
+    def _make_eval_div_inner(self):
+        if not self.divergence_valid():
+            return None
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_div_inner(args: self.ElementEvalArg, s: Sample):
+            grad_transform = self.space.element_inner_reference_gradient_transform(args.elt_arg, s)
+            local_value_map = self.space.local_value_map_inner(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+
+            res = self.divergence_dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_divergence(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_inner_weight_gradient(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                    grad_transform,
+                )
+            return res
+
+        return eval_div_inner
+
+    def _make_eval_outer(self):
+        @cache.dynamic_func(suffix=self.name)
+        def eval_outer(args: self.ElementEvalArg, s: Sample):
+            local_value_map = self.space.local_value_map_outer(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+
+            res = self.dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_value(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_outer_weight(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                )
+            return res
+
+        return eval_outer
+
+    def _make_eval_grad_outer(self, world_space: bool):
+        if not self.space.gradient_valid():
+            return None
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_outer(args: self.ElementEvalArg, s: Sample, grad_transform: Any):
+            local_value_map = self.space.local_value_map_outer(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+
+            res = self.gradient_dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_gradient(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_outer_weight_gradient(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                    grad_transform,
+                )
+            return res
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_outer_ref_space(args: self.ElementEvalArg, s: Sample):
+            grad_transform = 1.0
+            return eval_grad_outer_ref_space(args, s, grad_transform)
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_grad_outer_world_space(args: self.ElementEvalArg, s: Sample):
+            grad_transform = self.space.element_outer_reference_gradient_transform(args.elt_arg, s)
+            return eval_grad_outer_ref_space(args, s, grad_transform)
+
+        return eval_grad_outer_world_space if world_space else eval_grad_outer_ref_space
+
+    def _make_eval_div_outer(self):
+        if not self.divergence_valid():
+            return None
+
+        @cache.dynamic_func(suffix=self.name)
+        def eval_div_outer(args: self.ElementEvalArg, s: Sample):
+            grad_transform = self.space.element_outer_reference_gradient_transform(args.elt_arg, s)
+            local_value_map = self.space.local_value_map_outer(args.elt_arg, s.element_index, s.element_coords)
+            node_count = self.space.topology.element_node_count(
+                args.elt_arg, args.eval_arg.topology_arg, s.element_index
+            )
+
+            res = self.divergence_dtype(0.0)
+            for k in range(node_count):
+                res += self.space.space_divergence(
+                    self._read_node_value(args, s.element_index, k),
+                    self.space.element_outer_weight_gradient(
+                        args.elt_arg, args.eval_arg.space_arg, s.element_index, s.element_coords, k, s.qp_index
+                    ),
+                    local_value_map,
+                    grad_transform,
+                )
+            return res
+
+        return eval_div_outer
+
+    def _make_set_node_value(self):
+        @cache.dynamic_func(suffix=self.name)
+        def set_node_value(
+            elt_arg: self.space.ElementArg,
+            eval_arg: self.EvalArg,
+            element_index: ElementIndex,
+            node_index_in_element: int,
+            partition_node_index: int,
+            value: self.space.dtype,
+        ):
+            eval_arg.dof_values[partition_node_index] = self.space.node_dof_value(
+                elt_arg, eval_arg.space_arg, element_index, node_index_in_element, value
+            )
+
+        return set_node_value
+
+    def _make_node_partition_index(self):
+        @cache.dynamic_func(suffix=self.name)
+        def node_partition_index(args: self.ElementEvalArg, node_index: int):
+            return self.space_partition.partition_node_index(args.eval_arg.partition_arg, node_index)
+
+        return node_partition_index
+
+
+class NodalField(NodalFieldBase):
+    """A field holding values for all degrees of freedom at each node of the underlying function space partition
+
+    See also: warp.fem.space.CollocatedFunctionSpace.make_field
+    """
+
+    def __init__(self, space: CollocatedFunctionSpace, space_partition: SpacePartition):
+        if space.topology != space_partition.space_topology:
+            raise ValueError("Incompatible space and space partition topologies")
+
+        super().__init__(space, space_partition)
+
+        self._dof_values = wp.zeros(n=self.space_partition.node_count(), dtype=self.dof_dtype)
+
+    def eval_arg_value(self, device):
+        arg = self.EvalArg()
+        arg.dof_values = self._dof_values.to(device)
+        arg.space_arg = self.space.space_arg_value(device)
+        arg.partition_arg = self.space_partition.partition_arg_value(device)
+        arg.topology_arg = self.space.topology.topo_arg_value(device)
+
+        return arg
+
+    @property
+    def dof_values(self) -> wp.array:
+        """Returns a warp array containing the values at all degrees of freedom of the underlying space partition"""
+        return self._dof_values
+
+    @dof_values.setter
+    def dof_values(self, values):
+        """Sets the degrees-of-freedom values
+
+        Args:
+            values: Array that is convertible to a warp array of length ``self.space_partition.node_count()`` and data type ``self.space.dof_dtype``
+        """
+
+        if isinstance(values, wp.array):
+            self._dof_values = values
+        else:
+            self._dof_values = wp.array(values, dtype=self.dof_dtype)
+
+    class Trace(NodalFieldBase):
+        def __init__(self, field):
+            self._field = field
+            super().__init__(field.space.trace(), field.space_partition)
+
+        def eval_arg_value(self, device):
+            arg = self.EvalArg()
+            arg.dof_values = self._field.dof_values.to(device)
+            arg.space_arg = self.space.space_arg_value(device)
+            arg.partition_arg = self.space_partition.partition_arg_value(device)
+            arg.topology_arg = self.space.topology.topo_arg_value(device)
+
+            return arg
+
+    def trace(self) -> Trace:
+        trace_field = NodalField.Trace(self)
+        return trace_field

warp/fem/field/restriction.py

@@ -0,0 +1,37 @@
+# SPDX-FileCopyrightText: Copyright (c) 2023 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from warp.fem.space import SpaceRestriction
+
+from .field import DiscreteField
+
+
+class FieldRestriction:
+    """Restriction of a discrete field to a given GeometryDomain"""
+
+    def __init__(self, space_restriction: SpaceRestriction, field: DiscreteField):
+        if field.space.dimension - 1 == space_restriction.space_topology.dimension:
+            field = field.trace()
+
+        if field.space.dimension != space_restriction.space_topology.dimension:
+            raise ValueError("Incompatible space and field dimensions")
+
+        if field.space.topology != space_restriction.space_topology:
+            raise ValueError("Incompatible field and space restriction topologies")
+
+        self.space_restriction = space_restriction
+        self.domain = self.space_restriction.domain
+        self.field = field
+        self.space = self.field.space