Rational Univariate Representation
|
|
- Bruce Parrish
- 6 years ago
- Views:
Transcription
1 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple MCS 563 Lecture 12 Analytic Symbolic Computation Jan Verschelde, 10 February 2014 Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
2 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
3 RUR A Rational Univariate Representation (or RUR) is { R = p 0 (T) = 0, x i = p } i(t), i = 1, 2,...,n q(t) where p 0, p 1, p 2,..., p n, q C[T]. This set R represents the coordinates of the zeroes of a solution set V, #V = D <, of some system of polynomials in C[x]. D is counted with multiplicities. The number of distinct zeroes in V is denoted by d. RUR generalizes the Shape Lemma representation. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
4 separating linear form Let the linear form L(x) separate the zeroes: L(z i ) L(z j ), for z i, z j V, i j. Consider the multiplication map m L : C[x]/I(V) C[x]/I(V) : h ((h L) G> r) where G> represents the normal form algorithm implemented by the division algorithm using some Gröbner basis G >. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
5 choosing a separator Lemma If V has d distinct zeroes, at least one of the for u i (x 1, x 2, x 3,..., x n ) = x 1 + ix 2 + i 2 x i n 1 x n, ( d 0 i (n 1) 2 is separating, i.e.: z j, z k V, j k, u i (z j ) u i (z k ). ) Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
6 proof of the lemma Proof. For the pair (z j, z k ), j k, of two distinct zeroes in V with components z j = (z j1, z j2,..., z jn ) z k = (z k1, z k2,...,z kn ), consider the bad situation when u t (z j ) = u t (z k ), corresponding to p(t) = (z j1 z k1 ) + (z j2 z k2 )t + + (z jn z kn )t n 1. Because z j z k, p 0 and therefore p can have at most n 1 zeroes. So for each pair of zeroes of V we have at most n 1 bad choices for u i and the number of pairs of zeroes is d(d 1)/2, yielding a total of at most (n 1)d(d 1)/2 nonseparating u i s. But the set of u i s consists of (n 1)d(d 1)/2 + 1 elements, so there is at least one separating u i. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
7 Stickelberger s Theorem Theorem (Stickelberger s theorem) The multiplication map m L is a linear map with matrix M L. The eigenvalues of M L give values for L(z), for all z V, occurring with the same multiplicity µ z. As a consequence, the characteristic polynomial of M L is p 0 (T) = det(m L T I D ) = z V (T L(z)) µz, with µ z the multiplicity of the root. The trace of M L is trace(m L ) = z V µ z L(z). The determinant of M L is det(m L ) = z V L(z) µz. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
8 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
9 The Elbow Manipulator We consider a spatial robot arm with three links. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
10 inverse kinematics We consider a spatial robot arm with three links. The input to an inverse position problem is n x o x a x p x n y o y a y p y n z o z a z p z representing position and orientation of the robot hand: p = (p x, p y, p z ) is the position of the hand; n = (n x, n y, n z ), n 2 = 1, normal; o = (o x, o y, o z ), o 2 = 1, orientation; a = (a x, a y, a z ), a 2 = 1, approach vector; related by the cross product: n = o a. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
11 coordinate transformations Wanted: angles θ i, i = 1, 2,...,6, s i = sin(θ i ), c i = cos(θ i ), and s 2 i + c 2 i = 1. Lengths of links are L 2, L 3, and L 4. c 1 0 s 1 0 s 1 0 c c 3 s 3 0 c 3 L 3 s 3 c 3 0 s 3 L c 5 0 s 5 0 s 5 0 c c 2 s 2 0 c 2 L 2 s 2 c 2 0 s 2 L c 4 0 s 4 c 4 L 4 s 4 0 c 4 s 4 L c 6 s s 6 c = n x o x a x p x n y o y a y p y n z o z a z p z , Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
12 RUR and the Newton Identities To compute { R = we proceed along two steps: 1 apply Newton s formula for p 0 ; p 0 (T) = 0, x i = p } i(t), i = 1, 2,...,n q(t) 2 compute in the quotient algebra to find the rest. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
13 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
14 the elementary symmetric polynomials A polynomial p in one variable x defined by its roots x 1, x 2, x 3, and x 4, written as a monic polynomial: p(x) = (x x 1 )(x x 2 )(x x 3 )(x x 4 ) = x 4 (x 1 + x 2 + x 3 + x 4 )x 3 + (x 1 x 2 + x 1 x 3 + x 1 x 4 + x 2 x 3 + x 2 x 4 + x 3 x 4 )x 2 (x 1 x 2 x 3 + x 1 x 2 x 4 + x 1 x 3 x 4 + x 2 x 3 x 4 )x + x 1 x 2 x 3 x 4 = x 4 e 1 (x 1, x 2, x 3, x 4 )x 3 + e 2 (x 1, x 2, x 3, x 4 )x 2 e 3 (x 1, x 2, x 3, x 4 )x + e 4 (x 1, x 2, x 3, x 4 ). The polynomials e 1, e 2, e 3, and e 4 are the elementary symmetric polynomials. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
15 the power sums Substituting the roots x 1, x 2, x 3, and x 4 into p(x) = x 4 e 1 x 3 + e 2 x 2 e 3 x + e 4 gives 0 = p(x 1 ) = x 4 1 e 1x e 2x 2 1 e 3x 1 + e 4, 0 = p(x 2 ) = x 4 2 e 1x e 2x 2 2 e 3x 2 + e 4, 0 = p(x 3 ) = x 4 3 e 1x e 2x 2 3 e 3x 3 + e 4, 0 = p(x 4 ) = x 4 4 e 1x e 2x 2 4 e 3x 4 + e 4. Adding up: 0 = s 4 e 1 s 3 + e 2 s 2 e 3 s 1 + 4e 4, where s 1, s 2, s 3, and s 4 are the power sums: s 1 = x 1 + x 2 + x 3 + x 4, s 2 = x1 2 + x x x 4 2, s 3 = x1 3 + x x x 4 3, s 4 = x1 4 + x x x 4 4. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
16 the Newton Identities Expressing the power sums in terms of the elementary symmetric polynomials: s 1 = e 1, s 2 = e 1 s 1 2e 2, s 3 = e 1 s 2 e 2 s 1 + 3e 3, s 4 = e 1 s 3 e 2 s 2 + e 3 s 1 4e 4. The relations above allow the derivations of the power sums from the coefficients of a monic polynomial. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
17 computing coefficients from power sums Writing the Newton identities in another way: e 1 = s 1, 2e 2 = e 1 s 1 s 2, 3e 3 = e 1 s 2 e 2 s 1 + s 3, 4e 4 = e 1 s 3 e 2 s 2 + e 3 s 1 s 4, we see that, given the power sums of the roots, we can derive the coefficients of the monic polynomial that vanishes at those roots. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
18 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
19 the characteristic polynomial To derive the characteristic polynomial p 0, the trace of L i is s i = z V µ z L i (z). If p 0 (T) = D b i T D i, D = #V, b i C[x], i=0 then p 0 (T) p 0 (T) = z V D 1 We have p 0 (T) = µ z T L(z) = j 0 l=0 D l 1 j=0 Apply Newton s formula: (D i)b i = This gives a linear system in the b i s. trace(l j ) T j+1. trace(l j )b l T D l j 1. i trace(l j )b i j. j=0 Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
20 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
21 separating form L For any v A, A is the quotient algebra, we define g L (v, T) = µ z v(z) (T y). z V y V(p 0 ) y L(z) Observe g L (v, L(z)) g L (1, L(z)) = µ z v(z) z V (L(z) y) y V(p 0 ) y L(z) µ z (L(z) y) z V y V(p 0 ) y L(z) = v(z). Then we let v become a coordinate x i... Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
22 representing coordinates As g L(v, L(z)) g L (1, L(z)) = v(z), we let v = x i and we have Note x i = g L(x i, T) g L (1, T), g L (1, T) = i = 1, 2,...,n. p 0 (T) GCD(p 0 (T), p 0(T)). If all roots occur with multiplicity one, the denominator g L (1, T) is just the derivative of p 0 (T). Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
23 computing g L (v, T) To compute g L (v, T), we define and p 0 (T) = p 0 (T) GCD(p 0 (T), p 0(T)), d 1 g L (v, T) = j=0 d j 1 k=0 trace(vl j )a i T d j k 1, p 0 = d a i T d i. i=0 Then we set q(t) = g L (1, T) and p i (T) = g L (x i, T) and obtain a representation for RUR. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
24 Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities the Newton identities computing the characteristic polynomial computing the coordinates 4 Algorithm and Software pseudo code to compute a RUR, using Maple Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
25 pseudo code Input:. G >, a Gröbner basis for an ideal I with term order >, #V(I) = D <. Output: a rational univariate representation for V( I). compute N > the basis vector for the quotient ring; let D = #N > = #V(I), counted with multiplicities; compute TrM and deduce d = #distinct zeroes; choose a separating element u as one of the u i s; compute for m from 1 to D: trace(u m ) and use u to form p 0 (T); compute p 0 for I, if deg( p 0 ) < d then choose another u; for j from 1 to D for i from 0 to d compute trace(x j u i ) and deduce g u (x j, T); set q(t) = g u (1, T) and p i = g u (x i, T), i = 1, 2,...,n. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
26 using Maple In Maple, we compute a RUR as follows: [> f := [2*x[1]^2 + 2*x[2]^2 + 2*x[3]^2 + x[4]^2 - x[4], 2*x[1]*x[2] + 2*x[2]*x[3] + 2*x[3]*x[4] - x[3], 2*x[1]*x[3] + x[3]^2 + 2*x[2]*x[4] - x[2], 2*x[1] + 2*x[2] + 2*x[3] + x[4] - 1]; [> v := x[4],x[3],x[2],x[1]; [> Groebner[Basis](f,plex(v)); [> Groebner[RationalUnivariateRepresentation] (f,v,output=factored); Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
27 Summary + Exercises RUR generalizes the Shape Lemma representation. Exercises: 1 Construct an example of a solution set V in two variables and #V > 1 where all except for one choice of the u i s fail to be separating. 2 Use a lexicographic term order to compute a Gröbner basis for the system Katsura, for n = 3 (see lecture 3). How many decimal places does the largest coefficient in this basis have? Compare with the size of the coefficients in the lecture note. 3 Use Maple s Groebner[RationalUnivariateRepresentation] on the example of the previous exercise. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
28 more exercises 4 Create a Maple worksheet to define the polynomial system for the elbow manipulator, for general choices of the position. Solve the system using the choices in the lecture note, either by Maple or by Sage.Singular. 5 Consider the system: 24x 1 x 2 x1 2 x 2 2 x 1 2x = 0 f(x) = 24x 2 x 3 x2 2 x 3 2 x 2 2x = 0 24x 3 x 1 x3 2 x 1 2 x 3 2x = 0. 1 Solve the system to verify that no variable is separating. 2 Find a separating element of the form as u i an run through the steps of Algorithm to compute a RUR. Use a worksheet or a notebook to guide the computations. 3 Use the builtin commands in Maple or Sage to compute a rational univariate representation. Compare the output with the outcome of the step-by-step execution of Algorithm to compute a RUR. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
29 one last exercise 6 Consider the following modification of the cyclic 5-roots problem: x 1 + x 2 + x 3 + x 4 + x 5 = 0 x 1 x 2 + x 2 x 3 + x 3 x 4 + x 4 x 5 + x 5 x 1 = 0 f(x) = x 1 x 2 x 3 + x 2 x 3 x 4 + x 3 x 4 x 5 + x 4 x 5 x 1 + x 5 x 1 x 2 = 0 x 2 x 3 x 4 + x 2 x 3 x 4 x 5 + x 3 x 4 x 5 x 1 + x 4 x 5 x 1 x 2 + x 5 x 1 x 2 x 3 = 0 x 1 x 2 x 3 x 4 x 5 1 = 0. where the monomial x 1 x 2 x 3 x 4 in the original cyclic 5-roots system is replaced by x 2 x 3 x 4. Compute a Gröbner basis with the graded lexicographical order to determine the number of roots of this modified cyclic 5-roots system. Compute a rational univariate representation for this system. Compare the size of the coefficients between the lexicographical Gröbner basis (shape lemma) and the RUR. Analytic Symbolic Computation (MCS 563) Rational Univariate Representation L February / 29
Rewriting Polynomials
Rewriting Polynomials 1 Roots and Eigenvalues the companion matrix of a polynomial the ideal membership problem 2 Automatic Geometric Theorem Proving the circle theorem of Appolonius 3 The Division Algorithm
More informationHilbert Polynomials. dimension and counting monomials. a Gröbner basis for I reduces to in > (I)
Hilbert Polynomials 1 Monomial Ideals dimension and counting monomials 2 The Dimension of a Variety a Gröbner basis for I reduces to in > (I) 3 The Complexity of Gröbner Bases a bound on the degrees of
More informationGröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters
Gröbner Bases 1 S-polynomials eliminating the leading term Buchberger s criterion and algorithm 2 Wavelet Design construct wavelet filters 3 Proof of the Buchberger Criterion two lemmas proof of the Buchberger
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Friday 31 January. Quotient Rings
Quotient Rings In this note we consider again ideals, but here we do not start from polynomials, but from a finite set of points. The application in statistics and the pseudo code of the Buchberger-Möller
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases
Gröbner bases In this lecture we introduce Buchberger s algorithm to compute a Gröbner basis for an ideal, following [2]. We sketch an application in filter design. Showing the termination of Buchberger
More informationOn solving zero-dimensional and parametric systems
On solving zero-dimensional and parametric systems Fabrice Rouillier Fabrice.Rouillier@inria.fr - http://fgbrs.lip6.fr/~rouillie SALSA (INRIA) project and CALFOR (LIP6) team Paris, France General Objectives
More informationChapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010
Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression
More informationSolution Sheet 1.4 Questions 26-31
Solution Sheet 1.4 Questions 26-31 26. Using the Limit Rules evaluate i) ii) iii) 3 2 +4+1 0 2 +4+3, 3 2 +4+1 2 +4+3, 3 2 +4+1 1 2 +4+3. Note When using a Limit Rule you must write down which Rule you
More informationMath 504, Fall 2013 HW 2
Math 504, Fall 203 HW 2. Show that the fields Q( 5) and Q( 7) are not isomorphic. Suppose ϕ : Q( 5) Q( 7) is a field isomorphism. Then it s easy to see that ϕ fixes Q pointwise, so 5 = ϕ(5) = ϕ( 5 5) =
More informationPolyhedral Methods for Positive Dimensional Solution Sets
Polyhedral Methods for Positive Dimensional Solution Sets Danko Adrovic and Jan Verschelde www.math.uic.edu/~adrovic www.math.uic.edu/~jan 17th International Conference on Applications of Computer Algebra
More informationTropical Algebraic Geometry
Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic
More informationTropical Algebraic Geometry 3
Tropical Algebraic Geometry 3 1 Monomial Maps solutions of binomial systems an illustrative example 2 The Balancing Condition balancing a polyhedral fan the structure theorem 3 The Fundamental Theorem
More informationRational Functions. Elementary Functions. Algebra with mixed fractions. Algebra with mixed fractions
Rational Functions A rational function f (x) is a function which is the ratio of two polynomials, that is, Part 2, Polynomials Lecture 26a, Rational Functions f (x) = where and are polynomials Dr Ken W
More informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationMathematics for Business and Economics - I. Chapter 5. Functions (Lecture 9)
Mathematics for Business and Economics - I Chapter 5. Functions (Lecture 9) Functions The idea of a function is this: a correspondence between two sets D and R such that to each element of the first set,
More informationPartial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions.
Partial Fractions June 7, 04 In this section, we will learn to integrate another class of functions: the rational functions. Definition. A rational function is a fraction of two polynomials. For example,
More informationWORKING WITH MULTIVARIATE POLYNOMIALS IN MAPLE
WORKING WITH MULTIVARIATE POLYNOMIALS IN MAPLE JEFFREY B. FARR AND ROMAN PEARCE Abstract. We comment on the implementation of various algorithms in multivariate polynomial theory. Specifically, we describe
More informationRoots of a Polynomial System
Roots of a Polynomial System (Com S 477/577 Notes) Yan-Bin Jia Sep 8, 017 Systems of polynomial equations show up in many applications areas such as robotics (kinematics, motion planning, collision detection,
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationSection 8.3 Partial Fraction Decomposition
Section 8.6 Lecture Notes Page 1 of 10 Section 8.3 Partial Fraction Decomposition Partial fraction decomposition involves decomposing a rational function, or reversing the process of combining two or more
More informationSkills Practice Skills Practice for Lesson 10.1
Skills Practice Skills Practice for Lesson.1 Name Date Higher Order Polynomials and Factoring Roots of Polynomial Equations Problem Set Solve each polynomial equation using factoring. Then check your solution(s).
More information(Inv) Computing Invariant Factors Math 683L (Summer 2003)
(Inv) Computing Invariant Factors Math 683L (Summer 23) We have two big results (stated in (Can2) and (Can3)) concerning the behaviour of a single linear transformation T of a vector space V In particular,
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More informationPolynomials 6c Classifying the Zeros of a Polynomial Functions
Polynomials 6c Classifying the Zeros of a Polynomial Functions Standards: A APR.2, A APR.3, F IF.7c, N CN.9 Learning Target(s): How many zeros does a polynomial have? How can we find all the exact zeros
More informationMidterm Review. Name: Class: Date: ID: A. Short Answer. 1. For each graph, write the equation of a radical function of the form y = a b(x h) + k.
Name: Class: Date: ID: A Midterm Review Short Answer 1. For each graph, write the equation of a radical function of the form y = a b(x h) + k. a) b) c) 2. Determine the domain and range of each function.
More informationClass IX Chapter 2 Polynomials Maths
NCRTSOLUTIONS.BLOGSPOT.COM Class IX Chapter 2 Polynomials Maths Exercise 2.1 Question 1: Which of the following expressions are polynomials in one variable and which are No. It can be observed that the
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationChinese Remainder Theorem
Chinese Remainder Theorem Theorem Let R be a Euclidean domain with m 1, m 2,..., m k R. If gcd(m i, m j ) = 1 for 1 i < j k then m = m 1 m 2 m k = lcm(m 1, m 2,..., m k ) and R/m = R/m 1 R/m 2 R/m k ;
More informationThe most factored form is usually accomplished by common factoring the expression. But, any type of factoring may come into play.
MOST FACTORED FORM The most factored form is the most factored version of a rational expression. Being able to find the most factored form is an essential skill when simplifying the derivatives found using
More informationSingular in Sage. MCS 507 Lecture 40 Mathematical, Statistical and Scientific Software Jan Verschelde, 23 November 2011
bases Singular in Sage 1 2 bases MCS 507 Lecture 40 Mathematical, Statistical Scientific Software Jan Verschelde, 23 November 2011 Singular in Sage bases 1 2 bases bases Singular Singular is a computer
More informationGRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases
GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.
More informationCHAPTER 4: Polynomial and Rational Functions
MAT 171 Precalculus Algebra Dr. Claude Moore Cape Fear Community College CHAPTER 4: Polynomial and Rational Functions 4.1 Polynomial Functions and Models 4.2 Graphing Polynomial Functions 4.3 Polynomial
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals
Binomial Ideals Binomial ideals offer an interesting class of examples. Because they occur so frequently in various applications, the development methods for binomial ideals is justified. 1 Binomial Ideals
More information4 Unit Math Homework for Year 12
Yimin Math Centre 4 Unit Math Homework for Year 12 Student Name: Grade: Date: Score: Table of contents 3 Topic 3 Polynomials Part 2 1 3.2 Factorisation of polynomials and fundamental theorem of algebra...........
More informationMathematics 136 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 19 and 21, 2016
Mathematics 36 Calculus 2 Everything You Need Or Want To Know About Partial Fractions (and maybe more!) October 9 and 2, 206 Every rational function (quotient of polynomials) can be written as a polynomial
More informationLecture 4 February 5
Math 239: Discrete Mathematics for the Life Sciences Spring 2008 Lecture 4 February 5 Lecturer: Lior Pachter Scribe/ Editor: Michaeel Kazi/ Cynthia Vinzant 4.1 Introduction to Gröbner Bases In this lecture
More informationb n x n + b n 1 x n b 1 x + b 0
Math Partial Fractions Stewart 7.4 Integrating basic rational functions. For a function f(x), we have examined several algebraic methods for finding its indefinite integral (antiderivative) F (x) = f(x)
More informationCHAPTER 4: Polynomial and Rational Functions
MAT 171 Precalculus Algebra Dr. Claude Moore Cape Fear Community College CHAPTER 4: Polynomial and Rational Functions 4.1 Polynomial Functions and Models 4.2 Graphing Polynomial Functions 4.3 Polynomial
More information8.3 Partial Fraction Decomposition
8.3 partial fraction decomposition 575 8.3 Partial Fraction Decomposition Rational functions (polynomials divided by polynomials) and their integrals play important roles in mathematics and applications,
More informationRobotics I. June 6, 2017
Robotics I June 6, 217 Exercise 1 Consider the planar PRPR manipulator in Fig. 1. The joint variables defined therein are those used by the manufacturer and do not correspond necessarily to a Denavit-Hartenberg
More informationLecture 2: Gröbner Basis and SAGBI Basis
Lecture 2: Gröbner Basis and SAGBI Basis Mohammed Tessema Suppose we have a graph. Suppose we color the graph s vertices with 3 colors so that if the vertices are adjacent they are not the same colors.
More informationCalculus First Semester Review Name: Section: Evaluate the function: (g o f )( 2) f (x + h) f (x) h. m(x + h) m(x)
Evaluate the function: c. (g o f )(x + 2) d. ( f ( f (x)) 1. f x = 4x! 2 a. f( 2) b. f(x 1) c. f (x + h) f (x) h 4. g x = 3x! + 1 Find g!! (x) 5. p x = 4x! + 2 Find p!! (x) 2. m x = 3x! + 2x 1 m(x + h)
More information( ) y 2! 4. ( )( y! 2)
1. Dividing: 4x3! 8x 2 + 6x 2x 5.7 Division of Polynomials = 4x3 2x! 8x2 2x + 6x 2x = 2x2! 4 3. Dividing: 1x4 + 15x 3! 2x 2!5x 2 = 1x4!5x 2 + 15x3!5x 2! 2x2!5x 2 =!2x2! 3x + 4 5. Dividing: 8y5 + 1y 3!
More informationSkew Cyclic Codes Of Arbitrary Length
Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American
More informationAlgebra II Introduction 1
Introduction 1 Building on their work with linear, quadratic, and exponential functions, students extend their repertoire of functions to include logarithmic, polynomial, rational, and radical functions
More informationSimplifying Rational Expressions and Functions
Department of Mathematics Grossmont College October 15, 2012 Recall: The Number Types Definition The set of whole numbers, ={0, 1, 2, 3, 4,...} is the set of natural numbers unioned with zero, written
More informationon Newton polytopes, tropisms, and Puiseux series to solve polynomial systems
on Newton polytopes, tropisms, and Puiseux series to solve polynomial systems Jan Verschelde joint work with Danko Adrovic University of Illinois at Chicago Department of Mathematics, Statistics, and Computer
More informationQR Decomposition. When solving an overdetermined system by projection (or a least squares solution) often the following method is used:
(In practice not Gram-Schmidt, but another process Householder Transformations are used.) QR Decomposition When solving an overdetermined system by projection (or a least squares solution) often the following
More informationx 2 + 6x 18 x + 2 Name: Class: Date: 1. Find the coordinates of the local extreme of the function y = x 2 4 x.
1. Find the coordinates of the local extreme of the function y = x 2 4 x. 2. How many local maxima and minima does the polynomial y = 8 x 2 + 7 x + 7 have? 3. How many local maxima and minima does the
More information2. Algebraic functions, power functions, exponential functions, trig functions
Math, Prep: Familiar Functions (.,.,.5, Appendix D) Name: Names of collaborators: Main Points to Review:. Functions, models, graphs, tables, domain and range. Algebraic functions, power functions, exponential
More informationPolynomial Functions and Models
1 CA-Fall 2011-Jordan College Algebra, 4 th edition, Beecher/Penna/Bittinger, Pearson/Addison Wesley, 2012 Chapter 4: Polynomial Functions and Rational Functions Section 4.1 Polynomial Functions and Models
More informationComplex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i
Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i 2 = 1 Sometimes we like to think of i = 1 We can treat
More informationChapter 7 Rational Expressions, Equations, and Functions
Chapter 7 Rational Expressions, Equations, and Functions Section 7.1: Simplifying, Multiplying, and Dividing Rational Expressions and Functions Section 7.2: Adding and Subtracting Rational Expressions
More informationSymbolic methods for solving algebraic systems of equations and applications for testing the structural stability
Symbolic methods for solving algebraic systems of equations and applications for testing the structural stability Yacine Bouzidi and Fabrice Rouillier Abstract n this work, we provide an overview of the
More informationPartial Fractions. Combining fractions over a common denominator is a familiar operation from algebra: 2 x 3 + 3
Partial Fractions Combining fractions over a common denominator is a familiar operation from algebra: x 3 + 3 x + x + 3x 7 () x 3 3x + x 3 From the standpoint of integration, the left side of Equation
More information2a 2 4ac), provided there is an element r in our
MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built
More informationSpring Nikos Apostolakis
Spring 07 Nikos Apostolakis Review of fractions Rational expressions are fractions with numerator and denominator polynomials. We need to remember how we work with fractions (a.k.a. rational numbers) before
More informationBare-bones outline of eigenvalue theory and the Jordan canonical form
Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional
More information8 Appendix: Polynomial Rings
8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients
More informationChapter 2. Polynomial and Rational Functions. 2.6 Rational Functions and Their Graphs. Copyright 2014, 2010, 2007 Pearson Education, Inc.
Chapter Polynomial and Rational Functions.6 Rational Functions and Their Graphs Copyright 014, 010, 007 Pearson Education, Inc. 1 Objectives: Find the domains of rational functions. Use arrow notation.
More informationSB CH 2 answers.notebook. November 05, Warm Up. Oct 8 10:36 AM. Oct 5 2:22 PM. Oct 8 9:22 AM. Oct 8 9:19 AM. Oct 8 9:26 AM.
Warm Up Oct 8 10:36 AM Oct 5 2:22 PM Linear Function Qualities Oct 8 9:22 AM Oct 8 9:19 AM Quadratic Function Qualities Oct 8 9:26 AM Oct 8 9:25 AM 1 Oct 8 9:28 AM Oct 8 9:25 AM Given vertex (-1,4) and
More informationChapter 1.6. Perform Operations with Complex Numbers
Chapter 1.6 Perform Operations with Complex Numbers EXAMPLE Warm-Up 1 Exercises Solve a quadratic equation Solve 2x 2 + 11 = 37. 2x 2 + 11 = 37 2x 2 = 48 Write original equation. Subtract 11 from each
More information1.2. Indices. Introduction. Prerequisites. Learning Outcomes
Indices 1.2 Introduction Indices, or powers, provide a convenient notation when we need to multiply a number by itself several times. In this Section we explain how indices are written, and state the rules
More information50 Algebraic Extensions
50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does
More information6.1 Polynomial Functions
6.1 Polynomial Functions Definition. A polynomial function is any function p(x) of the form p(x) = p n x n + p n 1 x n 1 + + p 2 x 2 + p 1 x + p 0 where all of the exponents are non-negative integers and
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationAbsolute Factorization
Absolute Factorization 1 Linear Traces factoring a polynomial in two variables 2 Adjacent Minors an example from algebraic statistics 3 Changing Coordinates avoiding wrong factorizations 4 Monodromy Actions
More informationLecture 5. 1 Goermans-Williamson Algorithm for the maxcut problem
Math 280 Geometric and Algebraic Ideas in Optimization April 26, 2010 Lecture 5 Lecturer: Jesús A De Loera Scribe: Huy-Dung Han, Fabio Lapiccirella 1 Goermans-Williamson Algorithm for the maxcut problem
More informationChapter 4 Roots of Polynomials. Consider the polynomial equation ax + b = 0, symbolically solve for the value of x.
Names: / /. Section I: Linear Polynomials Chapter 4 Roots of Polynomials Consider the polynomial equation ax + b = 0, symbolically solve for the value of x. X= Of course the value of x is called the root
More information1. Algebra 1.5. Polynomial Rings
1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are
More informationAlgebra III and Trigonometry Summer Assignment
Algebra III and Trigonometry Summer Assignment Welcome to Algebra III and Trigonometry! This summer assignment is a review of the skills you learned in Algebra II. Please bring this assignment with you
More information1 Motivation for Newton interpolation
cs412: introduction to numerical analysis 09/30/10 Lecture 7: Newton Interpolation Instructor: Professor Amos Ron Scribes: Yunpeng Li, Mark Cowlishaw, Nathanael Fillmore 1 Motivation for Newton interpolation
More informationReal solving polynomial equations with semidefinite programming
.5cm. Real solving polynomial equations with semidefinite programming Jean Bernard Lasserre - Monique Laurent - Philipp Rostalski LAAS, Toulouse - CWI, Amsterdam - ETH, Zürich LAW 2008 Real solving polynomial
More informationAbstract Algebra for Polynomial Operations. Maya Mohsin Ahmed
Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation
More information1.2. Indices. Introduction. Prerequisites. Learning Outcomes
Indices.2 Introduction Indices, or powers, provide a convenient notation when we need to multiply a number by itself several times. In this section we explain how indices are written, and state the rules
More informationZEROS OF POLYNOMIAL FUNCTIONS ALL I HAVE TO KNOW ABOUT POLYNOMIAL FUNCTIONS
ZEROS OF POLYNOMIAL FUNCTIONS ALL I HAVE TO KNOW ABOUT POLYNOMIAL FUNCTIONS TOOLS IN FINDING ZEROS OF POLYNOMIAL FUNCTIONS Synthetic Division and Remainder Theorem (Compressed Synthetic Division) Fundamental
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationGröbner Complexes and Tropical Bases
Gröbner Complexes and Tropical Bases Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate
More informationLecture 7: Polynomial rings
Lecture 7: Polynomial rings Rajat Mittal IIT Kanpur You have seen polynomials many a times till now. The purpose of this lecture is to give a formal treatment to constructing polynomials and the rules
More informationDRAFT - Math 102 Lecture Note - Dr. Said Algarni
Math02 - Term72 - Guides and Exercises - DRAFT 7 Techniques of Integration A summery for the most important integrals that we have learned so far: 7. Integration by Parts The Product Rule states that if
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationPolynomial Interpolation
Polynomial Interpolation (Com S 477/577 Notes) Yan-Bin Jia Sep 1, 017 1 Interpolation Problem In practice, often we can measure a physical process or quantity (e.g., temperature) at a number of points
More informationRational Functions. Example 1. Find the domain of each rational function. 1. f(x) = 1 x f(x) = 2x + 3 x 2 4
Rational Functions Definition 1. If p(x) and q(x) are polynomials with no common factor and f(x) = p(x) for q(x) 0, then f(x) is called a rational function. q(x) Example 1. Find the domain of each rational
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationPatterns and Relations (Patterns)
Patterns and Relations (Patterns) Kindergarten Grade 1 Grade 2 Grade 3 Grade 4 Specific Learning Outcomes Specific Learning Outcomes Specific Learning Outcomes Specific Learning Outcomes Specific Learning
More informationA field trips costs $800 for the charter bus plus $10 per student for x students. The cost per student is represented by: 10x x
LEARNING STRATEGIES: Activate Prior Knowledge, Shared Reading, Think/Pair/Share, Note Taking, Group Presentation, Interactive Word Wall A field trips costs $800 for the charter bus plus $10 per student
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationProblem Set 1 Solutions
Math 918 The Power of Monomial Ideals Problem Set 1 Solutions Due: Tuesday, February 16 (1) Let S = k[x 1,..., x n ] where k is a field. Fix a monomial order > σ on Z n 0. (a) Show that multideg(fg) =
More information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More information1 Fundamental Concepts From Algebra & Precalculus
Fundamental Concepts From Algebra & Precalculus. Review Exercises.. Simplify eac expression.. 5 7) [ 5)) ]. ) 5) 7) 9 + 8 5. 8 [ 5) 8 6)] [9 + 8 5 ]. 9 + 8 5 ) 8) + 5. 5 + [ )6)] 7) 7 + 6 5 6. 8 5 ) 6
More informationAlgorithms for Polynomial GCD Computation over Algebraic Function Fields
Algorithms for Polynomial GCD Computation over Algebraic Function Fields Mark van Hoeij Department of Mathematics Florida State University Tallahassee, FL 32306-4510, USA. Michael Monagan Department of
More informationDividing Polynomials: Remainder and Factor Theorems
Dividing Polynomials: Remainder and Factor Theorems When we divide one polynomial by another, we obtain a quotient and a remainder. If the remainder is zero, then the divisor is a factor of the dividend.
More informationAdvanced Math Quiz Review Name: Dec Use Synthetic Division to divide the first polynomial by the second polynomial.
Advanced Math Quiz 3.1-3.2 Review Name: Dec. 2014 Use Synthetic Division to divide the first polynomial by the second polynomial. 1. 5x 3 + 6x 2 8 x + 1, x 5 1. Quotient: 2. x 5 10x 3 + 5 x 1, x + 4 2.
More informationA POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationPolynomial Functions
Polynomial Functions Polynomials A Polynomial in one variable, x, is an expression of the form a n x 0 a 1 x n 1... a n 2 x 2 a n 1 x a n The coefficients represent complex numbers (real or imaginary),
More informationPolynomials. Chapter 4
Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation
More informationMTH30 Review Sheet. y = g(x) BRONX COMMUNITY COLLEGE of the City University of New York DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE
BRONX COMMUNITY COLLEGE of the City University of New York DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE MTH0 Review Sheet. Given the functions f and g described by the graphs below: y = f(x) y = g(x) (a)
More informationComputational Formal Resolution of Surfaces in P 3 C
Computational Formal Resolution of Surfaces in P 3 C {Tobias.Beck Josef.Schicho}@oeaw.ac.at RICAM-Linz Austrian Academy of Sciences July 31 / Magma 2006 Berlin T. Beck, J. Schicho (RICAM-Linz) Computational
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationSPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic Didier Henrion Simone Naldi Mohab Safey El Din Version 1.0 of November 5, 2016 Abstract This document briefly describes
More information