Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

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

29 views
Skip to first unread message

Rosario19

unread,
Nov 15, 2023, 8:45:49 AM11/15/23
to

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)

0 new messages