Index _ | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z _ __add__() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.error.Reasons method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.utils.Polynomial method) (boundlab.utils.TensorFormat method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) __call__() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.diff.zono3.DiffExp method) (boundlab.diff.zono3.DiffReciprocal method) (boundlab.diff.zono3.DiffRelu method) (boundlab.diff.zono3.DiffTanh method) (boundlab.ibp.elementwise.Exp method) (boundlab.ibp.elementwise.Reciprocal method) (boundlab.ibp.elementwise.Relu method) (boundlab.ibp.elementwise.Tanh method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.Interpreter method) (boundlab.interp.InterpreterModule method) (boundlab.utils.Polynomial method) (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.LinearBounds method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) __init__() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.DiffLinear method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.diff.ops.DiffLinear method) (boundlab.diff.zono3.DiffBounds method) (boundlab.diff.zono3.DiffExp method) (boundlab.diff.zono3.DiffMatmul method) (boundlab.diff.zono3.DiffMul method) (boundlab.diff.zono3.DiffReciprocal method) (boundlab.diff.zono3.DiffRelu method) (boundlab.diff.zono3.DiffSoftmax method) (boundlab.diff.zono3.DiffTanh method) (boundlab.Error method) (boundlab.error.alignment.Alignment method) (boundlab.error.alignment.Span method) (boundlab.error.alignment.SpanTable method) (boundlab.error.Error method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.elementwise.Exp method) (boundlab.ibp.elementwise.Reciprocal method) (boundlab.ibp.elementwise.Relu method) (boundlab.ibp.elementwise.Tanh method) (boundlab.ibp.softmax.Softmax2ExpReciprocal method) (boundlab.ibp.Softmax2ExpReciprocal method) (boundlab.interp.base.Add method) (boundlab.interp.base.BroadcastTo method) (boundlab.interp.base.Cast method) (boundlab.interp.base.Identity method) (boundlab.interp.base.Neg method) (boundlab.interp.base.ReduceMean method) (boundlab.interp.base.ReduceSum method) (boundlab.interp.base.Reshape method) (boundlab.interp.base.Squeeze method) (boundlab.interp.base.Sub method) (boundlab.interp.base.Transpose method) (boundlab.interp.base.Unsqueeze method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.Interpreter method) (boundlab.interp.InterpreterModule method) (boundlab.Intersects method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.legendre.AdamConfig method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.Matmul method) (boundlab.polysp.Poly method) (boundlab.polysp.PolySp method) (boundlab.polysp.softmax.SoftmaxConstrained method) (boundlab.utils.Polynomial method) (boundlab.utils.ShapeDtype method) (boundlab.utils.TensorFormat method) (boundlab.utils.TyDict method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.LinearBounds method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) (boundlab.zono.Matmul method) (boundlab.zono.matmul.Matmul method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.Matmul method) (boundlab.zonoq.matmul.Matmul method) (boundlab.zonoq.matmul.MatmulExtraZono method) (boundlab.zonoq.MatmulExtraZono method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) __mul__() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.error.Reasons method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.utils.Polynomial method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) __new__() (boundlab.error.alignment.SpanTable class method) (boundlab.error.Reasons class method) (boundlab.ExprGroup class method) (boundlab.ibp.Noise static method) (boundlab.interp.Interpreter class method) (boundlab.Noise static method) (boundlab.utils.TyDict class method) A absub() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) AdamConfig (class in boundlab.polysp.legendre) Add (class in boundlab.interp.base) add() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) add_identifier() (boundlab.utils.TensorFormat method) add_module() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) add_sum_constraint() (in module boundlab.polysp.softmax) after_each() (boundlab.interp.Interpreter static method) align_fill_zeros() (boundlab.polysp.PolySp method) (boundlab.zono.Zono method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) align_with() (boundlab.error.alignment.SpanTable method) Alignment (class in boundlab.error.alignment) all_same() (in module boundlab.utils) all_unique() (in module boundlab.utils) apply() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) apply_add() (boundlab.utils.Polynomial method) apply_ax() (boundlab.utils.Polynomial method) apply_ax_reversed() (boundlab.utils.Polynomial method) apply_bound() (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) apply_diff_bounds() (in module boundlab.diff.zono3) approx_lbub() (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) arr (boundlab.Bias attribute) (boundlab.ibp.Bias attribute) B basic_estimate() (in module boundlab.zono.matmul) beta1 (boundlab.polysp.legendre.AdamConfig attribute) beta2 (boundlab.polysp.legendre.AdamConfig attribute) bfloat16() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) bias (boundlab.zono.linearizers.LinearBounds attribute) Bias (class in boundlab) (class in boundlab.ibp) bounding_error_terms() (in module boundlab.polysp.softmax) boundlab module boundlab.diff module boundlab.diff.expr module boundlab.diff.onnx module boundlab.diff.ops module boundlab.diff.polysp3 module boundlab.diff.zono3 module boundlab.error module boundlab.error.alignment module boundlab.ibp module boundlab.ibp.elementwise module boundlab.ibp.matmul module boundlab.ibp.max module boundlab.ibp.mul module boundlab.ibp.softmax module boundlab.interp module boundlab.interp.base module boundlab.interp.export module boundlab.ops module boundlab.ops.deept module boundlab.ops.legendre module boundlab.ops.sparse_poly module boundlab.ops.unary_fn_opt module boundlab.polysp module boundlab.polysp.generator module boundlab.polysp.legendre module boundlab.polysp.softmax module boundlab.utils module boundlab.zono module boundlab.zono.linearizers module boundlab.zono.matmul module boundlab.zonoq module boundlab.zonoq.generator module boundlab.zonoq.matmul module boundlab.zonoq.quad module broadcast_to() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) BroadcastTo (class in boundlab.interp.base) buffers() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) by_order (boundlab.polysp.PolySp property) C call_super_init (boundlab.diff.DiffLinear attribute) (boundlab.diff.ops.DiffLinear attribute) (boundlab.interp.export.InterpreterModule attribute) (boundlab.interp.InterpreterModule attribute) Cast (class in boundlab.interp.base) cast() (in module boundlab.utils) chain() (boundlab.utils.Polynomial method) children() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) chw() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) classset() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) clear() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) coeffs (boundlab.utils.Polynomial attribute) compile() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) compiled() (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) compress() (boundlab.polysp.PolySp method) concat() (boundlab.zono.Generator static method) (boundlab.zonoq.generator.QGenerator static method) (boundlab.zonoq.QGenerator static method) condition() (boundlab.diff.ops.DiffPair method) (boundlab.diff.zono3.DiffExp method) (boundlab.diff.zono3.DiffHeavisidePruning method) (boundlab.diff.zono3.DiffMatmul method) (boundlab.diff.zono3.DiffMul method) (boundlab.diff.zono3.DiffReciprocal method) (boundlab.diff.zono3.DiffRelu method) (boundlab.diff.zono3.DiffSoftmax method) (boundlab.diff.zono3.DiffSoftmaxPruning method) (boundlab.diff.zono3.DiffTanh method) (boundlab.diff.zono3.DiffTopKPruning method) (boundlab.ibp.elementwise.Exp method) (boundlab.ibp.elementwise.Reciprocal method) (boundlab.ibp.elementwise.Relu method) (boundlab.ibp.elementwise.Tanh method) (boundlab.ibp.matmul.MatmulBiased method) (boundlab.ibp.matmul.MatmulNoise method) (boundlab.ibp.MatmulBiased method) (boundlab.ibp.MatmulNoise method) (boundlab.ibp.max.MaxWithConst2Relu method) (boundlab.ibp.max.MaxWithConstBiased method) (boundlab.ibp.MaxWithConst2Relu method) (boundlab.ibp.MaxWithConstBiased method) (boundlab.ibp.mul.MulBiased method) (boundlab.ibp.mul.MulNoised method) (boundlab.ibp.softmax.Softmax2ExpReciprocal method) (boundlab.ibp.Softmax2ExpReciprocal method) (boundlab.interp.base.Add method) (boundlab.interp.base.BroadcastTo method) (boundlab.interp.base.Cast method) (boundlab.interp.base.DivSimple method) (boundlab.interp.base.Gemm method) (boundlab.interp.base.Identity method) (boundlab.interp.base.MatmulSimple method) (boundlab.interp.base.MulSimple method) (boundlab.interp.base.Neg method) (boundlab.interp.base.ReduceMean method) (boundlab.interp.base.ReduceSum method) (boundlab.interp.base.Reshape method) (boundlab.interp.base.Squeeze method) (boundlab.interp.base.Sub method) (boundlab.interp.base.Transpose method) (boundlab.interp.base.Unsqueeze method) (boundlab.interp.OpHandler method) (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Poly2Mul method) (boundlab.polysp.legendre.Poly2Square method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) (boundlab.polysp.Matmul method) (boundlab.polysp.Poly method) (boundlab.polysp.softmax.SoftmaxConstrained method) (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.MaxWithConst2Relu method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) (boundlab.zono.Matmul method) (boundlab.zono.matmul.Matmul method) (boundlab.zonoq.Matmul method) (boundlab.zonoq.matmul.Matmul method) (boundlab.zonoq.matmul.MatmulExtraZono method) (boundlab.zonoq.MatmulExtraZono method) convert_from() (boundlab.Bias class method) (boundlab.diff.DiffExpr2 class method) (boundlab.diff.DiffExpr3 class method) (boundlab.diff.expr.DiffExpr2 class method) (boundlab.diff.expr.DiffExpr3 class method) (boundlab.Error class method) (boundlab.error.Error class method) (boundlab.Expr class method) (boundlab.ExprGroup class method) (boundlab.ibp.Bias class method) (boundlab.ibp.Noise class method) (boundlab.Intersects class method) (boundlab.Noise class method) (boundlab.polysp.Generator class method) (boundlab.polysp.generator.Generator class method) (boundlab.polysp.PolySp class method) (boundlab.Zeros class method) (boundlab.zono.Generator class method) (boundlab.zono.Zono class method) (boundlab.zonoq.generator.QGenerator class method) (boundlab.zonoq.QGenerator class method) (boundlab.zonoq.Quad class method) (boundlab.zonoq.quad.Quad class method) (boundlab.zonoq.ZonoQ class method) convert_to() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) copy() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) cpu() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) cuda() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) D data (boundlab.polysp.Generator attribute) (boundlab.polysp.generator.Generator attribute) deept_precise_estimate() (in module boundlab.ops.deept) definiteness_split() (in module boundlab.ops) degree (boundlab.utils.Polynomial property) derivative() (boundlab.utils.Polynomial method) diff (boundlab.diff.DiffExpr3 attribute) (boundlab.diff.expr.DiffExpr3 attribute) diff_bias (boundlab.diff.zono3.DiffBounds attribute) diff_bilinear() (in module boundlab.diff.zono3) diff_error (boundlab.diff.zono3.DiffBounds attribute) diff_interpreter() (in module boundlab.diff.zono3) diff_linearizer_fn() (in module boundlab.diff.zono3) diff_net() (in module boundlab.diff) (in module boundlab.diff.onnx) diff_pair() (in module boundlab.diff) (in module boundlab.diff.ops) diff_pairwise() (in module boundlab.diff.zono3) diff_slope (boundlab.diff.zono3.DiffBounds attribute) diff_x_error (boundlab.diff.zono3.DiffBounds attribute) diff_x_weight (boundlab.diff.zono3.DiffBounds attribute) diff_y_error (boundlab.diff.zono3.DiffBounds attribute) diff_y_weight (boundlab.diff.zono3.DiffBounds attribute) DiffBounds (class in boundlab.diff.zono3) DiffExp (class in boundlab.diff.zono3) DiffExpr2 (class in boundlab.diff) (class in boundlab.diff.expr) DiffExpr3 (class in boundlab.diff) (class in boundlab.diff.expr) DiffHeavisidePruning (class in boundlab.diff.zono3) DiffLinear (class in boundlab.diff) (class in boundlab.diff.ops) DiffMatmul (class in boundlab.diff.zono3) DiffMul (class in boundlab.diff.zono3) DiffPair (class in boundlab.diff.ops) DiffReciprocal (class in boundlab.diff.zono3) DiffRelu (class in boundlab.diff.zono3) DiffSoftmax (class in boundlab.diff.zono3) DiffSoftmaxPruning (class in boundlab.diff.zono3) DiffTanh (class in boundlab.diff.zono3) DiffTopKPruning (class in boundlab.diff.zono3) Dim (in module boundlab.utils) DivSimple (class in boundlab.interp.base) domain (boundlab.diff.zono3.DiffExp attribute) (boundlab.diff.zono3.DiffReciprocal attribute) (boundlab.diff.zono3.DiffRelu attribute) (boundlab.diff.zono3.DiffTanh attribute) double() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) dtype (boundlab.Bias property) (boundlab.diff.DiffExpr2 property) (boundlab.diff.DiffExpr3 property) (boundlab.diff.expr.DiffExpr2 property) (boundlab.diff.expr.DiffExpr3 property) (boundlab.Error property) (boundlab.error.Error property) (boundlab.Expr property) (boundlab.ExprGroup property) (boundlab.ibp.Bias property) (boundlab.ibp.Noise property) (boundlab.Intersects property) (boundlab.Noise property) (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) (boundlab.utils.ShapeDtype attribute) (boundlab.Zeros property) (boundlab.zono.Generator property) (boundlab.zono.Zono property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) (boundlab.zonoq.Quad property) (boundlab.zonoq.quad.Quad property) (boundlab.zonoq.ZonoQ property) dump_patches (boundlab.diff.DiffLinear attribute) (boundlab.diff.ops.DiffLinear attribute) (boundlab.interp.export.InterpreterModule attribute) (boundlab.interp.InterpreterModule attribute) E einsum() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) einsum_formatter() (in module boundlab.utils) einsum_parser() (in module boundlab.utils) eps (boundlab.polysp.Matmul attribute) (boundlab.polysp.Poly attribute) epsilon (boundlab.polysp.legendre.AdamConfig attribute) error (boundlab.zono.linearizers.LinearBounds attribute) Error (class in boundlab) (class in boundlab.error) error() (boundlab.polysp.PolySp static method) (boundlab.zono.Zono static method) (boundlab.zonoq.Quad static method) (boundlab.zonoq.quad.Quad static method) (boundlab.zonoq.ZonoQ static method) error_len (boundlab.polysp.Generator attribute) (boundlab.polysp.generator.Generator attribute) (boundlab.zono.Generator property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) error_span() (boundlab.zono.Generator method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) eval() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) eval_legendre_form() (in module boundlab.polysp.legendre) Exp (class in boundlab.ibp.elementwise) (class in boundlab.zono.linearizers) expanded_to_table() (boundlab.polysp.PolySp method) (boundlab.zono.Zono method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) Expr (class in boundlab) ExprGroup (class in boundlab) exprs (boundlab.error.alignment.Alignment attribute) extra_repr() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) F fallback (boundlab.diff.zono3.DiffExp attribute) (boundlab.diff.zono3.DiffReciprocal attribute) (boundlab.diff.zono3.DiffRelu attribute) (boundlab.diff.zono3.DiffSoftmax attribute) (boundlab.diff.zono3.DiffTanh attribute) filter_nse() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) final_matmul() (in module boundlab.ops.sparse_poly) final_quadratic() (in module boundlab.ops.sparse_poly) float() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) fmt (boundlab.utils.TensorFormat attribute) fn() (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) format_bytes() (in module boundlab.utils) forward() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) from_bias() (boundlab.polysp.Generator static method) (boundlab.polysp.generator.Generator static method) from_exprlike() (boundlab.Bias static method) (boundlab.diff.DiffExpr2 static method) (boundlab.diff.DiffExpr3 static method) (boundlab.diff.expr.DiffExpr2 static method) (boundlab.diff.expr.DiffExpr3 static method) (boundlab.Error static method) (boundlab.error.Error static method) (boundlab.Expr static method) (boundlab.ExprGroup static method) (boundlab.ibp.Bias static method) (boundlab.ibp.Noise static method) (boundlab.Intersects static method) (boundlab.Noise static method) (boundlab.polysp.Generator static method) (boundlab.polysp.generator.Generator static method) (boundlab.polysp.PolySp static method) (boundlab.Zeros static method) (boundlab.zono.Generator static method) (boundlab.zono.Zono static method) (boundlab.zonoq.generator.QGenerator static method) (boundlab.zonoq.QGenerator static method) (boundlab.zonoq.Quad static method) (boundlab.zonoq.quad.Quad static method) (boundlab.zonoq.ZonoQ static method) from_shape() (boundlab.polysp.Generator static method) (boundlab.polysp.generator.Generator static method) (boundlab.zono.Generator static method) (boundlab.zonoq.generator.QGenerator static method) (boundlab.zonoq.QGenerator static method) from_sum() (boundlab.ExprGroup static method) from_value() (boundlab.utils.ShapeDtype class method) from_zono() (boundlab.polysp.PolySp static method) fromkeys() (boundlab.error.alignment.SpanTable class method) (boundlab.error.Reasons class method) (boundlab.ExprGroup class method) (boundlab.interp.Interpreter class method) (boundlab.utils.TyDict class method) full_abs() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) G Gemm (class in boundlab.interp.base) gen (boundlab.zono.Zono attribute) (boundlab.zonoq.Quad attribute) (boundlab.zonoq.quad.Quad attribute) generate_legendre_polynomials() (in module boundlab.ops.legendre) Generator (class in boundlab.polysp) (class in boundlab.polysp.generator) (class in boundlab.zono) gens (boundlab.polysp.PolySp attribute) get() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) get_buffer() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) get_const() (boundlab.diff.DiffExpr2 method) (boundlab.diff.expr.DiffExpr2 method) get_extra_state() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) get_parameter() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) get_submodule() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) H half() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) handle() (boundlab.diff.ops.DiffPair method) (boundlab.diff.zono3.DiffExp method) (boundlab.diff.zono3.DiffHeavisidePruning method) (boundlab.diff.zono3.DiffMatmul method) (boundlab.diff.zono3.DiffMul method) (boundlab.diff.zono3.DiffReciprocal method) (boundlab.diff.zono3.DiffRelu method) (boundlab.diff.zono3.DiffSoftmax method) (boundlab.diff.zono3.DiffSoftmaxPruning method) (boundlab.diff.zono3.DiffTanh method) (boundlab.diff.zono3.DiffTopKPruning method) (boundlab.ibp.elementwise.Exp method) (boundlab.ibp.elementwise.Reciprocal method) (boundlab.ibp.elementwise.Relu method) (boundlab.ibp.elementwise.Tanh method) (boundlab.ibp.matmul.MatmulBiased method) (boundlab.ibp.matmul.MatmulNoise method) (boundlab.ibp.MatmulBiased method) (boundlab.ibp.MatmulNoise method) (boundlab.ibp.max.MaxWithConst2Relu method) (boundlab.ibp.max.MaxWithConstBiased method) (boundlab.ibp.MaxWithConst2Relu method) (boundlab.ibp.MaxWithConstBiased method) (boundlab.ibp.mul.MulBiased method) (boundlab.ibp.mul.MulNoised method) (boundlab.ibp.softmax.Softmax2ExpReciprocal method) (boundlab.ibp.Softmax2ExpReciprocal method) (boundlab.interp.base.Add method) (boundlab.interp.base.BroadcastTo method) (boundlab.interp.base.Cast method) (boundlab.interp.base.DivSimple method) (boundlab.interp.base.Gemm method) (boundlab.interp.base.Identity method) (boundlab.interp.base.MatmulSimple method) (boundlab.interp.base.MulSimple method) (boundlab.interp.base.Neg method) (boundlab.interp.base.ReduceMean method) (boundlab.interp.base.ReduceSum method) (boundlab.interp.base.Reshape method) (boundlab.interp.base.Squeeze method) (boundlab.interp.base.Sub method) (boundlab.interp.base.Transpose method) (boundlab.interp.base.Unsqueeze method) (boundlab.interp.OpHandler method) (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Poly2Mul method) (boundlab.polysp.legendre.Poly2Square method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) (boundlab.polysp.Matmul method) (boundlab.polysp.Poly method) (boundlab.polysp.softmax.SoftmaxConstrained method) (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.MaxWithConst2Relu method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) (boundlab.zono.Matmul method) (boundlab.zono.matmul.Matmul method) (boundlab.zonoq.Matmul method) (boundlab.zonoq.matmul.Matmul method) (boundlab.zonoq.matmul.MatmulExtraZono method) (boundlab.zonoq.MatmulExtraZono method) handler_called (boundlab.interp.Interpreter attribute) handler_fn() (in module boundlab.interp) heaviside_pruning() (in module boundlab.diff) (in module boundlab.diff.ops) I ibp() (boundlab.utils.Polynomial method) ID (boundlab.Error attribute) (boundlab.error.Error attribute) Identity (class in boundlab.interp.base) indices (boundlab.polysp.Generator attribute) (boundlab.polysp.generator.Generator attribute) inner (boundlab.polysp.softmax.SoftmaxConstrained attribute) interp_exp (boundlab.ibp.softmax.Softmax2ExpReciprocal attribute) (boundlab.ibp.Softmax2ExpReciprocal attribute) interp_reciprocal (boundlab.ibp.softmax.Softmax2ExpReciprocal attribute) (boundlab.ibp.Softmax2ExpReciprocal attribute) interpret (in module boundlab.diff.polysp3) (in module boundlab.diff.zono3) (in module boundlab.ibp) (in module boundlab.interp.base) (in module boundlab.polysp) (in module boundlab.zono) Interpreter (class in boundlab.interp) InterpreterModule (class in boundlab.interp) (class in boundlab.interp.export) Intersects (class in boundlab) interval_fn() (in module boundlab.ibp.elementwise) ipu() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) is_abstract() (in module boundlab.interp) is_constant() (boundlab.diff.DiffExpr2 method) (boundlab.diff.expr.DiffExpr2 method) is_statically_zero() (in module boundlab.utils) items() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) J join() (boundlab.utils.TensorFormat static method) K keep_diff() (in module boundlab.diff.zono3) keep_ploysp() (in module boundlab.polysp) keep_zono() (in module boundlab.zono) keep_zonoq_with_zono() (in module boundlab.zonoq) keys() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) keyset() (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) kind() (boundlab.error.alignment.Alignment method) kwargs (boundlab.utils.TensorFormat attribute) L L (boundlab.zonoq.ZonoQ attribute) l1_optimal_step() (in module boundlab.polysp.softmax) lb() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) lbub() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) learning_rate (boundlab.polysp.legendre.AdamConfig attribute) legendre_coeffs() (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) legendre_polynomial() (in module boundlab.ops.legendre) LegendreHandler (class in boundlab.polysp.legendre) lift_diff() (in module boundlab.diff.expr) LinearBounds (class in boundlab.zono.linearizers) linearizer_fn() (in module boundlab.zono.linearizers) load_state_dict() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) M make() (boundlab.polysp.PolySp static method) (boundlab.zonoq.ZonoQ static method) map_indices() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) Matmul (class in boundlab.polysp) (class in boundlab.zono) (class in boundlab.zono.matmul) (class in boundlab.zonoq) (class in boundlab.zonoq.matmul) matmul() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) (in module boundlab.ops.sparse_poly) MatmulBiased (class in boundlab.ibp) (class in boundlab.ibp.matmul) MatmulExtraZono (class in boundlab.zonoq) (class in boundlab.zonoq.matmul) MatmulNoise (class in boundlab.ibp) (class in boundlab.ibp.matmul) MatmulSimple (class in boundlab.interp.base) MaxWithConst2Relu (class in boundlab.ibp) (class in boundlab.ibp.max) (class in boundlab.zono.linearizers) MaxWithConstBiased (class in boundlab.ibp) (class in boundlab.ibp.max) mean() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) merge() (boundlab.error.alignment.Alignment method) module boundlab boundlab.diff boundlab.diff.expr boundlab.diff.onnx boundlab.diff.ops boundlab.diff.polysp3 boundlab.diff.zono3 boundlab.error boundlab.error.alignment boundlab.ibp boundlab.ibp.elementwise boundlab.ibp.matmul boundlab.ibp.max boundlab.ibp.mul boundlab.ibp.softmax boundlab.interp boundlab.interp.base boundlab.interp.export boundlab.ops boundlab.ops.deept boundlab.ops.legendre boundlab.ops.sparse_poly boundlab.ops.unary_fn_opt boundlab.polysp boundlab.polysp.generator boundlab.polysp.legendre boundlab.polysp.softmax boundlab.utils boundlab.zono boundlab.zono.linearizers boundlab.zono.matmul boundlab.zonoq boundlab.zonoq.generator boundlab.zonoq.matmul boundlab.zonoq.quad modules() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) mtia() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) mul() (boundlab.utils.Polynomial method) MulBiased (class in boundlab.ibp.mul) MulNoised (class in boundlab.ibp.mul) MulSimple (class in boundlab.interp.base) N name (boundlab.diff.zono3.DiffBounds attribute) (boundlab.Error attribute) (boundlab.error.Error attribute) (boundlab.zono.linearizers.LinearBounds attribute) named_buffers() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) named_children() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) named_modules() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) named_parameters() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) nbytes (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) ndim (boundlab.Bias property) (boundlab.diff.DiffExpr2 property) (boundlab.diff.DiffExpr3 property) (boundlab.diff.expr.DiffExpr2 property) (boundlab.diff.expr.DiffExpr3 property) (boundlab.Error property) (boundlab.error.Error property) (boundlab.Expr property) (boundlab.ExprGroup property) (boundlab.ibp.Bias property) (boundlab.ibp.Noise property) (boundlab.Intersects property) (boundlab.Noise property) (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) (boundlab.Zeros property) (boundlab.zono.Generator property) (boundlab.zono.Zono property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) (boundlab.zonoq.Quad property) (boundlab.zonoq.quad.Quad property) (boundlab.zonoq.ZonoQ property) Neg (class in boundlab.interp.base) nintvl (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) noise (boundlab.ibp.Noise attribute) (boundlab.Noise attribute) Noise (class in boundlab) (class in boundlab.ibp) noise_eta (boundlab.polysp.legendre.AdamConfig attribute) noise_gamma (boundlab.polysp.legendre.AdamConfig attribute) nse_order() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) nterms (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) numel() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) O onnx_export() (in module boundlab.interp) (in module boundlab.interp.export) op (boundlab.diff.ops.DiffPair attribute) (boundlab.diff.zono3.DiffExp attribute) (boundlab.diff.zono3.DiffHeavisidePruning attribute) (boundlab.diff.zono3.DiffMatmul attribute) (boundlab.diff.zono3.DiffMul attribute) (boundlab.diff.zono3.DiffReciprocal attribute) (boundlab.diff.zono3.DiffRelu attribute) (boundlab.diff.zono3.DiffSoftmax attribute) (boundlab.diff.zono3.DiffSoftmaxPruning attribute) (boundlab.diff.zono3.DiffTanh attribute) (boundlab.diff.zono3.DiffTopKPruning attribute) (boundlab.ibp.elementwise.Exp attribute) (boundlab.ibp.elementwise.Reciprocal attribute) (boundlab.ibp.elementwise.Relu attribute) (boundlab.ibp.elementwise.Tanh attribute) (boundlab.ibp.matmul.MatmulBiased attribute) (boundlab.ibp.matmul.MatmulNoise attribute) (boundlab.ibp.MatmulBiased attribute) (boundlab.ibp.MatmulNoise attribute) (boundlab.ibp.max.MaxWithConst2Relu attribute) (boundlab.ibp.max.MaxWithConstBiased attribute) (boundlab.ibp.MaxWithConst2Relu attribute) (boundlab.ibp.MaxWithConstBiased attribute) (boundlab.ibp.mul.MulBiased attribute) (boundlab.ibp.mul.MulNoised attribute) (boundlab.ibp.softmax.Softmax2ExpReciprocal attribute) (boundlab.ibp.Softmax2ExpReciprocal attribute) (boundlab.interp.base.Add attribute) (boundlab.interp.base.BroadcastTo attribute) (boundlab.interp.base.Cast attribute) (boundlab.interp.base.DivSimple attribute) (boundlab.interp.base.Gemm attribute) (boundlab.interp.base.Identity attribute) (boundlab.interp.base.MatmulSimple attribute) (boundlab.interp.base.MulSimple attribute) (boundlab.interp.base.Neg attribute) (boundlab.interp.base.ReduceMean attribute) (boundlab.interp.base.ReduceSum attribute) (boundlab.interp.base.Reshape attribute) (boundlab.interp.base.Squeeze attribute) (boundlab.interp.base.Sub attribute) (boundlab.interp.base.Transpose attribute) (boundlab.interp.base.Unsqueeze attribute) (boundlab.interp.OpHandler attribute) (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Poly2Mul attribute) (boundlab.polysp.legendre.Poly2Square attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) (boundlab.polysp.Matmul attribute) (boundlab.polysp.Poly attribute) (boundlab.polysp.softmax.SoftmaxConstrained attribute) (boundlab.zono.linearizers.Exp attribute) (boundlab.zono.linearizers.MaxWithConst2Relu attribute) (boundlab.zono.linearizers.Reciprocal attribute) (boundlab.zono.linearizers.Relu attribute) (boundlab.zono.linearizers.Tanh attribute) (boundlab.zono.Matmul attribute) (boundlab.zono.matmul.Matmul attribute) (boundlab.zonoq.Matmul attribute) (boundlab.zonoq.matmul.Matmul attribute) (boundlab.zonoq.matmul.MatmulExtraZono attribute) (boundlab.zonoq.MatmulExtraZono attribute) OpHandler (class in boundlab.interp) opt_iters (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) optimized_polynomial() (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) optimizer (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) order (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) (boundlab.polysp.Matmul attribute) (boundlab.polysp.Poly attribute) override_handler() (boundlab.diff.ops.DiffPair method) (boundlab.diff.zono3.DiffExp method) (boundlab.diff.zono3.DiffHeavisidePruning method) (boundlab.diff.zono3.DiffMatmul method) (boundlab.diff.zono3.DiffMul method) (boundlab.diff.zono3.DiffReciprocal method) (boundlab.diff.zono3.DiffRelu method) (boundlab.diff.zono3.DiffSoftmax method) (boundlab.diff.zono3.DiffSoftmaxPruning method) (boundlab.diff.zono3.DiffTanh method) (boundlab.diff.zono3.DiffTopKPruning method) (boundlab.ibp.elementwise.Exp method) (boundlab.ibp.elementwise.Reciprocal method) (boundlab.ibp.elementwise.Relu method) (boundlab.ibp.elementwise.Tanh method) (boundlab.ibp.matmul.MatmulBiased method) (boundlab.ibp.matmul.MatmulNoise method) (boundlab.ibp.MatmulBiased method) (boundlab.ibp.MatmulNoise method) (boundlab.ibp.max.MaxWithConst2Relu method) (boundlab.ibp.max.MaxWithConstBiased method) (boundlab.ibp.MaxWithConst2Relu method) (boundlab.ibp.MaxWithConstBiased method) (boundlab.ibp.mul.MulBiased method) (boundlab.ibp.mul.MulNoised method) (boundlab.ibp.softmax.Softmax2ExpReciprocal method) (boundlab.ibp.Softmax2ExpReciprocal method) (boundlab.interp.base.Add method) (boundlab.interp.base.BroadcastTo method) (boundlab.interp.base.Cast method) (boundlab.interp.base.DivSimple method) (boundlab.interp.base.Gemm method) (boundlab.interp.base.Identity method) (boundlab.interp.base.MatmulSimple method) (boundlab.interp.base.MulSimple method) (boundlab.interp.base.Neg method) (boundlab.interp.base.ReduceMean method) (boundlab.interp.base.ReduceSum method) (boundlab.interp.base.Reshape method) (boundlab.interp.base.Squeeze method) (boundlab.interp.base.Sub method) (boundlab.interp.base.Transpose method) (boundlab.interp.base.Unsqueeze method) (boundlab.interp.OpHandler method) (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Poly2Mul method) (boundlab.polysp.legendre.Poly2Square method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) (boundlab.polysp.Matmul method) (boundlab.polysp.Poly method) (boundlab.polysp.softmax.SoftmaxConstrained method) (boundlab.zono.linearizers.Exp method) (boundlab.zono.linearizers.MaxWithConst2Relu method) (boundlab.zono.linearizers.Reciprocal method) (boundlab.zono.linearizers.Relu method) (boundlab.zono.linearizers.Tanh method) (boundlab.zono.Matmul method) (boundlab.zono.matmul.Matmul method) (boundlab.zonoq.Matmul method) (boundlab.zonoq.matmul.Matmul method) (boundlab.zonoq.matmul.MatmulExtraZono method) (boundlab.zonoq.MatmulExtraZono method) overrides (boundlab.diff.ops.DiffPair attribute) (boundlab.diff.zono3.DiffExp attribute) (boundlab.diff.zono3.DiffHeavisidePruning attribute) (boundlab.diff.zono3.DiffMatmul attribute) (boundlab.diff.zono3.DiffMul attribute) (boundlab.diff.zono3.DiffReciprocal attribute) (boundlab.diff.zono3.DiffRelu attribute) (boundlab.diff.zono3.DiffSoftmax attribute) (boundlab.diff.zono3.DiffSoftmaxPruning attribute) (boundlab.diff.zono3.DiffTanh attribute) (boundlab.diff.zono3.DiffTopKPruning attribute) (boundlab.ibp.elementwise.Exp attribute) (boundlab.ibp.elementwise.Reciprocal attribute) (boundlab.ibp.elementwise.Relu attribute) (boundlab.ibp.elementwise.Tanh attribute) (boundlab.ibp.matmul.MatmulBiased attribute) (boundlab.ibp.matmul.MatmulNoise attribute) (boundlab.ibp.MatmulBiased attribute) (boundlab.ibp.MatmulNoise attribute) (boundlab.ibp.max.MaxWithConst2Relu attribute) (boundlab.ibp.max.MaxWithConstBiased attribute) (boundlab.ibp.MaxWithConst2Relu attribute) (boundlab.ibp.MaxWithConstBiased attribute) (boundlab.ibp.mul.MulBiased attribute) (boundlab.ibp.mul.MulNoised attribute) (boundlab.ibp.softmax.Softmax2ExpReciprocal attribute) (boundlab.ibp.Softmax2ExpReciprocal attribute) (boundlab.interp.base.Add attribute) (boundlab.interp.base.BroadcastTo attribute) (boundlab.interp.base.Cast attribute) (boundlab.interp.base.DivSimple attribute) (boundlab.interp.base.Gemm attribute) (boundlab.interp.base.Identity attribute) (boundlab.interp.base.MatmulSimple attribute) (boundlab.interp.base.MulSimple attribute) (boundlab.interp.base.Neg attribute) (boundlab.interp.base.ReduceMean attribute) (boundlab.interp.base.ReduceSum attribute) (boundlab.interp.base.Reshape attribute) (boundlab.interp.base.Squeeze attribute) (boundlab.interp.base.Sub attribute) (boundlab.interp.base.Transpose attribute) (boundlab.interp.base.Unsqueeze attribute) (boundlab.interp.OpHandler attribute) (boundlab.polysp.legendre.LegendreHandler attribute) (boundlab.polysp.legendre.Poly2Mul attribute) (boundlab.polysp.legendre.Poly2Square attribute) (boundlab.polysp.legendre.Relu attribute) (boundlab.polysp.legendre.Tanh attribute) (boundlab.polysp.Matmul attribute) (boundlab.polysp.Poly attribute) (boundlab.polysp.softmax.SoftmaxConstrained attribute) (boundlab.zono.linearizers.Exp attribute) (boundlab.zono.linearizers.MaxWithConst2Relu attribute) (boundlab.zono.linearizers.Reciprocal attribute) (boundlab.zono.linearizers.Relu attribute) (boundlab.zono.linearizers.Tanh attribute) (boundlab.zono.Matmul attribute) (boundlab.zono.matmul.Matmul attribute) (boundlab.zonoq.Matmul attribute) (boundlab.zonoq.matmul.Matmul attribute) (boundlab.zonoq.matmul.MatmulExtraZono attribute) (boundlab.zonoq.MatmulExtraZono attribute) P pad_order() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) parameters() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) Poly (class in boundlab.polysp) Poly2Mul (class in boundlab.polysp.legendre) Poly2Square (class in boundlab.polysp.legendre) Polynomial (class in boundlab.utils) PolySp (class in boundlab.polysp) pop() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) popitem() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) precise_estimate() (in module boundlab.zono.matmul) precise_estimate_orig() (in module boundlab.zono.matmul) precise_lbub() (in module boundlab.zonoq) print() (boundlab.utils.TensorFormat method) prop_noise() (boundlab.ibp.mul.MulNoised method) Q Q (boundlab.zonoq.ZonoQ attribute) QGenerator (class in boundlab.zonoq) (class in boundlab.zonoq.generator) Quad (class in boundlab.zonoq) (class in boundlab.zonoq.quad) quadratic() (in module boundlab.ops.sparse_poly) quadratic_shift() (in module boundlab.ops) quartic_bound() (boundlab.polysp.legendre.LegendreHandler method) (boundlab.polysp.legendre.Relu method) (boundlab.polysp.legendre.Tanh method) quartic_bound_exp() (in module boundlab.ops.unary_fn_opt) quartic_bound_reciprocal_pos() (in module boundlab.ops.unary_fn_opt) quartic_bound_tanh() (in module boundlab.ops.unary_fn_opt) QuarticBoundFn (in module boundlab.ops.unary_fn_opt) R reasons (boundlab.Error attribute) (boundlab.error.Error attribute) (boundlab.ibp.Noise attribute) (boundlab.Noise attribute) Reasons (class in boundlab.error) reasons_breakdown() (boundlab.polysp.PolySp method) (boundlab.zono.Zono method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) Reciprocal (class in boundlab.ibp.elementwise) (class in boundlab.zono.linearizers) ReduceMean (class in boundlab.interp.base) ReduceSum (class in boundlab.interp.base) register_backward_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_buffer() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_forward_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_forward_pre_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_full_backward_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_full_backward_pre_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_load_state_dict_post_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_load_state_dict_pre_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_module() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_parameter() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_state_dict_post_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) register_state_dict_pre_hook() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) Relu (class in boundlab.ibp.elementwise) (class in boundlab.polysp.legendre) (class in boundlab.zono.linearizers) render() (boundlab.utils.TensorFormat method) requires_grad_() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) Reshape (class in boundlab.interp.base) reshape() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) residual_add() (in module boundlab.ops) restrict_errors() (in module boundlab.polysp.softmax) rmatmul() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) S same_shape() (in module boundlab.utils) seed (boundlab.polysp.legendre.AdamConfig attribute) set_extra_state() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) set_submodule() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) setdefault() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) shape (boundlab.Bias property) (boundlab.diff.DiffExpr2 property) (boundlab.diff.DiffExpr3 property) (boundlab.diff.expr.DiffExpr2 property) (boundlab.diff.expr.DiffExpr3 property) (boundlab.Error property) (boundlab.error.Error property) (boundlab.Expr property) (boundlab.ExprGroup property) (boundlab.ibp.Bias property) (boundlab.ibp.Noise property) (boundlab.Intersects property) (boundlab.Noise property) (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) (boundlab.utils.ShapeDtype attribute) (boundlab.Zeros property) (boundlab.zono.Generator property) (boundlab.zono.Zono property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) (boundlab.zonoq.Quad property) (boundlab.zonoq.quad.Quad property) (boundlab.zonoq.ZonoQ property) shape_dtype (boundlab.Bias property) (boundlab.diff.DiffExpr2 property) (boundlab.diff.DiffExpr3 property) (boundlab.diff.expr.DiffExpr2 property) (boundlab.diff.expr.DiffExpr3 property) (boundlab.Error property) (boundlab.error.Error property) (boundlab.Expr property) (boundlab.ExprGroup property) (boundlab.ibp.Bias property) (boundlab.ibp.Noise property) (boundlab.Intersects property) (boundlab.Noise property) (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) (boundlab.Zeros property) (boundlab.zono.Generator property) (boundlab.zono.Zono property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) (boundlab.zonoq.Quad property) (boundlab.zonoq.quad.Quad property) (boundlab.zonoq.ZonoQ property) shape_dtype_struct (boundlab.Error attribute) (boundlab.error.Error attribute) ShapeDtype (class in boundlab.utils) share_memory() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) single() (boundlab.zono.Zono static method) (boundlab.zonoq.Quad static method) (boundlab.zonoq.quad.Quad static method) size (boundlab.error.alignment.Span property) slope (boundlab.zono.linearizers.LinearBounds attribute) Softmax2ExpReciprocal (class in boundlab.ibp) (class in boundlab.ibp.softmax) softmax_opt() (in module boundlab.polysp.softmax) softmax_pruning() (in module boundlab.diff) (in module boundlab.diff.ops) SoftmaxConstrained (class in boundlab.polysp.softmax) Span (class in boundlab.error.alignment) span1 (boundlab.error.alignment.Alignment attribute) span2 (boundlab.error.alignment.Alignment attribute) span_out (boundlab.error.alignment.Alignment attribute) SpanTable (class in boundlab.error.alignment) sparse_applypoly() (boundlab.polysp.PolySp method) sparse_matmul() (boundlab.polysp.PolySp method) spline3_ibp() (in module boundlab.ops.unary_fn_opt) split() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) square_estimate() (in module boundlab.zono.matmul) Squeeze (class in boundlab.interp.base) squeeze() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) start (boundlab.error.alignment.Span attribute) state_dict() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) stop (boundlab.error.alignment.Span attribute) Sub (class in boundlab.interp.base) subset_of() (boundlab.error.alignment.Alignment method) (boundlab.error.alignment.SpanTable method) sum() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) (in module boundlab.ops.sparse_poly) (in module boundlab.utils) T T (boundlab.Bias property) (boundlab.diff.DiffExpr2 property) (boundlab.diff.DiffExpr3 property) (boundlab.diff.expr.DiffExpr2 property) (boundlab.diff.expr.DiffExpr3 property) (boundlab.Error property) (boundlab.error.Error property) (boundlab.Expr property) (boundlab.ExprGroup property) (boundlab.ibp.Bias property) (boundlab.ibp.Noise property) (boundlab.Intersects property) (boundlab.Noise property) (boundlab.polysp.Generator property) (boundlab.polysp.generator.Generator property) (boundlab.polysp.PolySp property) (boundlab.Zeros property) (boundlab.zono.Generator property) (boundlab.zono.Zono property) (boundlab.zonoq.generator.QGenerator property) (boundlab.zonoq.QGenerator property) (boundlab.zonoq.Quad property) (boundlab.zonoq.quad.Quad property) (boundlab.zonoq.ZonoQ property) T_destination (boundlab.diff.DiffLinear attribute) (boundlab.diff.ops.DiffLinear attribute) (boundlab.interp.export.InterpreterModule attribute) (boundlab.interp.InterpreterModule attribute) table (boundlab.polysp.PolySp attribute) (boundlab.zono.Zono attribute) (boundlab.zonoq.Quad attribute) (boundlab.zonoq.quad.Quad attribute) (boundlab.zonoq.ZonoQ property) Tanh (class in boundlab.ibp.elementwise) (class in boundlab.polysp.legendre) (class in boundlab.zono.linearizers) tensor (boundlab.zono.Generator attribute) (boundlab.zonoq.generator.QGenerator attribute) (boundlab.zonoq.QGenerator attribute) TensorFormat (class in boundlab.utils) terms_out() (boundlab.error.alignment.Alignment method) tighten (boundlab.diff.zono3.DiffExp attribute) (boundlab.diff.zono3.DiffMatmul attribute) (boundlab.diff.zono3.DiffMul attribute) (boundlab.diff.zono3.DiffReciprocal attribute) (boundlab.diff.zono3.DiffRelu attribute) (boundlab.diff.zono3.DiffTanh attribute) tighten_diff() (in module boundlab.diff.zono3) to() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.DiffLinear method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.diff.ops.DiffLinear method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) to3() (boundlab.diff.DiffExpr2 method) (boundlab.diff.expr.DiffExpr2 method) to_empty() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) to_intervals() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) topk_pruning() (in module boundlab.diff) (in module boundlab.diff.ops) torch_print() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) train() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) training (boundlab.diff.DiffLinear attribute) (boundlab.diff.ops.DiffLinear attribute) (boundlab.interp.export.InterpreterModule attribute) (boundlab.interp.InterpreterModule attribute) Transpose (class in boundlab.interp.base) transpose() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) tree_flatten() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) tree_unflatten() (boundlab.error.alignment.SpanTable class method) (boundlab.error.Reasons class method) (boundlab.ExprGroup class method) TyDict (class in boundlab.utils) type() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) U ub() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) Unsqueeze (class in boundlab.interp.base) unsqueeze() (boundlab.Bias method) (boundlab.diff.DiffExpr2 method) (boundlab.diff.DiffExpr3 method) (boundlab.diff.expr.DiffExpr2 method) (boundlab.diff.expr.DiffExpr3 method) (boundlab.Error method) (boundlab.error.Error method) (boundlab.Expr method) (boundlab.ExprGroup method) (boundlab.ibp.Bias method) (boundlab.ibp.Noise method) (boundlab.Intersects method) (boundlab.Noise method) (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) (boundlab.polysp.PolySp method) (boundlab.Zeros method) (boundlab.zono.Generator method) (boundlab.zono.Zono method) (boundlab.zonoq.generator.QGenerator method) (boundlab.zonoq.QGenerator method) (boundlab.zonoq.Quad method) (boundlab.zonoq.quad.Quad method) (boundlab.zonoq.ZonoQ method) unwarp() (in module boundlab.utils) unzip() (in module boundlab.utils) update() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) V validate() (boundlab.error.alignment.SpanTable method) values() (boundlab.error.alignment.SpanTable method) (boundlab.error.Reasons method) (boundlab.ExprGroup method) (boundlab.interp.Interpreter method) (boundlab.utils.TyDict method) W weighted_avg() (boundlab.error.Reasons static method) with_data() (boundlab.polysp.Generator method) (boundlab.polysp.generator.Generator method) X x (boundlab.diff.DiffExpr2 attribute) (boundlab.diff.DiffExpr3 attribute) (boundlab.diff.expr.DiffExpr2 attribute) (boundlab.diff.expr.DiffExpr3 attribute) (boundlab.diff.zono3.DiffBounds attribute) X() (boundlab.utils.Polynomial static method) xpu() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) Y y (boundlab.diff.DiffExpr2 attribute) (boundlab.diff.DiffExpr3 attribute) (boundlab.diff.expr.DiffExpr2 attribute) (boundlab.diff.expr.DiffExpr3 attribute) (boundlab.diff.zono3.DiffBounds attribute) Z zero_grad() (boundlab.diff.DiffLinear method) (boundlab.diff.ops.DiffLinear method) (boundlab.interp.export.InterpreterModule method) (boundlab.interp.InterpreterModule method) Zeros (class in boundlab) zeros() (boundlab.polysp.PolySp static method) (boundlab.zono.Zono static method) (boundlab.zonoq.Quad static method) (boundlab.zonoq.quad.Quad static method) Zono (class in boundlab.zono) ZonoQ (class in boundlab.zonoq)