1 | initial version |

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.

You might try to isolate the part of your computatons 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)`

...

2 | No.2 Revision |

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.~~thereof, and these bugs are worked on.

You might try to isolate the part of your computatons 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)`

...

3 | No.3 Revision |

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 computatons 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)`

...

4 | No.4 Revision |

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 ~~computatons ~~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)`

...

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.