#

globals.awk

#Create some handy globals. function globals() { # Magic array positions (should all be < 0 so index==0 is an error): #{ N = -1; # height of stack (number of rows); M = -2; # breadth of array (number of colums) # Numeric constants: #{ Inf = 10^32; NegInf = -1 * Inf; Ee = 848456353 / 312129649; Pi = 428224593349304 / 136308121570117; # good to 29 digits # Some useful strings: Sp = " "; Q = "\""; _ = SUBSEP; Zero = "0 "; White = "^[ \t\n\r]*$"; Number = "[+-]?([0-9]+[.]?[0-9]*|[.][0-9]+)([eE][+-]?[0-9]+)?"; Integer = "[+-]?[0-9]+"; }