For the given polynomial system we define the polynomial system norm by square root of the sum of all squares of polynomial norms. This will be used in order to compute the gamma value.
i1 : R = QQ[x1,x2,y1,y2]; |
i2 : f = polySystem {3*y1 + 2*y2 -1, 3*x1 + 2*x2 -7/2,x1^2 + y1^2 -1, x2^2 + y2^2 - 1};
|
i3 : polySysNorm(f) o3 = 6.72681202353685 o3 : RR (of precision 53) |
The object polySysNorm is a method function.