First time here? Check out the FAQ!
answered 2023-01-08 21:40:50 +0100
So I figured out how to compile sage from source with qepcad. There is already a connectivity test in qepcad. For example the following works.
var('a') qf = qepcad_formula qepcad(qf.connected_subset(a, a^2 - 1 > 0))