# Assumptions on symbolic functions

I have a symbolic function f = function('f')(x). Is there a way to assume it is real and get abs(exp(I*f)) = 1?

Assumptions on symbolic functions

add a comment

1

None at the moment, as far as I know.

Note however that :

`maxima`

has such a facility (see`maxima.declare?`

) ;- similarly,
`Sympy`

has such a facility (it even has two, the newer progressively replacing the older) ; - there are some reported bugs pointing the the way
`sage`

handles assumptions and tests thereof, and these bugs are worked on.

You might try to isolate the part of your computations where you need such a handling, do them in maxima or Sympy, and reimport the relevant results.

Note also that you can

```
assume(f(x)>0)
```

But that won't do a thing about `bool(f(2*x+1)>0)`

...

Please start posting anonymously - your entry will be published after you log in or create a new account.

Asked: ** 2018-03-16 13:39:00 +0200 **

Seen: **278 times**

Last updated: **Mar 17 '18**

possible bug involving absolute value of sin function and assume

Additional conditions for expression

Interactive maxima question on fraction value during solve()

assume() seems not to work for a specific case...

Is there a way to set arbitrary function commuting rules?

Preload defined functions for later use

Use the properties of inverse functions to find the exact value of the expression

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.