UnintentionalElimination

class UnintentionalElimination

Record of a variable eliminated as a side effect of another variable's elimination.

Methods

__init__

Attributes

index	The index of the variable that was unintentionally eliminated due to the elimination of another variable.
sign	The sign of the term that caused the unintentional elimination, randomly chosen from either +1 or -1.

__eq__(other)

Return self==value.

__init__(index: int, sign: Literal[1, -1]) → None

__repr__()

Return repr(self).

__dataclass_fields__ = {'index': Field(name='index',type='int',default=<dataclasses._MISSING_TYPE object>,default_factory=<dataclasses._MISSING_TYPE object>,init=True,repr=True,hash=None,compare=True,metadata=mappingproxy({}),kw_only=False,_field_type=_FIELD), 'sign': Field(name='sign',type='Literal[1, -1]',default=<dataclasses._MISSING_TYPE object>,default_factory=<dataclasses._MISSING_TYPE object>,init=True,repr=True,hash=None,compare=True,metadata=mappingproxy({}),kw_only=False,_field_type=_FIELD)}

__dataclass_params__ = _DataclassParams(init=True,repr=True,eq=True,order=False,unsafe_hash=False,frozen=False)

__hash__ = None

__match_args__ = ('index', 'sign')

index: int

The index of the variable that was unintentionally eliminated due to the elimination of another variable.

sign: Literal[1, -1]

The sign of the term that caused the unintentional elimination, randomly chosen from either +1 or -1.