1 | initial version |
This is a linux machine, while running sage from in the terminal i was asking for...
sage: solve.__module__
'sage.symbolic.relation'
sage: t = sage.symbolic.relation
sage: t
<module 'sage.symbolic.relation' from '/usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.pyc'>
sage: t.__file__
'/usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.pyc'
And indeed, in the py-module for the above pyc-source one can find a line with def solve
:
dan@k7:~$ fgrep "def solve" /usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.py
def solve(f, *args, **kwds):
def solve_mod(eqns, modulus, solution_dict = False):
def solve_ineq_univar(ineq):
def solve_ineq_fourier(ineq,vars=None):
def solve_ineq(ineq, vars=None):
Similar steps should give work on any other machine. For instance, after calling sage -sh (on linux) the location may be...
$SAGE_ROOT/local/lib/python2.7/site-packages/sage/symbolic/relation.py
2 | No.2 Revision |
This is a linux machine, while running sage from in the terminal i was asking for...
sage: solve.__module__
'sage.symbolic.relation'
sage: t = sage.symbolic.relation
sage: t
<module 'sage.symbolic.relation' from '/usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.pyc'>
sage: t.__file__
'/usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.pyc'
And indeed, in the py-module for the above pyc-source one can find a line with def solve
:
dan@k7:~$ fgrep "def solve" /usr/lib/sagemath/local/lib/python2.7/site-packages/sage/symbolic/relation.py
def solve(f, *args, **kwds):
def solve_mod(eqns, modulus, solution_dict = False):
def solve_ineq_univar(ineq):
def solve_ineq_fourier(ineq,vars=None):
def solve_ineq(ineq, vars=None):
Similar steps should give work on any other machine. For instance, after calling sage -sh (on linux) the location may be...
$SAGE_ROOT/local/lib/python2.7/site-packages/sage/symbolic/relation.py