Functions are an extremely important programming concept for structuring your code and avoiding repetitions. And you will use them extensively in the upcoming lab tests and also in the final coursework. So let's dive in!

We have previously seen a code similar to the one below, while discussing various problems arising with floating point operations on a computer:

In [1]:

```
n = int(input("n = "))
f0 = 0
f1 = 1
while n > 1:
nxt = f0 + f1
f0 = f1
f1 = nxt
n -= 1
print("Fn =", f1)
```

This code inputs an integer `n`

for which it computes and prints the $n^{\rm th}$ Fibonacci number.

Here is how we can analyze it:

We first initialize (set to their starting values) variables

`f0`

and`f1`

to 0 and 1 respectively.Then we run a loop as long as

`n > 1`

. In that loop, we2.1. Compute the sum

`f0 + f1`

and save it for later in the variable`nxt`

(short of "next", which we don't use because`next`

is a built-in Python function).2.2. We assign

`f0 = f1`

and`f1 = nxt`

.

In other words, the new value of`f0`

is equal to the old value of`f1`

and the new value is equal to the sum of**old**values of`f0`

and`f1`

.2.3. We reduce

`n`

by 1.

Notice how `n`

is changed exactly once in each pass through the loop and nowhere else. This means that our variable `n`

has the following values throughout the loop:

$n \rightarrow n - \color{red}{1}$ (the $\color{red}{1}^{\rm st}$ pass; drops to $n-\color{red}{1}$ in the last step of the loop),

$n-1 \rightarrow n - \color{red}{2}$ (the $\color{red}{2}^{\rm nd}$ pass; drops to $n-\color{red}{2}$ in the last step of the loop),

$n-2 \rightarrow n - \color{red}{3}$ (the $\color{red}{3}^{\rm rd}$ pass; drops to $n-\color{red}{3}$ in the last step of the loop),

...

$n-k+1 \rightarrow n - \color{red}{k}$ (the $\color{red}{k}^{\rm th}$ pass; drops to $n-\color{red}{k}$ in the last step of the loop),

...

The loop will stop when the current value of `n`

no longer satisfies the condition `n > 1`

. Given that our variable drops by 1 in each step, this will happen when it drops to exactly 1. In other words, when variable `n`

gets the value `1 = n - k`

, which happens at the end step number $k = n-1$ (where $n$ is the starting value of the variable `n`

).

Given that `f0 =`

$\ F_0$ and `f1 =`

$\ F_1$ are the zeroth and the first Fibonacci numbers, and all subsequent ones are the sum of the previous two (`nxt = f0 + f1`

), we conclude that the above code produces the Fibonacci numbers. How many of them?

Each loop pass produces one Fibinacci number (in the first pass we get $F_2$, then in the second we get $F_3$, etc.) and we have just concluded that we do this $k = n - 1$ times. In other words, when we're done, `f1`

contains the value $F_n$.

Now, computing the $n^{\rm th}$ Fibonacci number is sometimes useful and it would be really neat to write it once and then (re)use it throughout the code. This is achieved using **functions**.

Here is the previously displayed code, wrapped in a function:

In [2]:

```
def fibonacci(n):
"""
Takes one argument `n` and returns the `n`-th Fibonacci number.
"""
f0 = 0
f1 = 1
while n > 1:
nxt = f0 + f1
f0 = f1
f1 = nxt
n -= 1
return f1
```

Here are the main elements:

Function declaration, consisting of these elements:

- the keyword def;
- the name of the function;
- the list of the
*formal parameters*that the function takes, enclosed in brackets.

The brackets have to be there, even if the function takes no arguments. - a colon (as always when we are starting a block).

A so called

*docstring*-- an explanation what the function does, enclosed in a pair of triple quotation marks. This is a fairly pythonic thing that exists in some form in only a handful of other languages (PERL, for example).

Recall that we've seen these last week, and we're putting them in the beginning of all programs.

While technically not mandatory, it is a good practice to thoroughly comment your parts of your code in Python (all the functions, classes, modules, etc.).The body of the function: this is the code that is executed when the function is envoked. It is pretty much the same as the "regular" code, apart from the occasional

`return`

statement.The

`return`

statement does two equally important tasks:- It
**interrupts the execution**of the function. - It provides the function's return value.

- It

Notice how running the above code does seemingly nothing. It actually creates a function, which we can then call...

This is as straightforward as one would expect:

In [3]:

```
n = int(input("n = "))
f = fibonacci(n)
print("F(" + str(n) + ") =", f)
```

or

In [4]:

```
n = int(input("n = "))
print("F(" + str(n) + ") =", fibonacci(n))
```

In the call `fibonacci(n)`

, the variable `n`

is called the *actual parameter* or *argument*. Even though it has the same name as the formal parameter, these two are *not* the same variable. Furthermore, the formal and the actual arguments need not have the same name. For example, these calls are all perfectly correct:

In [5]:

```
x = int(input("x = "))
print("F(" + str(x) + ") =", fibonacci(x))
print("F(17) =", fibonacci(17))
print("F(13 + 17) =", fibonacci(13 + 17))
print("F(x + 7) = F(" + str(x + 7) + ") =", fibonacci(x + 7))
```

Observe the following simple example:

In [6]:

```
def inc(x, y):
x += y
return x
a = 17
b = inc(a, 2)
print(a, b)
```

As you can see, the value of `a`

was not changed, even though the value of `x`

was. This is because, when the function was called, `x`

took the value of `a`

(but it did not become `a`

!), so the statement `x += y`

changed only that copy, while (the original) `a`

remained intact.

To verify that the values of the *local variables* (i.e., those that "belong" to a function and are not visible outside of it) truly vanish when the function finishes, you can always try something like this:

In [7]:

```
def test(defX):
if defX:
x = 17
print("x =", x)
print("The first call:")
test(True)
print("The second call:")
test(False)
```

When it comes to lists, sets, and other data structures, things get a bit more complex than "their parameters are copies of the corresponding arguments". We will explain this in detail when we discuss these structures.

Python also has a keyword `yield`

that can be used to return list-like-objects (the same thing that `for`

-loops like to use) in a special, memory efficient way. More on that when we learn about *generators*.

In many programming languages, functions can return at most one value. In Python, however, a function can return as many values as we like. This will also be addressed later on.

A function that ends without `return`

or with just a `return`

(no values given to be returned), will return `None`

. In other programming languages, these may be called *void-functions* or *procedures*.

If a function has more than one `return`

statement (split between by an `if`

branch or a similar mechanism), they need not return the same type or even the same number of values. However, be careful how these will be used (anyone calling the function must be aware of how many values are returned, what are their types, and what they represent; otherwise the return values will be useless).

The `return`

statement cannot be used outside of a function (it would have no meaning).

Consider the following two examples:

In [8]:

```
def max1(x, y):
"""
Takes comparable values `x` and `y` as arguments.
Returns the larger of the two, implemented with if-else.
"""
if x > y:
return x
else:
return y
def max2(x, y):
"""
Takes comparable values `x` and `y` as arguments.
Returns the larger of the two, implemented with if (no else).
"""
if x > y:
return x
return y
a = float(input("a = "))
b = float(input("b = "))
print("Max1:", max1(a, b))
print("Max2:", max2(a, b))
```

Can you find `a`

and `b`

such that these two functions return different values?

What is the use of these long explanations at the beginning of each function?

They give valuable information to anyone using your function, without them being required to read the code of your function. If this so-called *docstring* precisely defines the input and output of your function, and what it does, anyone can use that function as a *black-box*. This is extremely powerful! For example, let's see what `max1`

from above does:

In [9]:

```
print(max1.__doc__)
```

There is also a prettier version:

In [10]:

```
from pydoc import help
help(max1)
```

Doctrings are also commonly used to automatically generate a referrence manual for your code, using - for example - Sphinx.

Technically, docstrings are not *required* by Python and the functions will do just fine without them. However, they are a standard part of any Python code.

**For this reason, make sure to write meaningful docstrings in the headers of ALL your programs and ALL your functions.**

To grasp how important the docstrings are, take a look at the list of projects using Sphinx.

The "language" used in docstrings is called *Markdown* and it is widely used for simple formatting of documents (for example, these lecture notes are written using Markdown). The documentation is easy to find, as are the editors for various platforms. Here are two on-line editors which working with various browsers:

It doesn't matter. The *future you* (even as little as 6 months away) will likely not remember what the *present you* wrote. Between the two, there will be a lot of other work done, most of it probably unrelated to Python or even programming in general.

**Always document your code!** Do not waste time on thinking if it is needed or not. It is. Always.

Many times it is desirable to call the same function with different arguments (not just different values). For example, the function `range`

(which we have seen earlier) can be called in several different ways:

`range(m, n, s)`

-- numbers $m, m+s, \dots, m + sk$, where $k \in \mathbb{N}$ such that $m + sk < n \le m + s(k+1)$.`range(m, n)`

-- equivalent of`range(m, n, 1)`

. We say that the*default value*of`step`

is $1$.`range(n)`

-- equivalent of`range(0, n)`

or`range(0, n, 1)`

. In other words, the default value of`start`

is $0$.

The most obvious reason to do this is convenience: why calling `range(0, n, 1)`

every few lines of the code if we can just write `range(n)`

each time?

But there are other reasons as well. Instead of just using some fixed value as the default one, a function can perform complex tasks to determine what the value should be.

For example, we could construct a function `data(name)`

that retrieves some data (phone number, e-mail address, number of selfies uploaded to Facebook,...) about a person identified by `name`

. If we omit `name`

and just call `data()`

, the function might check who is currently running the program and provide the data for that person. This is a *different* name for each person running the program, so not a simple matter of a constant.

Let us observe an example: a function that returns the sum of all digits that, when divided by `d`

, give the reminder `r`

.

In [11]:

```
def digit_sum(n, d, r):
"""
Return the sum of all the digits of an integer `n` that,
when divided by `d`, give the reminder `r`.
Parameters
----------
n : int
A number whose sum is computed.
d : int
The number by which each digit is to be divided. If `d == 0`, an error occurs.
r : int
The desired reminder of the division. If `r < 0` or `r >= d`, the sum will be zero.
Returns
-------
digit_sum : int
The resulting sum of digits.
"""
# Initializations
res = 0 # Result (do not use "sum", because there is a built-in function with that name)
n = abs(n) # Lose the sign
while n > 0:
digit = n % 10
if digit % d == r:
res += digit
n //= 10
return res
```

**Note:** Notice the long docstring? This is how they should usually be written (description of what the function does, followed by the list of parameters and return values with types and descriptions). To avoid making these lecture notes unnecessarily long, we will usually not write docstrings in so much detail, but you are encouraged to do so in your own code.

It is easy to call the above function. For example, to calculate the sum of all odd digits of a number, we call it as follows:

In [12]:

```
n = int(input("n = "))
print(digit_sum(n, 2, 1))
```

However, it might make sense to choose default values for some of the parameters. Which ones exactly, depends on the intended uses. In other words, you decide by yourself what makes the most sense.

So, let us ask ourselves what would shorter calls to the function mean?

`digit_sum()`

: no arguments, not even`n`

; hard to imagine anything useful;`digit_sum(n)`

: this could mean "calculate the sum of**all**digits of`n`

"; this is equivalent to`d = 1, r = 0`

;`digit_sum(n, d)`

: only`r`

is ommited; it makes sense to interpret this as "calculate the sum of**all**digits of`n`

that are divisible by`d`

"; this is equivalent to`r = 0`

.

Luckily, `r`

has the same desired default value in both cases, so it is clear that `r = 0`

makes the most sense. Finally, our function (minus the docstring) might look like this:

In [13]:

```
def digit_sum(n, d=1, r=0):
"""
...
"""
# Initializations
res = 0 # Result (do not use "sum", because there is a built-in function with that name)
n = abs(n) # Lose the sign
while n > 0:
digit = n % 10
if digit % d == r:
res += digit
n //= 10
return res
```

As you can see, only the function's declaration was changed, and in a very intuitive way:

```
def digit_sum(n, d=1, r=0):
```

Here, `d=1`

means "if the second argument's value was not given, set it to 1".

**A note on the writing style:** Both `d = 1`

and `d=1`

are, of course, correct. However, it is customary to not use spaces in function arguments assignments.

Now, the calls to `digit_sum`

can be:

In [14]:

```
n = int(input("n = "))
print("The sum of all digits of", n, "is", digit_sum(n))
print("The sum of all even digits of", n, "is", digit_sum(n, 2))
print("The sum of all odd digits of", n, "is", digit_sum(n, 2, 1))
```

All the parameters can be given default values. However, one rule must be observed:

All the parameters without a default value must appear before those that have a default value.

In other words, **this is invalid:**

```
def digit_sum(n = 17, d = 1, r):
```

The reason is simple: what would `digit_sum(5, 1)`

mean? While it is obvious that we want `r = 1`

, it is unclear whether the value `5`

should be assigned to `n`

or `d`

. With more parameters, much worse confusions could happen.

That's why the parameters' values are assigned in order: the first given value is assigned to the first parameter, the second value to the second parameter, etc. Once we run out of values in the call of the function, the rest of the parameters are assigned their default values.

If we have provided too few values when calling the function (for example, if we give no values when calling `digit_sum`

), our function call will fail. For example:

In [15]:

```
print(digit_sum())
```

This is Python-specific, but we mention it as it sometimes comes in handy. Consider a function:

In [16]:

```
def pfv(a, b, c=3, d=4, e=5):
"""
Takes 5 parameters and prints them.
The last three have a default value 3, 4, and 5 respectively.
"pfv" stands for "print five values". :-)
"""
print(a, b, c, d, e)
```

As we have seen before, these calls are acceptable:

In [17]:

```
pfv(17, 19, 23, 29, 31)
pfv(17, 19, 23, 29)
pfv(17, 19, 23)
pfv(17, 19)
```

However, in Python we *can* keep default values for `c`

and `d`

while still giving a non-default value to `e`

. Here is one such call:

In [18]:

```
pfv(17, 19, e=31)
```

We can even insist that some parameters must to be named:

In [19]:

```
def pfv(a, b, c=3, *, d=4, e=5):
"""
...
"""
print(a, b, c, d, e)
```

Now, parameters after `c`

must be named. Otherwise, an error occures:

In [20]:

```
pfv(17, 19, 23, 31)
```

A proper call looks like this:

In [21]:

```
pfv(17, 19, 23, d=31)
```

This allows us to define different calls of the same function with the same number and types of parameters, while still treating them differently.

What will the following code print?

In [22]:

```
def f(x):
"""
Prints and returns `x`.
"""
print(x)
return x
if f(False) and f(True):
print("The tooth is out there!")
else:
print("The cake is a lie.")
```

Obviously, "`The cake is a lie.`

" got printed because the `if`

line evaluates to `if False and True`

which is equivalent to `if False`

, so the program executes the `else`

part.

However, each call to `f`

also prints the value that it is about to return. So, why is only `False`

printed, and not `True`

as well?

This happens because Python uses *lazy evaluation* of Boolean expressions. This means that once the result is uniquely determined, no further evaluation is done.

On the shown example, we have `f(False) and f(True)`

. This is what happens during the evaluation:

`f(False)`

is executed. This results in printing of`False`

and it returns`False`

.- Now, Python has
`False and f(True)`

. However,`False and ANYTHING`

is`False`

, so Python doesn't bother with`f(True)`

(whatever it returns, the whole expression would remain`False`

).

Therefore Python concludes that the whole expression is`False`

,**without evaluating**, so`f(True)`

`True`

is never printed. - Python now runs
`if False`

and enters the`else`

branch, printing "`The cake is a lie.`

".

Similarly, `if f(True) or f(False)`

would not run `f(False)`

because `True or ANYTHING`

is `True`

, regardless of the value of `ANYTHING`

.

Here is the whole set of `True`

/`False`

combinations for `and`

and `or`

:

In [23]:

```
def f(x):
"""
Prints and returns `x`.
"""
print("f:", x)
return x
def g(x):
"""
Prints and returns `x`.
"""
print("g:", x)
return x
if f(False) and g(False):
print("Expression 1 is true.")
else:
print("Expression 1 is false")
if f(False) and g(True):
print("Expression 2 is true.")
else:
print("Expression 2 is false")
if f(True) and g(False):
print("Expression 3 is true.")
else:
print("Expression 3 is false")
if f(True) and g(True):
print("Expression 4 is true.")
else:
print("Expression 4 is false")
if f(False) or g(False):
print("Expression 5 is true.")
else:
print("Expression 5 is false")
if f(False) or g(True):
print("Expression 6 is true.")
else:
print("Expression 6 is false")
if f(True) or g(False):
print("Expression 7 is true.")
else:
print("Expression 7 is false")
if f(True) or g(True):
print("Expression 8 is true.")
else:
print("Expression 8 is false")
```

Of course, these expressions can be much more complex than just singe function calls.

While it may look like a technical detail, lazy evaluation is often used without noticing it. For example:

In [24]:

```
a = int(input("a: "))
b = int(input("b: "))
if (b != 0 and a % b == 0):
print(a, "is divisible by", b)
else:
print(a, "is NOT divisible by", b)
```

Swapping the conditions in the above `if`

can be catastrophic. Try the following code (only "`b != 0`

" and "`a % b == 0`

" are swapped; the rest is unchanged) for any `a`

and for `b = 0`

:

In [25]:

```
a = int(input("a: "))
b = int(input("b: "))
if (a % b == 0 and b != 0):
print(a, "is divisible by", b)
else:
print(a, "is NOT divisible by", b)
```

**Conclusion:** When using complex expressions, put them in the order in which they can always be executed without raising any errors! Apart from the divisibility issues like the one above, this will also come in handy with lists and similar structures.

Of course, if the conditions can be run independently, always put those that compute faster first.

It is important to know when and where our variables live, as well as when and where can we access them.

Consider the following example:

In [26]:

```
x = 1
y = 2
def f(x, y, z=17):
print(" Inside #1:", x, y, z)
y = 19
print(" Inside #2:", x, y, z)
z = 3
print("Outside #1:", x, y, z)
f(x, y)
print("Outside #2:", x, y, z)
f(x, y, z)
print("Outside #3:", x, y, z)
```

Also:

In [27]:

```
x = 17
def f():
print(x)
x = 3
print(x)
f()
```

But:

In [28]:

```
def f():
print(x)
x = 17
f()
```

Obviously, some variables "live" inside functions, some outside of them, some everywhere,... This is called *scope*. Each programming language has its own rules of scoping. In Python, the rules are:

*Global variables*are those that belong to no function, and they exist from their first assignment until the end of program's execution or until they are manually deleted.*Local variables*are those that belong to some function. They are created with the first assignment (including through function arguments) and they exist until the execution exits the function or until they are manually deleted.

**They lose their value between two calls to the same function!***Static variables*exist in some languages (C/C++, for example). They belong to a function and are not seen outside of it, but they do maintain their value between the function's calls. They do not exist in Python, but it is possible to simulate a very similar behaviour.

In Python, global variables are generally not accessible in functions. There are some exceptions to this rule:

those that are never assigned a value (like

`x`

in the previous example), andthose that are explicitly declared to be used from the global scope, using the

`global`

statement.

So, we can fix the above example with the assignment of global variable `x`

in function `f`

:

In [29]:

```
x = 17
def f():
global x
print(x)
x = 3
print(x)
print("f:")
f()
print("x =", x)
```

The variables exist from their first assignment. So, this would work as well, even though the function is *written* before the assignment (it executes after it):

In [30]:

```
def f():
global x
print(x)
x = 3
print(x)
x = 17
f()
```

A short answer: never.

There are examples when using global variables is justifiable, but avoid them whenever you can. A function should be an independent entity that accepts input, does some work, and outputs the result.

Lambda functions are a concept common to the functional programming languages, but it also exists in various forms in some other languages (MATLAB and JavaScript, for example).

The main idea is to easily define an *anonymous* function (the one without a name).

In Python, they are very simple: their only intent is to compute something and return it. For that reason, they do not contain more than a line of code and they don't contain `return`

(it is implied).

For example:

In [31]:

```
s = lambda x, y: x + y
print(s(2, 3))
```

Notice how `s`

is invoked in the same manner as the "normal" functions we've seen before. This is because the "lambda" in the name refers only to their definition, but - in the end - they *are* "normal" functions. For example, the one above is equivalent to this:

In [32]:

```
def s(x, y):
return x + y
print(s(2, 3))
```

Lamba functions will be more useful later on, when we cover lists. However, one can use them without lists, for example, to dynamically create a function:

In [33]:

```
def mkinc(inc):
return lambda x: x + inc
i1 = mkinc(1)
i7 = mkinc(7)
print("17 + 1 =", i1(17))
print("17 + 7 =", i7(17))
```

This example also shows that functions in Python are just a (somewhat special type of) data. We have seen this before, when we didn't call a function, but instead we printed some of the data belonging to the function `max1`

(its docstring):

```
print(max1.__doc__)
```

and when we gave it to another function as an argument:

```
from pydoc import help
help(max1)
```

Keep in mind the following difference:

`f`

is an object (that can be a function, as well as a "regular" variable);`f()`

is an invocation of a function`f`

(an error occures if`f`

is something else).

This will be more important later on.

If a function is defined, its Boolean interpretation is `True`

:

In [34]:

```
def f(x):
print("X")
print(bool(f))
```

For that reason, be careful to always call it properly, with parentheses:

In [35]:

```
def f():
return False
if f:
print("f evaluates to True")
else:
print("f evaluates to False")
if f():
print("f() evaluates to True")
else:
print("f() evaluates to False")
```

Functions defined inside other functions -- while it has its organizational uses, it is generally not that useful and will not be covered here;

Recursions: functions that call themselves.