EvaluationOptions

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

EvaluationOptions

class EvaluationOptions

Requested accuracy and resource limits. Working precision is not achieved accuracy.

Attributes

Name Description
boundary_error_strategy Supplied-error propagation policy; unavailable proofs retain scalar bounds.
deformed_propagator_slots Zero-based physical denominator slots, never HEPKit edge IDs or ISP slots.
digits
dimension
guard_digits
mass_mode Auxiliary mass placement name; explicit selections retain their slot list.
pade_degree Optional rational approximation degree; absent means Taylor transport.
residual_arithmetic Source-defect arithmetic: ball (default) or adaptive_integer (opt-in).
series_order
workers

boundary_error_strategy

EvaluationOptions.boundary_error_strategy: builtins.str

Supplied-error propagation policy; unavailable proofs retain scalar bounds.

deformed_propagator_slots

EvaluationOptions.deformed_propagator_slots: typing.Optional[builtins.list[builtins.int]]

Zero-based physical denominator slots, never HEPKit edge IDs or ISP slots.

digits

EvaluationOptions.digits: builtins.int

dimension

EvaluationOptions.dimension: builtins.int

guard_digits

EvaluationOptions.guard_digits: builtins.int

mass_mode

EvaluationOptions.mass_mode: builtins.str

Auxiliary mass placement name; explicit selections retain their slot list.

pade_degree

EvaluationOptions.pade_degree: typing.Optional[builtins.int]

Optional rational approximation degree; absent means Taylor transport.

residual_arithmetic

EvaluationOptions.residual_arithmetic: builtins.str

Source-defect arithmetic: ball (default) or adaptive_integer (opt-in).

series_order

EvaluationOptions.series_order: builtins.int

workers

EvaluationOptions.workers: builtins.int

Methods

Name Description
__new__
__repr__

__new__

EvaluationOptions.__new__(
    *,
    digits: builtins.int = 20,
    guard_digits: builtins.int = 40,
    series_order: builtins.int = 80,
    max_steps: builtins.int = 1000,
    workers: builtins.int = 1,
    dimension: builtins.int = 4,
    recursion: builtins.str = 'auxiliary_mass',
    prescription: builtins.str = '+i0',
    mass_mode: typing.Optional[builtins.str] = None,
    deformed_propagator_slots: typing.Optional[typing.Sequence[builtins.int]] = None,
    refine_basis: builtins.bool = False,
    skip_reduction: builtins.bool = False,
    sampled_reduction: builtins.bool = True,
    max_precision_attempts: builtins.int = 3,
    max_boundary_attempts: builtins.int = 8,
    cache_directory: typing.Optional[builtins.str | os.PathLike | pathlib.Path] = None,
    local_coordinate: builtins.str = 'identity',
    sample_cache_directory: typing.Optional[builtins.str | os.PathLike | pathlib.Path] = None,
    reuse_samples: builtins.bool = True,
    pade_degree: typing.Optional[builtins.int] = None,
    residual_arithmetic: builtins.str = 'ball',
    boundary_error_strategy: builtins.str = 'automatic',
) -> EvaluationOptions

__repr__

EvaluationOptions.__repr__() -> builtins.str