> Having looked at this code in more detail I find I have doubts about
> Gaby's claim: "those domains can be profitably rewritten without
> having to know how FreeModule is implemented". It seems likely to me
> that any attempt to do so could result in a significant loss of
> performance in a very
On Thu, Apr 2, 2009 at 4:27 PM, Ralf Hemmecke wrote:
>
>> | Note: This code is currently the same in both FriCAS and OpenAxiom.
>>
>> OpenAxiom issues this warning:
>>
>> Warnings:
>> [1] OpenAxiom suggests removing assignment to Rep
>
> Very nice.
>
>> | Since BinarySearchTree is a partic
On Thu, Apr 2, 2009 at 2:19 PM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | Since BinarySearchTree is a particular class of BinaryTree for
> | consistency in BinarySearchTree I would expect to see:
> |
> | Implementation == BinaryTree(S) add
> | Rep == List Tree S
>
> As I said, I would
