Skip to main content
Ctrl+K

BoundLab

  • Getting Started
  • User Guide
  • Examples
  • API Reference
  • Contributing
  • GitHub
  • Getting Started
  • User Guide
  • Examples
  • API Reference
  • Contributing
  • GitHub

Section Navigation

  • boundlab
    • boundlab.Bias
    • boundlab.Error
    • boundlab.Expr
    • boundlab.ExprGroup
    • boundlab.Intersects
    • boundlab.Noise
    • boundlab.Zeros
    • boundlab.ops
      • boundlab.ops.definiteness_split
      • boundlab.ops.quadratic_shift
      • boundlab.ops.residual_add
      • boundlab.ops.deept
        • boundlab.ops.deept.deept_precise_estimate
      • boundlab.ops.legendre
        • boundlab.ops.legendre.generate_legendre_polynomials
        • boundlab.ops.legendre.legendre_polynomial
      • boundlab.ops.sparse_poly
        • boundlab.ops.sparse_poly.final_matmul
        • boundlab.ops.sparse_poly.final_quadratic
        • boundlab.ops.sparse_poly.matmul
        • boundlab.ops.sparse_poly.quadratic
        • boundlab.ops.sparse_poly.sum
      • boundlab.ops.unary_fn_opt
        • boundlab.ops.unary_fn_opt.QuarticBoundFn
        • boundlab.ops.unary_fn_opt.quartic_bound_exp
        • boundlab.ops.unary_fn_opt.quartic_bound_reciprocal_pos
        • boundlab.ops.unary_fn_opt.quartic_bound_tanh
        • boundlab.ops.unary_fn_opt.spline3_ibp
  • boundlab.utils
    • boundlab.utils.Dim
    • boundlab.utils.all_same
    • boundlab.utils.all_unique
    • boundlab.utils.cast
    • boundlab.utils.einsum_formatter
    • boundlab.utils.einsum_parser
    • boundlab.utils.format_bytes
    • boundlab.utils.is_statically_zero
    • boundlab.utils.same_shape
    • boundlab.utils.sum
    • boundlab.utils.unwarp
    • boundlab.utils.unzip
    • boundlab.utils.Dim
    • boundlab.utils.Polynomial
    • boundlab.utils.ShapeDtype
    • boundlab.utils.TensorFormat
    • boundlab.utils.TyDict
  • boundlab.error
    • boundlab.error.Error
    • boundlab.error.Reasons
    • boundlab.error.alignment
      • boundlab.error.alignment.Alignment
      • boundlab.error.alignment.SpanTable
      • boundlab.error.alignment.Span
  • boundlab.interp
    • boundlab.interp.handler_fn
    • boundlab.interp.is_abstract
    • boundlab.interp.onnx_export
    • boundlab.interp.Interpreter
    • boundlab.interp.OpHandler
    • boundlab.interp.InterpreterModule
    • boundlab.interp.base
      • boundlab.interp.base.interpret
      • boundlab.interp.base.Add
      • boundlab.interp.base.BroadcastTo
      • boundlab.interp.base.Cast
      • boundlab.interp.base.DivSimple
      • boundlab.interp.base.Gemm
      • boundlab.interp.base.Identity
      • boundlab.interp.base.MatmulSimple
      • boundlab.interp.base.MulSimple
      • boundlab.interp.base.Neg
      • boundlab.interp.base.Reshape
      • boundlab.interp.base.ReduceMean
      • boundlab.interp.base.ReduceSum
      • boundlab.interp.base.Squeeze
      • boundlab.interp.base.Sub
      • boundlab.interp.base.Transpose
      • boundlab.interp.base.Unsqueeze
    • boundlab.interp.export
      • boundlab.interp.export.onnx_export
      • boundlab.interp.export.InterpreterModule
  • boundlab.ibp
    • boundlab.ibp.interpret
    • boundlab.ibp.Bias
    • boundlab.ibp.MatmulBiased
    • boundlab.ibp.MatmulNoise
    • boundlab.ibp.MaxWithConst2Relu
    • boundlab.ibp.MaxWithConstBiased
    • boundlab.ibp.Noise
    • boundlab.ibp.Softmax2ExpReciprocal
    • boundlab.ibp.matmul
      • boundlab.ibp.matmul.MatmulBiased
      • boundlab.ibp.matmul.MatmulNoise
    • boundlab.ibp.max
      • boundlab.ibp.max.MaxWithConst2Relu
      • boundlab.ibp.max.MaxWithConstBiased
    • boundlab.ibp.mul
      • boundlab.ibp.mul.MulBiased
      • boundlab.ibp.mul.MulNoised
    • boundlab.ibp.softmax
      • boundlab.ibp.softmax.Softmax2ExpReciprocal
    • boundlab.ibp.elementwise
      • boundlab.ibp.elementwise.interval_fn
      • boundlab.ibp.elementwise.Exp
      • boundlab.ibp.elementwise.Reciprocal
      • boundlab.ibp.elementwise.Relu
      • boundlab.ibp.elementwise.Tanh
  • boundlab.zono
    • boundlab.zono.interpret
    • boundlab.zono.keep_zono
    • boundlab.zono.Generator
    • boundlab.zono.Matmul
    • boundlab.zono.Zono
    • boundlab.zono.linearizers
      • boundlab.zono.linearizers.linearizer_fn
      • boundlab.zono.linearizers.Exp
      • boundlab.zono.linearizers.LinearBounds
      • boundlab.zono.linearizers.MaxWithConst2Relu
      • boundlab.zono.linearizers.Reciprocal
      • boundlab.zono.linearizers.Relu
      • boundlab.zono.linearizers.Tanh
    • boundlab.zono.matmul
      • boundlab.zono.matmul.basic_estimate
      • boundlab.zono.matmul.precise_estimate
      • boundlab.zono.matmul.precise_estimate_orig
      • boundlab.zono.matmul.square_estimate
      • boundlab.zono.matmul.Matmul
  • boundlab.polysp
    • boundlab.polysp.interpret
    • boundlab.polysp.keep_ploysp
    • boundlab.polysp.Generator
    • boundlab.polysp.Matmul
    • boundlab.polysp.Poly
    • boundlab.polysp.PolySp
    • boundlab.polysp.generator
      • boundlab.polysp.generator.Generator
    • boundlab.polysp.legendre
      • boundlab.polysp.legendre.eval_legendre_form
      • boundlab.polysp.legendre.AdamConfig
      • boundlab.polysp.legendre.LegendreHandler
      • boundlab.polysp.legendre.Poly2Mul
      • boundlab.polysp.legendre.Poly2Square
      • boundlab.polysp.legendre.Relu
      • boundlab.polysp.legendre.Tanh
    • boundlab.polysp.softmax
      • boundlab.polysp.softmax.add_sum_constraint
      • boundlab.polysp.softmax.bounding_error_terms
      • boundlab.polysp.softmax.l1_optimal_step
      • boundlab.polysp.softmax.restrict_errors
      • boundlab.polysp.softmax.softmax_opt
      • boundlab.polysp.softmax.SoftmaxConstrained
  • boundlab.zonoq
    • boundlab.zonoq.keep_zonoq_with_zono
    • boundlab.zonoq.precise_lbub
    • boundlab.zonoq.Matmul
    • boundlab.zonoq.MatmulExtraZono
    • boundlab.zonoq.QGenerator
    • boundlab.zonoq.Quad
    • boundlab.zonoq.ZonoQ
    • boundlab.zonoq.generator
      • boundlab.zonoq.generator.QGenerator
    • boundlab.zonoq.quad
      • boundlab.zonoq.quad.Quad
    • boundlab.zonoq.matmul
      • boundlab.zonoq.matmul.Matmul
      • boundlab.zonoq.matmul.MatmulExtraZono
  • boundlab.ops
    • boundlab.ops.definiteness_split
    • boundlab.ops.quadratic_shift
    • boundlab.ops.residual_add
    • boundlab.ops.deept
      • boundlab.ops.deept.deept_precise_estimate
    • boundlab.ops.legendre
      • boundlab.ops.legendre.generate_legendre_polynomials
      • boundlab.ops.legendre.legendre_polynomial
    • boundlab.ops.sparse_poly
      • boundlab.ops.sparse_poly.final_matmul
      • boundlab.ops.sparse_poly.final_quadratic
      • boundlab.ops.sparse_poly.matmul
      • boundlab.ops.sparse_poly.quadratic
      • boundlab.ops.sparse_poly.sum
    • boundlab.ops.unary_fn_opt
      • boundlab.ops.unary_fn_opt.QuarticBoundFn
      • boundlab.ops.unary_fn_opt.quartic_bound_exp
      • boundlab.ops.unary_fn_opt.quartic_bound_reciprocal_pos
      • boundlab.ops.unary_fn_opt.quartic_bound_tanh
      • boundlab.ops.unary_fn_opt.spline3_ibp
  • boundlab.diff
    • boundlab.diff.diff_net
    • boundlab.diff.diff_pair
    • boundlab.diff.heaviside_pruning
    • boundlab.diff.softmax_pruning
    • boundlab.diff.topk_pruning
    • boundlab.diff.DiffExpr2
    • boundlab.diff.DiffExpr3
    • boundlab.diff.DiffLinear
    • boundlab.diff.expr
      • boundlab.diff.expr.lift_diff
      • boundlab.diff.expr.DiffExpr2
      • boundlab.diff.expr.DiffExpr3
    • boundlab.diff.onnx
      • boundlab.diff.onnx.diff_net
    • boundlab.diff.ops
      • boundlab.diff.ops.diff_pair
      • boundlab.diff.ops.heaviside_pruning
      • boundlab.diff.ops.softmax_pruning
      • boundlab.diff.ops.topk_pruning
      • boundlab.diff.ops.DiffLinear
      • boundlab.diff.ops.DiffPair
    • boundlab.diff.polysp3
      • boundlab.diff.polysp3.interpret
    • boundlab.diff.zono3
      • boundlab.diff.zono3.interpret
      • boundlab.diff.zono3.apply_diff_bounds
      • boundlab.diff.zono3.diff_bilinear
      • boundlab.diff.zono3.diff_interpreter
      • boundlab.diff.zono3.diff_linearizer_fn
      • boundlab.diff.zono3.diff_pairwise
      • boundlab.diff.zono3.keep_diff
      • boundlab.diff.zono3.tighten_diff
      • boundlab.diff.zono3.DiffBounds
      • boundlab.diff.zono3.DiffExp
      • boundlab.diff.zono3.DiffHeavisidePruning
      • boundlab.diff.zono3.DiffMatmul
      • boundlab.diff.zono3.DiffMul
      • boundlab.diff.zono3.DiffReciprocal
      • boundlab.diff.zono3.DiffRelu
      • boundlab.diff.zono3.DiffSoftmax
      • boundlab.diff.zono3.DiffSoftmaxPruning
      • boundlab.diff.zono3.DiffTanh
      • boundlab.diff.zono3.DiffTopKPruning
  • API Reference
  • boundlab.utils
  • boundlab.utils.ShapeDtype

boundlab.utils.ShapeDtype#

class boundlab.utils.ShapeDtype[source]#

Bases: object

Allocation-free shape and dtype metadata for an abstract expression.

Methods

__init__

from_value

shape: tuple[Any, ...]#
dtype: dtype#
__init__(shape, dtype)[source]#
classmethod from_value(value)[source]#

previous

boundlab.utils.Polynomial

next

boundlab.utils.TensorFormat

On this page
  • ShapeDtype
    • ShapeDtype.shape
    • ShapeDtype.dtype
    • ShapeDtype.__init__()
    • ShapeDtype.from_value()
Edit on GitHub

© Copyright 2024, BoundLab Authors.

Created using Sphinx 9.1.0.

Built with the PyData Sphinx Theme 0.19.0.