Opened 4 years ago
Closed 3 years ago
#22709 closed defect (wontfix)
to_poly_solve can return erroneous error
Reported by: | kcrisman | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | symbolics | Keywords: | |
Cc: | rws, bruno | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
var('beta,N_0,V') V = 1/2 N = 50 solve(exp(-beta*N_0)*(1/beta*N_0) + 1 - 1/(beta*N_0) - V, beta, to_poly_solve='force')
returns the empty solution set, but
var('beta,N_0,V') V = 1/2 N = 50 solve(exp(-beta*N_0)*(1/beta*N_0) + 1 - 1/(beta*N_0) - V, beta, to_poly_solve=True)
gives a traceback
----> 4 solve(exp(-beta*N_0)*(Integer(1)/beta*N_0) + Integer(1) - Integer(1)/(beta*N_0) - V, beta, to_poly_solve=True) /home/sc_serv/sage/local/lib/python2.7/site-packages/sage/symbolic/relation.pyc in solve(f, *args, **kwds) 812 from sage.symbolic.expression import is_Expression 813 if is_Expression(f): # f is a single expression --> 814 ans = f.solve(*args,**kwds) 815 return ans 816 /home/sc_serv/sage/src/sage/symbolic/expression.pyx in sage.symbolic.expression.Expression.solve (/home/sc_serv/sage/src/build/cythonized/sage/symbolic/expression.cpp:59288)() 10983 X.append(eq) # we keep this implicit solution 10984 else: > 10985 raise 10986 10987 # make sure all the assumptions are satisfied /home/sc_serv/sage/src/sage/symbolic/expression.pyx in sage.symbolic.expression.Expression.solve (/home/sc_serv/sage/src/build/cythonized/sage/symbolic/expression.cpp:59055)() 10973 s = m.to_poly_solve(x, options='algexact:true') 10974 T = string_to_list_of_solutions(repr(s)) > 10975 X.extend([t[0] for t in T]) 10976 except TypeError as mess: 10977 if ignore_exceptions: TypeError: 'sage.symbolic.expression.Expression' object does not support indexing
My guess is that somehow whatever list of solutions is gotten isn't subdivided in the way expected here. We should at the very least catch this, if not fix it completely.
Change History (3)
comment:1 Changed 3 years ago by
- Cc rws bruno added
- Milestone changed from sage-8.0 to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
comment:3 Changed 3 years ago by
- Resolution set to wontfix
- Status changed from positive_review to closed
Closing tickets in the sage-duplicate/invalid/wontfix module with positive_review (i.e. someone has confirmed they should be closed).
Note: See
TracTickets for help on using
tickets.
I suspect this is the same as #20436. If you agree, please set to positive review.