Advanced Search

Question: How to find real dimension of the solution set for a system of polynomial equations?

Question:How to find real dimension of the solution set for a system of polynomial equations?

bcp 5 Maple
polynomial dimension regularchains
February 28 2025
1

I have a system of polynomial equations where the unknowns are real numbers. The set of solutions is infinite (positive-dimensional). How can I compute the real dimension of the solution set (i.e. of a real algebraic variety)?

As it as mentioned in arXiv:2105.10255, this can be done using the RealTriangularize function from the RegularChains package. What is best way of getting the real dimension from the regular_semi_algebraic_system object, which is returned by this function?
Please Wait...