![]() | 1 | initial version |
None at the moment, as far as I know.
Note however that :
maxima
has such a facility (see maxima.declare?
) ;Sympy
has such a facility (it even has two, the newer progressively replacing the older) ;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?
) ;Sympy
has such a facility (it even has two, the newer progressively replacing the older) ;sage
handles assumptions and tests 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?
) ;Sympy
has such a facility (it even has two, the newer progressively replacing the older) ;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?
) ;Sympy
has such a facility (it even has two, the newer progressively replacing the older) ;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)
...