TAILIEUCHUNG - Effective Computational Geometry for Curves & Surfaces - Boissonnat & Teillaud Part 7

Tham khảo tài liệu 'effective computational geometry for curves & surfaces - boissonnat & teillaud part 7', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 140 B. Mourrain S. Pion S. Schmitt J-P. Técourt E. Tsigaridas N. Wolpert all roots of p x . One example for a root bound is the Lagrange-Zassenhaus bound see 345 . ej i . 2 max I d J aj Theorem 6. Let E be a real algebraic expression with val E f. Let u E and l E be defined inductively on the structure of E according to the following rules u E l E integer N El E2 El E2 E1 E2 y El and u Efi 0 kE and u El l El ỰẼĨ and u El l El Aj Ed . Eo _ INl ._ . u El E2 El u E2 u El uE u Ei E2 0 V u Ei Ei u Ei . l E d-i-1 u Ei nfc i l Ek . 1 El l E2 El l E2 l Ei u E2 1 El Ự u El k-ll El u Ed nfc d l E Let D E be the weight of E. Then either f 0 or l E u E D E -1 1 f u E l ED Separation bounds have been studied extensively in computer algebra 77 254 345 304 as well as in computational geometry 75 343 73 242 . The separation bounds given above can be improved using the fact that powers of integers can be factored out from the number before computing the separation bound 285 306 . Multivariate Problems Geometric problems in 3D often involve the solution of polynomial equations in several variables. This problem can be reduced to a univariate problem and thus to the manipulation of real algebraic numbers as follows. We are interested in the case of zero-dimensional systems . systems that have only finitely many complex solutions. We denote by f1 0 . fm 0 the polynomial equations in K x K x1 . xn that we want to solve. The quotient ring K x f 1 . fm of polynomials modulo f1 . fm e K x1 . xn is denoted by A. In the case that we consider here where the number of complex roots is finite the quotient algebra A is a finite-dimensional vector space over K. We consider the operators of multiplication Mg by an element g in the ring A Mg A A a g a 3 Algebraic Issues in Computational Geometry 141 Then the algebraic solution of the system is performed by analyzing the eigenvalues and eigenvectors of these operators. It is based on the next theorem which involves the transposed of the .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.