is_zero

View source on GitHub

check if a symbolic integer is zero

View aliases

Main aliases

`qualtran.symbolics.math_funcs.is_zero`

qualtran.symbolics.is_zero(
    x: qualtran.symbolics.SymbolicInt
) -> bool

If it returns True, then the value is definitely 0. If it returns False, then the value is either non-zero, or could not be symbolically symplified to a zero.