diff --git a/doc/guava.xml b/doc/guava.xml index 5c31a45..40b0082 100644 --- a/doc/guava.xml +++ b/doc/guava.xml @@ -12240,70 +12240,6 @@ DegreesMultivariatePolynomial(poly,R2); --> - - - - -The command CoefficientMultivariatePolynomial -takes four arguments: a multivariant polynomial -f, a variable name var, an integer -power, and a polynomial ring R containing f. -For example, if f is a multivariate polynomial in -R = F[x_1,x_2,...,x_n] then var must be -one of the x_i. -The output is the coefficient of x_i^{power} -in f. -

-(Not sure if F needs to be a field in fact ...) -

-Related to the GAP command PolynomialCoefficientsPolynomial. - - - - - -gap> F:=GF(11);; -gap> R2:=PolynomialRing(F,2); -PolynomialRing(..., [ x_1, x_2 ]) -gap> vars:=IndeterminatesOfPolynomialRing(R2);; -gap> x:=vars[1];; y:=vars[2];; -gap> poly:=y^2-x*(x^2-1);; -gap> PolynomialCoefficientsOfPolynomial(poly,x); -[ x_2^2, Z(11)^0, 0*Z(11), -Z(11)^0 ] -gap> PolynomialCoefficientsOfPolynomial(poly,y); -[ -x_1^3+x_1, 0*Z(11), Z(11)^0 ] -gap> CoefficientMultivariatePolynomial(poly,y,0,R2); --x_1^3+x_1 -gap> CoefficientMultivariatePolynomial(poly,y,1,R2); -0*Z(11) -gap> CoefficientMultivariatePolynomial(poly,y,2,R2); -Z(11)^0 -gap> CoefficientMultivariatePolynomial(poly,x,0,R2); -x_2^2 -gap> CoefficientMultivariatePolynomial(poly,x,1,R2); -Z(11)^0 -gap> CoefficientMultivariatePolynomial(poly,x,2,R2); -0*Z(11) -gap> CoefficientMultivariatePolynomial(poly,x,3,R2); --Z(11)^0 - -