I would like to define a symbolic function f from Z which takes values in −1,1. This function f is completely multiplicative (i.e: f(mn)=f(m)f(n) for all m,n∈Z). I know how to define a symbolic function in Sage:
f = function('f')
But I don't know:
- How do I specify to Sage that I want f to be multiplicative? For example, I want f(6)=f(2)f(3) to hold true, and so on.
- How do I specify to Sage that f takes values in −1,1? That is, I need f(n)2=1 for all n∈N. How do I specify this?