CandidateArtifact

Symbolica documentation for getting started, symbolic expressions, numerical evaluation, pattern matching, and APIs in Python and Rust.

CandidateArtifact

class CandidateArtifact

Methods

Name Description
_repr_html_
coefficient
metadata
open
open_file
rule
rules
sectors
terminals

_repr_html_

CandidateArtifact._repr_html_() -> str

coefficient

CandidateArtifact.coefficient(id: int, *, max_output_bytes: int = 65536) -> dict[str, object]

metadata

CandidateArtifact.metadata() -> dict[str, object]

open

CandidateArtifact.open(
    bundle: bytes,
    *,
    bundle_max_bytes: int | None = None,
    bundle_max_entries: int | None = None,
    bundle_max_coefficient_bytes: int | None = None,
    bundle_max_total_coefficient_bytes: int | None = None,
) -> CandidateArtifact

open_file

CandidateArtifact.open_file(
    path: str | os.PathLike[str],
    *,
    bundle_max_bytes: int | None = None,
    bundle_max_entries: int | None = None,
    bundle_max_coefficient_bytes: int | None = None,
    bundle_max_total_coefficient_bytes: int | None = None,
) -> CandidateArtifact

rule

CandidateArtifact.rule(
    sector: int,
    ordinal: int,
    *,
    max_output_bytes: int = 1048576,
) -> dict[str, object]

rules

CandidateArtifact.rules(sector: int, start: int = 0, limit: int = 50) -> dict[str, object]

sectors

CandidateArtifact.sectors(start: int = 0, limit: int = 50) -> dict[str, object]

terminals

CandidateArtifact.terminals(sector: int, start: int = 0, limit: int = 50) -> dict[str, object]