I'm working towards creating a way to visualise real polynomial ideals! (or at least the solutions of the polynomials in the ideals) this code creates a plot showing the solutions to all the polynomials in the ideal generated by P1 and P2 (these are specified in the code)
P1 := x^2+2*y^2-3;
Plot1 := plot([%], x = -2 .. 2);
P2 := -2*x^2+2*x*y+3*y^2+x-4;
Plot2 := plot([%], x = -4 .. 2);
seq(plot([%], x = -4 .. 2), a = 0 .. 10, .1);
display(%, Plot1, Plot2)
This is because when you multiply two polynomials their set of solution curves is just the union of the sets of curves associated with the previous polynomials.
For the next step I'd like to create a graph of the solutions associated with an ideal with three generators. To stop this from being excessively messy I'd like to do it with the RGB value of the colour of a curve is determined by a and b where the formula for a generic polynomial that we are solving and graphing is given by:
where P3 is given by
P3 := x*y-3
I've tried various ways to use cury to make this work (my intuition is cury is the right function to use here) but got no where. Any ideas how to procede?