lenstraECMSmartBound number
    = lenstraECM number (smartBound number)
lenstraECMSmartBound number
    = lenstraECM number (smartBound number)
lenstraECMSmartBound number
    = lenstraECM number (smartBound number)