In their essay "a simple factorization algorithm for univariate polynomials", mentioned previously, the Yacas Team (YT) mentioned explicitly two major sources for their ideas: Knuth's Volume 2, and >>J.H. Davenport
et.al., SYSTEMS AND ALGORITHMS FOR ALGEBRAIC COMPUTATION.<<. Well, we all know Knuth, but I did not recognize the second reference. So I recently looked it up and ordered a copy from Amazon. It came yesterday.
This book was an interesting eye-opener for me. It is obvious, upon leafing through its pages, that it served as a major source for both the concepts and the implementations embodied in Yacas. Even the style looks familiar, to one who has immersed himself in Yacas code and documentation for several years.
If you have not already, get a copy and read it. Then let me know what you think.
Sherm