Feature #1131
Sturm sequence
Status:
Closed
Priority:
Normal
Assignee:
Category:
New Function
Target version:
Description
Added fn to compute a Sturm Seq, and to count the number of real roots (between two points?)
History
#1
Updated by John Abbott over 6 years ago
Updated by - Status changed from New to In Progress
- % Done changed from 0 to 50
I have checked in a first impl. It seems to work on a couple of simple tests.
The main problem is that it produces ugly coeffs -- this needs to be improved!
#2
Updated by John Abbott about 6 years ago
- Status changed from In Progress to Resolved
- Assignee set to John Abbott
- % Done changed from 50 to 80
The implementation seems to be mostly complete (for coeffs in QQ).
The elements of the sequence are scaled so that the coeffs are integer.
#3
Updated by John Abbott almost 6 years ago
- Status changed from Resolved to Feedback
- % Done changed from 80 to 90
Works OK in ad hoc testing -- fixed a couple of bugs.
#4
Updated by John Abbott over 5 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
- Estimated time set to 4.44 h
The impl ought to be generalized (to any "ordered field"). This is probably not an easy task, so let's wait until it is needed.
Closing.