next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NumericalCertification :: polySysNorm

polySysNorm -- compute the norm of the given polynomial system

Synopsis

Description

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)

Ways to use polySysNorm :

For the programmer

The object polySysNorm is a method function.