• NARS "{quad}fmt" could have some problem inside one function

    From Rosario19@21:1/5 to All on Wed Nov 15 14:44:59 2023
    The function f in 'braces' NARS language

    f{leftarrow}{leftbrace}{alpha}=1:{omega}{diamond}r{leftarrow}1{downarrow}w{leftarrow}{omega}{diamond}{quad}{leftarrow}"(1{rightshoe}w)
    r="{diamond}{quad}{leftarrow}{quad}fmt 1{rightshoe}w{diamond}{quad}{leftarrow}{quad}fmt r{diamond}{quad}{leftarrow}{quad}fmt t{leftarrow}{leftbrace}(1{rightshoe}w){omega}{rightbrace}{dieresis}r{diamond}{quad}{leftarrow}t{diamond}t{rightbrace}

    the line of the call in text form
    3 f (0 0)(1 2)(3 �4)(4 �5)

    its output mixed braces and text

    (1{rightshoe}w) r=
    +2---+
    � 0 0�
    +~---+
    +3---------------------+
    �+2---+ +2----+ +2----+�
    �� 1 2� � 3 �4� � 4 �5��
    �+~---+ +~----+ +~----+2
    +?---------------------+
    +3------------------------------------------------+
    �+2------------+ +2-------------+ +2-------------+�
    ��+2---+ +2---+� �+2---+ +2----+� �+2---+ +2----+��
    ��� 1 2� � 1 2�� �� 1 2� � 3 �4�� �� 1 2� � 4 �5���
    ��+~---+ +~---+2 �+~---+ +~----+2 �+~---+ +~----+2�
    �+?------------+ +?-------------+ +?-------------+3 +?------------------------------------------------+
    1 2 1 2 1 2 3 �4 1 2 4 �5
    1 2 1 2 1 2 3 �4 1 2 4 �5

    The function g in 'braces' NARS language

    g{leftarrow}{leftbrace}{alpha}=1:{omega}{diamond}r{leftarrow}1{downarrow}w{leftarrow}{omega}{diamond}{quad}{leftarrow}"(1{rightshoe}w)
    r="{diamond}{quad}{leftarrow}1{rightshoe}w{diamond}{quad}{leftarrow}r{diamond}{quad}{leftarrow}
    t{leftarrow}{leftbrace}(1{rightshoe}w){omega}{rightbrace}{dieresis}r{diamond}{quad}{leftarrow}t{diamond}t{rightbrace}

    the line of the call in text form
    3 g (0 0)(1 2)(3 �4)(4 �5)

    (1{rightshoe}w) r=
    0 0
    1 2 3 �4 4 �5
    0 0 1 2 0 0 3 �4 0 0 4 �5
    0 0 1 2 0 0 3 �4 0 0 4 �5
    0 0 1 2 0 0 3 �4 0 0 4 �5

    Has you note the only change is the use or not use of "{quad}fmt" and
    the what return
    the same function is different (with the same imput)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)