Real Algebraic Geometry
In this page, we will see how to perform basic operations with polynomials and rational functions in Macaulay.
Sum of Squares
Github page for Sum of Squares Package.
Fractions
Given a polynomial ring R over a domain, we can work on its field of fractions simply by S = frac R
.
One issue with this operation is that the Jacobian and differentials will not work over the field of rational
functions, as far as I can understand (which is not much)