[Prev][Next][Index]
Polynomial specifications in LSL
-
Subject: Polynomial specifications in LSL
-
From: leavens@cs.iastate.edu (Gary Leavens)
-
Date: 3 Jan 96 20:06:51 GMT
-
Keywords: polynomials, LSL, coefficients
-
Newsgroups: comp.specification.larch
-
Organization: Iowa State University, Ames, Iowa
It took a while, but I finally understood what
Pierre Lescanne's objections were to the polynomial
traits I posted earlier were.
With his help, I have finished what seems to be a
more mathematically justified version of these traits,
and the real numbers. It's interesting how the polynomials
are specified, using coefficient lists as an auxiliary data structure.
As Pierre described, I separated out the notion of a polynomial
function from the idea of polynomials.
I've made the traits and documentation available by ftp and the WWW,
along with two other small handbooks of traits.
To see them, point your browser at...
http://www.cs.iastate.edu/~leavens/Handbooks.html
I'd be glad to add other LSL handbooks you may have to this page
if you want to advertise them.
(Note that I've moved my calendar trait handbook in location
slightly.)
You can obtain the polynomial stuff by ftp to
ftp.cs.iastate.edu in directory pub/larch/Math.
Comments, corrections, etc. are quite welcome.
Gary
--
229 Atanasoff Hall, Department of Computer Science
Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
URL: http://www.cs.iastate.edu/~leavens/homepage.html