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
|