I'm solving recurrence relations for a k-SAT algorithm, and have run
up against an apparent limit in solve. I'm running:
solutions = solve([x^3 - x^2 - x - 1 == 0], x, solution_dict=True)
solutions = solve([x^4 - x^3 - x^2 - x - 1 == 0], x,
solution_dict=True)
solutions = solve([x^5 - x^4 - x^3 - x^2 - x - 1 == 0], x,
solution_dict=True)
...
The first 2 of these work (for 3-SAT, 4-SAT) but the third returns
[{0: x^5 - x^4 - x^3 - x^2 - x - 1}]
which I presume means it has reached the limit of the solver. There
is a stunt that reduces the terms but increases the order .. this for
order 5 for example.
solutions = solve([x^5*(2 - x) == 1], x, solution_dict=True)
Is there another method approach I could take? I'd like to reach 6 at
least. My homework depends on it! :)
Thanks,
-- Owen
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
