Computes mixed volume of a polynomial system. For generic systems of a given support set, this is the generic root count.
i1 : setRandomSeed 0; |
i2 : R = CC[x,y]; |
i3 : polys = {x+y^2,x*y+1}; |
i4 : mixedVol = computeMixedVolume polys; |
i5 : sparseMonodromySolve(polySystem polys,TargetSolutionCount=>mixedVol,NumberOfNodes=>3) o5 = {{.5-.866025*ii, -.5-.866025*ii}, {.5+.866025*ii, -.5+.866025*ii}, {-1, ------------------------------------------------------------------------ 1}} o5 : List |