Type design question

[Dylan Thurston]

--ikeVEW9yuYc//A+q
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Jul 28, 2003 at 03:23:30PM +1000, Andrew J Bromage wrote:
> G'day all.
>=20
> On Sun, Jul 27, 2003 at 10:36:46PM -0400, Dylan Thurston wrote:
>=20
> > However, I would be sure to distinguish between an inner product space
> > and a vector space.
>=20
> That's true.  If you're after a completely generic solution, this might
> be an issue.

Err, but you yourself raised exactly the reason why you want to make
this distinction (and put inner products in their own class): you
sometimes want different inner products on the same set of vectors.

Peace,
	Dylan


--ikeVEW9yuYc//A+q
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE/JtfrVeybfhaa3tcRAlDiAJ4+D4Gjm0tiVnJibF7KaffgJlgRggCfUs6Y
sfa1se72gGP9E5o+8zu7hL0=
=vcPp
-----END PGP SIGNATURE-----

--ikeVEW9yuYc//A+q--