Skip to main content
Back to top
Ctrl
+
K
BoundLab
Getting Started
User Guide
Examples
API Reference
Contributing
Search
Ctrl
+
K
System Settings
Light
Dark
GitHub
Search
Ctrl
+
K
Getting Started
User Guide
Examples
API Reference
Contributing
System Settings
Light
Dark
GitHub
Collapse Sidebar
Expand Sidebar
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.all_unique
boundlab.utils.all_unique
#
boundlab.utils.
all_unique
(
iterable
)
[source]
#
Whether no element repeats.
On this page
all_unique()
Edit on GitHub