#|
	$Id: trivial.lisp,v 1.1 2009/01/19 08:51:43 marek Exp $
  *--------------------------------------------------------------------------*
  |  Copyright (C) 1994, Marek Rychlik (e-mail: rychlik@math.arizona.edu)    |
  |    Department of Mathematics, University of Arizona, Tucson, AZ 85721    |
  |                                                                          |
  | Everyone is permitted to copy, distribute and modify the code in this    |
  | directory, as long as this copyright note is preserved verbatim.         |
  *--------------------------------------------------------------------------*
|#

(defpackage "TRIVIAL"
  (:export trivial-p))
(in-package "TRIVIAL")

;; This package develops Kronecker-like algorithm to test
;; that 1 is in the ideal <f1,f2,...,fn> where fi are polynomial expressions
;; given in lisp (prefix notation)

;;Suppose we have a function f taking values f0, f1, ... , fn at
;;points x0, x1, ... , xn and we want a function which will take a value
;;f(n+1) at x(n+1); what is the formula?
;;(x-x(n+1))*f(x)+f(n+1)