Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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))