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:
778 bytes
|
Line | |
---|
1 | \begin{lisp:documentation}{divide}{FUNCTION}{f fl {\sf \&optional} (pred \#'lex$>$) (ring *coefficient$-$ring*) {\sf \&aux} (s (length fl)) }
|
---|
2 | Divide polynomial F by a list of polynomials FL; use predicate PRED
|
---|
3 | to sort monomials; assumes that the polynomials have initially been
|
---|
4 | sorted according to PRED. It returnes multiple values. The first
|
---|
5 | value is a list of quotients A. The second value is the remainder R.
|
---|
6 | These object satisfy the quation F = SUM A[J]*FL[I] + R.
|
---|
7 | \end{lisp:documentation}
|
---|
8 |
|
---|
9 | \begin{lisp:documentation}{poly$-$exact$-$divide}{FUNCTION}{f g {\sf \&optional} (order \#'lex$>$) (ring *coefficient$-$ring*) }
|
---|
10 | Divide a polynomial F by another polynomial G. Assume that exact
|
---|
11 | division with no remainder is possible. Returns the quotient.
|
---|
12 | \end{lisp:documentation}
|
---|
13 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.