I am interested in writing a naive procedure for testing whether a square symmetric matrix is positive definite. I'm getting to the Polynomial(Integer) at the end, but haven't found any documentation showing how to test whether a Polynomial(Integer) must be positive (or 0). I know I could write this function by examining eigenvalues but would like to explore the facilities for doing it the other way.
Thanks for any hints or suggestions. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.