Struct PureOperatorDefinition 

pub struct PureOperatorDefinition { /* private fields */ }

A capture-free operator definition within the size limits, identified by content.

Implementations

§

impl PureOperatorDefinition

Signature links:PureOperatorDefinition

pub fn instantiate<'a, I>( &'a self, arguments: &[ExpressionType<I>], ) -> Result<PureOperatorInstantiation<'a, I>, PureOperatorError>

where I: Clone + Eq,

Signature links:instantiateExpressionTypeResultPureOperatorInstantiationPureOperatorErrorCloneEq

Derive and validate one typed application.

Rational polynomial definitions embed real inputs into the common real/complex scalar domain without changing dimension or component roles.

Errors

Rejects arity, shape, frame, support, and result-rule mismatches before any lowered component expansion.

§

impl PureOperatorDefinition

Signature links:PureOperatorDefinition

pub fn cross_product() -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:cross_productResultPureOperatorDefinitionPureOperatorError

Bilinear three-dimensional cross product in the right-handed Cartesian frame. Complex inputs use the same algebraic products, without conjugation.

pub fn curl_from_gradient( dimensions: u32, operand_rank: u16, ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:curl_from_gradientu32u16ResultPureOperatorDefinitionPureOperatorError

Curl of a physical gradient whose final axis is the derivative axis. In 3D this maps grad(vector) to a vector; in 2D it maps grad(vector) to the oriented scalar, or grad(scalar) to (partial_y, -partial_x). The caller keeps the physical gradient node and its support.

pub fn tangential_lift( dimensions: u32, ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:tangential_liftu32ResultPureOperatorDefinitionPureOperatorError

Lift a vector so that contracting its final axis with the outward normal n gives n cross u. In 2D the normal contraction is n_xu_y - n_yu_x, an oriented scalar. The normal node determines the boundary and its parent.

pub fn matrix_trace( extent: u32, ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:matrix_traceu32ResultPureOperatorDefinitionPureOperatorError

Algebraic diagonal sum of a full rank-two spatial tensor.

pub fn componentwise_product( extent: u32, rank: u16, ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:componentwise_productu32u16ResultPureOperatorDefinitionPureOperatorError

Multiply matching full tensor coordinates without contraction or broadcasting.

pub fn tensor_component( extent: u32, indices: &[u32], ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:tensor_componentu32u32ResultPureOperatorDefinitionPureOperatorError

Select one scalar from full spatial tensor coordinates.

pub fn permute_axes( extent: u32, order: &[u16], ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:permute_axesu32u16ResultPureOperatorDefinitionPureOperatorError

Permute full spatial axes. order[k] identifies input axis of output axis k.

pub fn contract( extent: u32, left_rank: u16, right_rank: u16, pairs: &[(u16, u16)], ) -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:contractu32u16u16u16u16ResultPureOperatorDefinitionPureOperatorError

Explicit bilinear contraction, without conjugation or implicit symmetry. Uncontracted left axes precede uncontracted right axes, in their original order. An empty pair list is the outer product, including scalar multiplication.

§

impl PureOperatorDefinition

Signature links:PureOperatorDefinition

pub fn canonical_bytes(&self) -> Vec<u8>

Signature links:canonical_bytesVecu8

Canonical byte encoding, which excludes names and package paths.

pub fn digest(&self) -> OperatorDefinitionDigest

Signature links:digestOperatorDefinitionDigest

Digest of the canonical encoding, which excludes names and package paths.

pub fn formals(&self) -> &[PureValueClass]

Signature links:formalsPureValueClass

Formal-argument rules in slot order.

pub const fn result_rule(&self) -> PureValueClass

Signature links:result_rulePureValueClass

Result-type rule.

pub const fn dimension_monomial(&self) -> &FormalDimensionMonomial

Signature links:dimension_monomialFormalDimensionMonomial

Symbolic body dimension over formal dimensions.

pub fn nodes(&self) -> &[CalculusNode]

Signature links:nodesCalculusNode

Calculus nodes in topological order.

pub const fn root(&self) -> CalculusNodeId

Signature links:rootCalculusNodeId

Root node of the calculus body.

pub fn symmetric_part() -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:symmetric_partResultPureOperatorDefinitionPureOperatorError

Standard symmetric-part definition (A[i,j] + A[j,i]) / 2.

pub fn isotropic_lift() -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:isotropic_liftResultPureOperatorDefinitionPureOperatorError

Standard isotropic lift delta[i,j] * s.

pub fn dyadic_product() -> Result<PureOperatorDefinition, PureOperatorError>

Signature links:dyadic_productResultPureOperatorDefinitionPureOperatorError

Standard dyadic product a[i] * b[j].

Trait Implementations

§

impl Clone for PureOperatorDefinition

Signature links:ClonePureOperatorDefinition

§

fn clone(&self) -> PureOperatorDefinition

Signature links:clonePureOperatorDefinition

Returns a duplicate of the value.

§

fn clone_from(&mut self, source: &Self)

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for PureOperatorDefinition

Signature links:DebugPureOperatorDefinition

§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for PureOperatorDefinition

Signature links:PartialEqPureOperatorDefinition

§

fn eq(&self, other: &PureOperatorDefinition) -> bool

Signature links:eqPureOperatorDefinitionbool

Tests for self and other values to be equal, and is used by ==.

§

fn ne(&self, other: &Rhs) -> bool

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PureOperatorDefinition

impl StructuralPartialEq for PureOperatorDefinition