Bertini_real: Software for Real Algebraic Sets
summary
Bertini_real is a compiled tool that uses the Bertini homotopy engine with adaptive multiple precision and calls MATLAB for iso-singular deflation to produce cellular decompositions of real algebraic components. It decomposes curves (demonstrated up to a 20-dimensional curve) and surfaces (tested to dimension eight), finds critical curves via determinant-of-Jacobian systems, and handles high-degree examples (degree 128 took ~12 hours). Output is refinable witness-based cells and can be exported, thickened in Blender and reliably 3D-printed as Whitney umbrellas.
AI-written summary · about