Sorry about this. I thought I group replied when
replied Sergey's e-mail.
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax: +353 21 4903113
College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
----- Forwarded message from Marc van Dongen <[EMAIL PROTECTED]> -----
Date: Mon, 8 May 2000 11:14:03 +0100
From: Marc van Dongen <[EMAIL PROTECTED]>
To: "S.D.Mechveliani" <[EMAIL PROTECTED]>
Subject: Re: sample argument. Dongen's example
X-Mailer: Mutt 1.0.1i
In-Reply-To: <[EMAIL PROTECTED]>; from [EMAIL PROTECTED] on Mon, May
08, 2000 at 01:16:09PM +0400
S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
: Looks like it uses the sample argument. This p contains the
: parameters that describe a polynomial domain P = c[x1..xn].
: Different ways to order the monomial set, different lists of
: "variables" may mean different domains inside the *same type*.
: If p contains variables ["x"], p' contains ["x","y"],
: then zero p and zero p'
:
: have to be zeroes of very different domains corresponding to
: p, p' :: a.
: If you rely on the features like this, this is the very sample
: argument approach.
: Do you mean this?
No. I meant that I didn't understand the second sentence above the
one where I started my reply:-)
: Classic Haskell approach:
: -------------------------
[]
: Besides several technical hindrances of mathematical nature, it
: puts certain principal restriction.
: It prohibits all the mathematical practice of dynamic change of
: orderings, variable lists, residue domains for different base,
: generally - dynamic change of computation domain given by
: *parameter*.
Exactly. This has been a *great* pain in the neck for me when
writing operations on polynomials using standard notation which
alowed for the hiding of the additional information needed to
implement fast algorithms.
[...]
: I suggest now zero :: a -> a
or constant :: a -> c ->
Regards,
Marc van Dongen
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax: +353 21 4903113
College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
----- End forwarded message -----
