info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
VARS start with zVAR
2 views
Skip to first unread message
Graham Cooper
Aug 3, 2022, 12:19:38 AM8/3/22
to
unify S T TTTT
-let R false
-let Q true
-if
-eq S T
-let R true
-endif
-if
-eq R false
-if
-bigger S y ********************** S is a variable eg zN
-print S
-print T
-addvar S T TTTT
-echo newline
-endif
-if
-eq R false
-if
-bigger T y
-print T
-print S
-addvar T S TTTT
-echo newline
-endif
-if
-eq Q false
-let R false
-endif
-if
-eq Q true
-if
-eq R false
-unifyarg S T TTTT
-endif
-let R false
-let Q true
-if
-eq S T
-let R true
-endif
-if
-eq R false
-if
-bigger S y ********************** S is a variable eg zN
-print S
-print T
-addvar S T TTTT
-echo newline
-endif
-if
-eq R false
-if
-bigger T y
-print T
-print S
-addvar T S TTTT
-echo newline
-endif
-if
-eq Q false
-let R false
-endif
-if
-eq Q true
-if
-eq R false
-unifyarg S T TTTT
-endif
0 new messages