PreparedIntegralFamily

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

`PreparedIntegralFamily`

class PreparedIntegralFamily

A derivative-closed physical family that can generate its own integration boundaries.

Attributes

Name	Description
`basis`
`nonzero_conditions`
`target_reductions`

`basis`

PreparedIntegralFamily.basis: builtins.list[builtins.list[builtins.int]]

`nonzero_conditions`

PreparedIntegralFamily.nonzero_conditions: builtins.list[Expression]

`target_reductions`

PreparedIntegralFamily.target_reductions: builtins.list[builtins.list[tuple[builtins.list[builtins.int], Expression]]]

Methods

Name	Description
`generate_boundary`	Compute and verify fresh auxiliary-mass boundary values, then insert them atomically.
`project_targets`	Apply exact target reductions to a retained master result, propagating its uncertainty.
`required_master_range`	Required master epsilon orders, accounting for poles in target reduction coefficients.
`transport`	Transport the common master basis; target reductions remain available separately.

`generate_boundary`

PreparedIntegralFamily.generate_boundary(
    cache: BoundaryCache,
    point: typing.Mapping[Expression, Expression],
    *,
    last: builtins.int = 0,
    extra_digits: builtins.int = 10,
    control: typing.Optional[ComputationControl] = None,
) -> TransportResult

Compute and verify fresh auxiliary-mass boundary values, then insert them atomically.

`project_targets`

PreparedIntegralFamily.project_targets(
    result: TransportResult,
    leading: builtins.int,
    last: builtins.int,
    *,
    digits: typing.Optional[builtins.int] = None,
) -> builtins.list[LaurentExpansion]

Apply exact target reductions to a retained master result, propagating its uncertainty.

`required_master_range`

PreparedIntegralFamily.required_master_range(
    point: typing.Mapping[Expression, Expression],
    leading: builtins.int,
    last: builtins.int,
) -> tuple[builtins.int, builtins.int]

Required master epsilon orders, accounting for poles in target reduction coefficients.

`transport`

PreparedIntegralFamily.transport(
    cache: BoundaryCache,
    destination: typing.Mapping[Expression, Expression],
    leading: builtins.int,
    last: builtins.int,
    *,
    admit_straight_path: builtins.bool = False,
    scales: typing.Optional[typing.Mapping[Expression, Expression]] = None,
    control: typing.Optional[ComputationControl] = None,
) -> TransportResult

Transport the common master basis; target reductions remain available separately.