On Wed, 29 Nov 2023 17:35:40 +0100, Rosario19 <R...@invalid.invalid>
wrote:
>On Mon, 20 Nov 2023 11:40:13 +0100, Rosario19 <R...@invalid.invalid>
>wrote:
>
>> ({leftshoe},1)( (1 2) (1 3))
>>+2---------------------+
>>¦+----+ +2------------+¦
>>¦¦+1-+¦ ¦+2---+ +2---+¦¦
>>¦¦¦ 1¦¦ ¦¦ 1 2¦ ¦ 1 3¦¦¦
>>¦¦+~-+2 ¦+~---+ +~---+2¦
>>¦+?---+ +?------------+3
>>+?---------------------+
>> (,1)(1 2)
>>+2----------+
>>¦+1-+ +2---+¦
>>¦¦ 1¦ ¦ 1 2¦¦
>>¦+~-+ +~---+2
>>+?----------+
>>
>>It seems that the type of (,1) is the same of the type of (1,2): list
>>of integer
>>but the type of ({leftshoe},1) is not the same of the type ((1 2)(3
>>4))
>>so (,1) is a list of integer but ({leftshoe},1) is not a list of list
>>of integer
>>is that right? Why?
>>
>>It seems to me that if (,1)(1 2) is one array of array of integers
>>({leftshoe},1)( (1 2) (1 3)) has to be one array of array of array of
>>integers
>>
>>or I think not ok
>>
>> T ({leftshoe},1)( (1 2) (1 3))
>>+2----+
>>¦ 32 7¦
>>+~----+
>> T (,1)(1 2)
>>+3-------+
>>1 32 32 3¦
>>+~-------+
>
>vediamo se funziona l'allegato
TT?{m?T¨,??1=?k??m:k?(3 2)=k[?k]:8?7}
TT?{m?T¨,??1=?k??m:k?(3 2)=k[?k]:8?7}