Struct DiscoveredEntity 

pub struct DiscoveredEntity {
    pub name: String,
    pub grades: Vec<usize>,
    pub geometric_constraint: Option<String>,
    pub antiproduct_constraint: Option<String>,
}

Represents a discovered geometric entity.

An entity is a valid grade combination with associated metadata. Valid entities must satisfy two constraints:

1. Geometric Product Constraint: u * ũ = scalar
2. Antiproduct Constraint: u ⊟ ũ̃ = antiscalar

Each constraint may require a field constraint expression that must equal zero.

Fields

name: String

Suggested name for this entity (e.g., “Entity_0_2”).

grades: Vec<usize>

The grades present in this entity.

geometric_constraint: Option<String>

Field constraint for the geometric product constraint (u * ũ = scalar).

If None, the entity automatically satisfies the geometric constraint. If Some(expr), the expression must equal zero for the constraint to hold. Example: “e01e23 + e02e31 + e03*e12 = 0” for PGA bivectors.

antiproduct_constraint: Option<String>

Field constraint for the antiproduct constraint (u ⊟ ũ̃ = antiscalar).

If None, the entity automatically satisfies the antiproduct constraint. If Some(expr), the expression must equal zero for the constraint to hold.

Implementations

impl DiscoveredEntity

pub fn new(name: impl Into<String>, grades: Vec<usize>) -> Self

Creates a new discovered entity with minimal information.

pub fn with_geometric_constraint(self, constraint: impl Into<String>) -> Self

Sets the geometric field constraint expression.

pub fn with_antiproduct_constraint(self, constraint: impl Into<String>) -> Self

Sets the antiproduct field constraint expression.

pub fn constraint_count(&self) -> usize

Returns the total number of constraints this entity has.

pub fn has_constraints(&self) -> bool

Returns true if this entity has any field constraints.

Trait Implementations

impl Clone for DiscoveredEntity

fn clone(&self) -> DiscoveredEntity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiscoveredEntity

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

Formats the value using the given formatter.

impl PartialEq for DiscoveredEntity

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

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

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

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

impl Eq for DiscoveredEntity

impl StructuralPartialEq for DiscoveredEntity