On 30 June 2014 20:14, Ralf Hemmecke <[email protected]> wrote:
>> Approximate(X:Category):Category == X
>> ++ mathematical properties are only approximate e.g. as in Float
>
> Wow! That's a precise specification! ;-)
>
Yes, my example was a bit lazy but you are free to make it more
precise if you wish.
>> Then maybe we could arrange something like
>>
>> Float has Ring
>>
>> false
>>
>> Float has Approximate(Ring)
>>
>> true
>>
>> Integer has Ring
>>
>> true
>>
>> Maybe also
>>
>> Ring has Approximate(Ring)
>>
>> true
>>
>> Integer has Approximate(Ring)
>>
>> true
>
>
> You want that Ring inherits from Approximate(Ring)
No. Both Ring and Approximate(Ring) are categorys. There is no
inheritance implied here.
> and you want Float: Approximate(Ring), but not 'Float has Ring'?
Yes.
> That's contradictory.
In what sense?
> And (since Ring is not a domain)
>
> Ring has Approximate(Ring)
>
> is not a correct SPAD expression.
>
Are you sure? Try for example,
Ring has Monoid
true
FreeMonoid Symbol has Monoid
true
FreeMonoid Symbol has Ring
false
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
