uconf.core.component

Classes

ComponentProtocol(n, base_ring)

Structural contract for a component of an operad/cooperad .
class uconf.core.component.ComponentProtocol(n, base_ring)[source]

Bases: Protocol

Structural contract for a component of an operad/cooperad .

Parameters:

n (int)

name: str

Name of the component, used for printing.

connectivity: int

Lower bound k such that M(n) is concentrated in degrees >= k*(n-1) for all n >= 0.

__init__(n, base_ring)[source]

Returns the arity-n component over base_ring.

Parameters:

n (int)

base_ring()[source]

Returns the base ring of this component.

Return type:

Any

arity()[source]

Returns the arity of this operad component.

Return type:

int

term(x)[source]

Returns the basis element corresponding to basis key x.

Parameters:

x (object)

Return type:

Element

boundary(x)[source]

Applies the differential to element x.

Parameters:

x (Element)

Return type:

Element

degree_on_basis(x)[source]

Returns degree of basis element x.

Parameters:

x (object)

Return type:

int

sum_of_terms(terms)[source]

Builds element from iterator of (basis, coeff) pairs.

Parameters:

terms (Iterator[tuple[Any, Any]])

Return type:

Element

zero()[source]

Returns the zero element of this component.

Return type:

Element

basis_iter(d)[source]

Returns an iterator over the basis keys of this component.

Parameters:

d (int)

Return type:

Iterator

graded_basis(d)[source]

Returns the basis of this component in degree d.

Parameters:

d (int)

Return type:

Family