On Sat, 29 Oct 2005, Christopher D. Malon wrote:
For the non-mathematically inclined:
A field is a set with two binary operations, + and *.
Under either operation (+ or *), the set is an abelian (= commutative) group,
and a field has a distributive property: a * (b + c) = a*b + a*c.
An easy
On 10/28/05, Christopher D. Malon [EMAIL PROTECTED] wrote:
On Oct 28, 2005, at 11:13 PM, Luke Palmer wrote:
Trying to think through the VectorSpace example, and a slightly
more complicated example (a Field), I'm starting to wonder whether
roles need to be parameterized somehow. (Maybe they
On Oct 28, 2005, at 11:13 PM, Luke Palmer wrote:
Most certainly. Implicit in a role or a theory is its algebra (though
we've talked about QuickCheckish ways to make it explicit). For
instance, technically the VectorSpace theory only requires you to
define identity, addition, and scalar