def SpinTimes(spin, bias):
    """Define our own multiplication for bias times spins. This allows for
    cleaner log code as well as value checking.

    Args:
        spin (int): -1 or 1
        bias (:class:`pysmt.shortcuts.Symbol`): The bias

    Returns:
        spins * bias

    """
    if not isinstance(spin, int):
        raise TypeError('spin must be an int')
    if spin == -1:
        return Times(Real((-1, 1)), bias)  # -1 / 1
    elif spin == 1:
        # identity
        return bias
    else:
        raise ValueError('expected spins to be -1., or 1.')
def SpinTimes ( spin , bias ) : if not isinstance ( spin , int ) : raise TypeError ( 'spin must be an int' ) if spin == - 1 : return Times ( Real ( ( - 1 , 1 ) ) , bias ) elif spin == 1 : return bias else : raise ValueError ( 'expected spins to be -1., or 1.' )
Define our own multiplication for bias times spins. This allows for
    cleaner log code as well as value checking.

    Args:
        spin (int): -1 or 1
        bias (:class:`pysmt.shortcuts.Symbol`): The bias

    Returns:
        spins * bias