Resolution

Definition

Resolution is the process of computing the canonical representation of an object in the ring substrate. The Resolver hierarchy implements this process.

Resolver Hierarchy

ClassRole
ResolverAbstract resolver base
DihedralFactorizationResolverFactorizes in D_{2^n}
CanonicalFormResolverComputes canonical form
EvaluationResolverEvaluates the canonical form

Resolution Process

  1. A Query specifies what to resolve
  2. The resolver uses its strategy (strategy)
  3. The input type (inputType) is the source
  4. Resolution produces a Partition (output type is partition:Partition via outputType)

Query Types

Three specialized queries correspond to the three resolver strategies:

QueryDescription
CoordinateQueryResolves spatial coordinates
MetricQueryResolves metric properties
RepresentationQueryResolves canonical representation

Complexity

The property complexity declares the computational complexity of the resolver (e.g., "O(n)" or "O(log n)").

Output

The final output of resolution is: