Logiweb(TM)

Logiweb aspects of if " then " else " in pyk

Up Help

The "pyk" aspect

Define pyk of if asterisk then asterisk else asterisk as "if "! then "! else "!" end define

The "tex" aspect

Define tex of if x then y else z as "
{\bf if} \ \linebreak [0]"[ x ] { "
\ {\bf then} \ \linebreak [0]"[ y ] { "
\ {\bf else} \ \linebreak [0]"[ z ]"" } } end define

The "value" aspect

optimized define value of if x then y else z as x is val : If norm x then y else z end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6