Last change
on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago |
First import of a version circa 1997.
|
File size:
756 bytes
|
Line | |
---|
1 |
|
---|
2 | ;;; DIVIDE (f fl &optional (pred #'lex>) (ring *coefficient-ring*) [FUNCTION]
|
---|
3 | ;;; &aux (s (length fl)))
|
---|
4 | ;;; Divide polynomial F by a list of polynomials FL; use predicate PRED
|
---|
5 | ;;; to sort monomials; assumes that the polynomials have initially been
|
---|
6 | ;;; sorted according to PRED. It returnes multiple values. The first
|
---|
7 | ;;; value is a list of quotients A. The second value is the remainder R.
|
---|
8 | ;;; These object satisfy the quation F = SUM A[J]*FL[I] + R.
|
---|
9 | ;;;
|
---|
10 | ;;; POLY-EXACT-DIVIDE (f g &optional (order #'lex>) [FUNCTION]
|
---|
11 | ;;; (ring *coefficient-ring*))
|
---|
12 | ;;; Divide a polynomial F by another polynomial G. Assume that exact
|
---|
13 | ;;; division with no remainder is possible. Returns the quotient.
|
---|
14 | ;;;
|
---|
Note:
See
TracBrowser
for help on using the repository browser.